Theorem Proving in Large Formal Mathematics as an Emerging AI Field
Josef UrbanJirí VyskocilPublished in: CoRR (2012)
Keyphrases
- theorem proving
- computer algebra systems
- mathematical knowledge
- theorem prover
- first order logic
- decision procedures
- automatic programming
- parallel search
- automated deduction
- proof planning
- automated reasoning
- automated theorem proving
- artificial intelligence
- logical inference
- inference rules
- term rewriting
- computer algebra
- geometry theorem proving
- proof procedure
- combinatorial search
- distributed search
- knowledge representation
- consequence finding
- formal logic
- computer science
- expert systems
- data mining
- predicate calculus
- knowledge representation and reasoning
- intelligent systems
- search algorithm