Proofs as Polynomials.

Esfandiar Haghverdi Philip J. Scott

Published in: MFPS (2008)

Keyphrases

theorem proving
theorem prover
mathematical proofs
neural network
low order
data sets
higher order
decision procedures
algebraic curves
automated theorem provers