To determine linear integer dependence among numerical constants and to determine the minimal polynomial of an approximate algebraic number. Interactive or via email.
Textbook covering following topics: compositions and partitions; arithmetic functions; distribution of primes; irrational numbers; congruences; diophantine equations; combinatorial number theory; and geometry of numbers.
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.