Progress in Computer-Assisted Inductive Theorem Proving by Human-Orientedness and Descente Infinie?
Claus-Peter WirthPublished in: CoRR (2009)
Keyphrases
- computer assisted
- theorem proving
- first order logic
- automated deduction
- computer aided
- decision procedures
- automated reasoning
- inference rules
- automatic programming
- term rewriting
- geometry theorem proving
- theorem prover
- intraoperative
- parallel search
- proof procedure
- proof planning
- consequence finding
- combinatorial search
- automated theorem proving
- machine learning
- logical inference
- foreign language
- neural network
- distributed search
- timed automata
- predicate calculus
- search space
- total knee replacement