A mechanical proof of Quadratic Reciprocity

• 1 February 1992
• journal article
• Published by Springer Nature in Journal of Automated Reasoning
• Vol. 8  (1)
• https://doi.org/10.1007/bf00263446

Abstract

Keywords

• QUADRATIC RECIPROCITY
• QUADRATIC RECIPROCITY.
• AUTOMATIC THEOREM PROVING
• NUMBER THEORY
• BOYER-MOORE PROVER
• MECHANICAL PROOF
• THEOREM PROVER