www.russinoff.com

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.

URLs from www.russinoff.com:

URL: http://www.russinoff.com/papers/gauss.html URL: http://www.russinoff.com

© searchids.com