A Mechanical Proof of Quadratic Reciprocity
A paper by David M. Russinoff describing the use of the Boyer-Moore theorem prover in mechanically generating a proof of the Law of Quadratic Reciprocity. PS/PDF.
Active Elementary Number Theory
Interactive (Javascript) expression of a number as a sum of two squares.
Application of Digital Root
A test for the terms of a sequence being expressed by a polynomial, by Roupam Ghosh.
Covers, Sumsets and Zero-sums
A unified approach to covering systems, restricted sumsets and zero-sum problems by Zhi-Wei Sun.
Fermat's Little Theorem
With notes on Carmichael numbers and the life of R.D. Carmichael.
Frequently Asked Questions
Number Theory section of the sci.math FAQ list.
Hakmem Continued Fractions
Some notes from the MIT collection. Includes Gosper's algorithms for CF arithmetic.
Infinite Series Theorem
Addresses the question whether a series of rational functions converges to a rational number.
Integer Relations
To determine linear integer dependence among numerical constants and to determine the minimal polynomial of an approximate algebraic number. Interactive or via email.
Introduction to Bernoulli Numbers
A web article with a brief history and account of their relationship with the Riemann zeta function and Fermat's Last Theorem (HTML/PS).
Klein Polyhedra
Examples and algorithms for computing Klein polyhedra, also known as Arnold sails or veils (voiles), by Keith Briggs.
L-Functions
Classified by degree, then by level, then by eigenvalue, then by root number.
Lehmer's Conjecture
That the Mahler measure of an algebraic number is bounded away from 1. Pages by Michael Mossinghoff, UCLA.
Linear Independence Measures for Logarithms of Algebraic Numbers
Michel Waldschmidt. Cetraro summer school lectures, July 2000.
MathPages: Number Theory
Kevin Brown's collection of sci.math postings related to number theory topics.
Results: 1 2 3 Next
