Automatted geometry theorem proving
From MaRDI portal
Recommendations
Cited in
(31)- Proving geometry theorems with rewrite rules
- Euclidean geometry in terms of automata theory
- Automatic generation of staged geometric predicates
- A deductive database approach to automated geometry theorem proving and discovering
- Generalizing Morley's and other theorems with automated realization
- Automated theorem proving practice with null geometric algebra
- Geometric theorem proving by integrated logical and algebraic reasoning
- Automated deduction and knowledge management in geometry
- Automatically building diagrams for olympiad geometry problems
- Automated reasoning in geometry
- Mechanical geometry theorem proving
- Readable machine proofs for mass point geometry
- An invitation to analysing geometric problems by executing pseudodivisions
- scientific article; zbMATH DE number 994744 (Why is no real title available?)
- scientific article; zbMATH DE number 3852462 (Why is no real title available?)
- Automatic theorem proving for three decades
- scientific article; zbMATH DE number 4072432 (Why is no real title available?)
- The area method. A recapitulation
- scientific article; zbMATH DE number 1745036 (Why is no real title available?)
- scientific article; zbMATH DE number 1745042 (Why is no real title available?)
- scientific article; zbMATH DE number 6984221 (Why is no real title available?)
- Machine Proofs in Geometry
- scientific article; zbMATH DE number 1421053 (Why is no real title available?)
- Computational Science and Its Applications – ICCSA 2004
- Automatic Verification of Regular Constructions in Dynamic Geometry Systems
- A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry
- Automated Deduction in Geometry
- scientific article; zbMATH DE number 4187179 (Why is no real title available?)
- Automatic Deduction in an AI Geometry Book
- Automated generation of geometry proof problems based on point geometry identity
- Geometry machines: from AI to SMC
This page was built for publication: Automatted geometry theorem proving
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2765707)
