Panel Discussion: A Mechanically Proof-Checked Encyclopedia of Mathematics: Should We Build One? Can We?

Robert S. Boyer

Published in: CADE (1994)

Keyphrases

panel discussion
theorem prover
mathematical knowledge
computer algebra
computer algebra systems
theorem proving
automated theorem proving
artificial intelligence in medicine
first order logic
computer science
inference rules
real time
information retrieval
natural deduction
proof search
proof planning