Site Title in Open Directory  A Mechanical Proof of Quadratic Reciprocity 

Snapshot (if available)  

Site Description in Open Directory  A paper by David M. Russinoff describing the use of the BoyerMoore theorem prover in mechanically generating a proof of the Law of Quadratic Reciprocity. PS/PDF. 
Site Category 
Science: Math: Number_Theory 