Theorem Proving in Large Formal Mathematics as an Emerging AI Field.

Josef Urban Jirí Vyskocil

Published in: Automated Reasoning and Mathematics (2013)

Keyphrases

theorem proving
computer algebra systems
mathematical knowledge
theorem prover
first order logic
automated reasoning
inference rules
artificial intelligence

automated deduction
proof planning
proof procedure
decision procedures
parallel search
automatic programming
logical inference

term rewriting
automated theorem proving
knowledge representation and reasoning
geometry theorem proving
consequence finding
computer algebra
combinatorial search

distributed search
predicate calculus
machine learning
formal logic
data mining
equational theories
expert systems