Towards a geometry deductive database prover
From MaRDI portal
Publication:6535443
Recommendations
- A deductive database approach to automated geometry theorem proving and discovering
- Visually dynamic presentation of proofs in plane geometry. II: Automated generation of visually dynamic presentations with the full-angle method and the deductive database method
- Thousands of geometric problems for geometric theorem provers (TGTP)
- Automated Deduction in Geometry
- Automated Deduction in Geometry
Cites work
- A coherent logic based geometry theorem prover capable of producing formal and readable proofs
- A deductive database approach to automated geometry theorem proving and discovering
- An introduction to Java geometry expert. (Extended abstract)
- Automated reasoning in geometry
- Automated reasoning in geometry theorem proving with Prolog
- Open geometry prover community project
- Plane geometry theorem proving using forward chaining
- Proof technology in mathematics research and teaching
- The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0
Cited in
(2)
This page was built for publication: Towards a geometry deductive database prover
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6535443)
