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)..
An Introduction to the Theory of Numbers by Leo Moser - Textbook covering following topics: compositions and partitions; arithmetic functions; distribution of primes; irrational numbers; congruences; diophantine equations; combinatorial number theory; and geometry of numbers..
Klein Polyhedra - Examples and algorithms for computing Klein polyhedra, also known as Arnold sails or veils (voiles), by Keith Briggs..
Lehmer's Conjecture - That the Mahler measure of an algebraic number is bounded away from 1. Pages by Michael Mossinghoff, UCLA..
MathPages: Number Theory - Kevin Brown's collection of sci.math postings related to number theory topics..
MathWorld Number Theory - Index to articles in Eric Weisstein's MathWorld in the area of number theory..
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..
Some Number-Theoretical Constants - Products of rational functions of p over primes, computed by Gerhard Niklasch and Pieter Moree..
Somos Polynomials - Related to Somos sequences and elliptic theta functions..
Square-free Gaps - Algorithm and source code for the calculation of square-free numbers and gaps..
Transcendental Numbers - Maple worksheets, lecture notes and links to other resources by John Cosgrove..
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..