Site Details:  www.russinoff.com/papers/gauss.html
Site Title in Open DirectoryA Mechanical Proof of Quadratic Reciprocity
Snapshot (if available)Go to: A Mechanical Proof of Quadratic Reciprocity at www.russinoff.com/papers/gauss.html
Site Description in Open Directory 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.
Site CategorySite Category Science: Math: Number_Theory
Name:
Comment:
Domain Details: www.russinoff.com
Info for site: A Mechanical Proof of Quadratic ReciprocitySite Details:www.russinoff.com/papers/gauss.html  Details for: www.russinoff.com/papers/gauss.html
Info for site: A Mechanical Proof of Quadratic ReciprocitySite Details: www.russinoff.com/papers/gauss.html  Details for: www.russinoff.com/papers/gauss.html
Info for site: A Mechanical Proof of Quadratic ReciprocitySite Details:www.russinoff.com/papers/gauss.html  Details for:` .$url.`
Google
  Web www.russinoff.com

Help build the largest human-edited directory on the web.
Submit a Site - Open Directory Project - Become an Editor

Directory listings are provided by Open Directory and modified by number-theory.math.sciencenter.work

Home | Links Exchange| Contact | Directory | Domain Name Registration | Links | My Sites


Copyleft 2005 number-theory.math.sciencenter.work

Free thumbnail preview by Thumbshots.org