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.
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.
On-Line Encyclopedia of Integer Sequences Identify a sequence by entering few terms in the sequence. Additional information includes examples, formulas, and related links.
The Somos Sequence Site Web resources for information on Somos sequences and related topics such as elliptic divisibility sequences.
The Valuation Theory Home Page A forum for all mathematicians who work in valuation theory or apply valuation theoretical results in their own field of research.
The Valuation Theory Home Page A forum for all mathematicians who work in or use valuation theory. Directory of people, meetings, preprints, bibliography, open problems and news.
