Verifying and Invalidating Textbook Proofs Using Scunak.

Published in: MKM (2006)

Keyphrases

theorem proving
theorem prover
formal proofs
equational theories
neural network
computer science
model checking
computer programs
computer programming
mathematical proofs
real world
information systems
decision procedures
natural deduction