Directory: Top/Science/Math/Number

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.
http://www.russinoff.com/papers/gauss.html
Russinoff.com ~ Site Info Whois Trace Route RBL Check

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.
http://www.trillia.com/moser-number.html
Trillia.com ~ Site Info Whois Trace Route RBL Check

Square-free Gaps
Algorithm and source code for the calculation of square-free numbers and gaps.
http://www.marmet.org/louis/sqfgap/index.html
Marmet.org ~ Site Info Whois Trace Route RBL Check

Active Elementary Number Theory
Interactive (Javascript) expression of a number as a sum of two squares.
http://www.hbmeyer.de/taupaeng.htm
Hbmeyer.de ~ Site Info Whois Trace Route RBL Check