# Number Theory

- 2
- 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.

- 3
- Active Elementary Number Theory
- Interactive (Javascript) expression of a number as a sum of two squares.

- 4
- 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.

- 5
- Covers, Sumsets and Zero-sums
- A unified approach to covering systems, restricted sumsets and zero-sum problems by Zhi-Wei Sun.

- 6
- Hakmem Continued Fractions
- Some notes from the MIT collection. Includes Gosper's algorithms for CF arithmetic.

- 7
- 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).

- 8
- Klein Polyhedra
- Examples and algorithms for computing Klein polyhedra, also known as Arnold sails or veils (voiles), by Keith Briggs.

- 9
- LMFDB
- A handbook including tables, formulas, links, and references for L-functions and the underlying objects.

- 10
- Lehmer's Conjecture
- That the Mahler measure of an algebraic number is bounded away from 1. Pages by Michael Mossinghoff, UCLA.

- 13
- Some Highlights of Arithmetic Combinatorics
- Lecture notes and resources on combinatorial number theory by Terence Tao.

- 16
- The On-Line Encyclopedia of Integer Sequences (OEIS)
- Given an integer sequence, find its name, and formula.

- 17
- 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.