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. Category:
Number Theory
Current Rating: 0.00
Clicks/Hits Received: 0 Number of Reviews/Comments:
0 | | |