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.