On Automating Diagrammatic Proofs of Arithmetic Arguments.

Mateja Jamnik Alan Bundy Ian Green

Published in: J. Log. Lang. Inf. (1999)

Keyphrases

theorem proving
equational theories
theorem prover
website
arithmetic operations
formal proof
neural network
decision trees
decision procedures
symbolic reasoning
mathematical proofs