Proof Documents for Automated Origami Theorem Proving.
Fadoua GhourabiTetsuo IdaAsem KasemPublished in: Automated Deduction in Geometry (2010)
Keyphrases
- theorem proving
- theorem prover
- proof planning
- first order logic
- automated theorem proving
- geometry theorem proving
- decision procedures
- inference rules
- term rewriting
- automated reasoning
- automated deduction
- proof procedure
- automatic programming
- proof search
- information retrieval
- document collections
- parallel search
- xml documents
- combinatorial search
- information retrieval systems
- logical inference
- consequence finding
- distributed search
- logic programming
- mathematical knowledge
- natural language processing