A Mechanical Proof of Quadratic Reciprocity

Authors
D.M.Russinoff
Citation
D.m.russinoff, A Mechanical Proof of Quadratic Reciprocity, Journal of automated reasoning , 8(1), 1992, pp. 3-22
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
8
Issue
1
Year of publication
1992
Pages
3 - 22
Database
ACNP
SICI code