A Mechanical Proof of Quadratic Reciprocity.

David M. Russinoff

Published in: J. Autom. Reason. (1992)

Keyphrases

pairwise
linear logic
theorem proving
objective function
mechanical design
natural deduction
artificial intelligence
database
theorem prover
relational databases
proof planning
quantum mechanics
semidefinite
machine learning
data mining
neural network
data sets