On the desirability of mechanizing calculational proofs.

Panagiotis Manolios J Strother Moore

Published in: Inf. Process. Lett. (2001)

Keyphrases

theorem proving
theorem prover
decision procedures
first order logic
neural network
inference rules
automated theorem proving
formal proofs
databases
information retrieval
artificial intelligence
information extraction
mathematical knowledge