Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems.
Vesna MarinkovicPredrag JanicicPascal SchreckPublished in: ADG (2014)
Keyphrases
- theorem proving
- geometry theorem proving
- combinatorial search
- automated reasoning
- first order logic
- decision procedures
- optimization problems
- combinatorial optimization
- inference rules
- automated deduction
- proof planning
- theorem prover
- automatic programming
- term rewriting
- consequence finding
- probability distribution
- reasoning tasks
- np complete
- logical inference