1. Home
  2. Science
  3. Mathematics
  4. A Mechanical Proof of Quadratic Reciprocity

Science · Mathematics

A Mechanical Proof of Quadratic Reciprocity

Listed in the directory · updated 23 Jul 2022

Visit website

Find them on

Share

About A Mechanical Proof of Quadratic Reciprocity

A Mechanical Proof of Quadratic Reciprocity- 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.

Tags

Logic and Foundations

Where it sits

Science Mathematics

More in Mathematics

See all →