A mechanical proof of quadratic reciprocity

DOI10.1007/BF00263446zbMath0767.68087OpenAlexW2057614488WikidataQ29013181 ScholiaQ29013181MaRDI QIDQ1187853

David M. Russinoff

Publication date: 23 July 1992

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00263446

zbMATH Keywords

quadratic reciprocityBoyer-Moore theorem prover

Mathematics Subject Classification ID

Power residues, reciprocity (11A15)

Related Items (1)

Computer theorem proving in mathematics

This page was built for publication: A mechanical proof of quadratic reciprocity