Browse Categories
Arts
Business
Computers
Games
Health
Home
Kids and Teens
News
Recreation
Reference
Regional
Science
Shopping
Society
Sports
About Nomoz
Contact Us
Options:
Directory
Entire Web
Top
:
Science
:
Math
:
Number_Theory
:
A Mechanical Proof of Quadratic Reciprocity
Link Details for:
A Mechanical Proof of Quadratic Reciprocity
Link Title:
A Mechanical Proof of Quadratic Reciprocity
Link URL:
http://www.russinoff.com/papers/gauss.html
Link Details:
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.
Category:
Top : Science : Math : Number_Theory
Link Type:
ScreenShot:
Link Details for: A Mechanical Proof of Quadratic Reciprocity
