A Mechanical Proof of Quadratic Reciprocity
Edit Page
Report
Scan day: 03 February 2014 UTC
7
Virus safety - good
Description: 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.
A Mechanical Proof of Quadratic Reciprocity We describe the use of the Boyer-Moore theorem prover in mechanically generating a proof of the Law of Quadratic Reciprocity. The proof is a formalization of an argument due to Eisenstein, based on a lemma of Gauss. We present a complete account of the input to the theorem prover, consisting of recursive function definitions, conjectures, and hints for proving them. The proofs are derived from a library of lemmas that includes Fermat's and Wilson's Theorems.
Size: 516 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | Quadratic Reciprocity |
| Keywords: | |
| Description: | |
| IP-address: | 192.185.73.218 |
WHOIS Info
| NS | Name Server: NS161.WEBSITEWELCOME.COM Name Server: NS162.WEBSITEWELCOME.COM |
| WHOIS | Status: clientTransferProhibited |
| Date | Creation Date: 27-nov-2002 Expiration Date: 27-nov-2018 |