Pages that link to "Item:Q1581854"
From MaRDI portal
The following pages link to A deductive database approach to automated geometry theorem proving and discovering (Q1581854):
Displaying 30 items.
- The area method. A recapitulation (Q437042) (← links)
- Visually dynamic presentation of proofs in plane geometry. I: Basic features and the manual input method (Q616846) (← links)
- 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 (Q616847) (← links)
- Eliminating redundant search space on backtracking for forward chaining theorem proving (Q1412130) (← links)
- Automated deduction and knowledge management in geometry (Q1995808) (← links)
- Automated detection of interesting properties in regular polygons (Q1995811) (← links)
- A mechanical geometer (Q2071524) (← links)
- Learning to solve geometric construction problems from images (Q2128821) (← links)
- Taxonomies of geometric problems (Q2334578) (← links)
- Automated generation of geometric theorems from images of diagrams (Q2354910) (← links)
- A review and prospect of readable machine proofs for geometry theorems (Q2439882) (← links)
- Automated discovery of geometric theorems based on vector equations (Q2666956) (← links)
- Towards the Automatic Discovery of Theorems in GeoGebra (Q2819196) (← links)
- Some Lemmas to Hopefully Enable Search Methods to Find Short and Human Readable Proofs for Incidence Theorems of Projective Geometry (Q3102739) (← links)
- A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs (Q3102745) (← links)
- Automated Generation of Readable Proofs for Constructive Geometry Statements with the Mass Point Method (Q3102746) (← links)
- DECOMPOSITION OF GEOMETRIC CONSTRAINT SYSTEMS: A SURVEY (Q3422212) (← links)
- The Relation Tool in GeoGebra 5 (Q3452276) (← links)
- GeoLogic – Graphical Interactive Theorem Prover for Euclidean Geometry (Q5041061) (← links)
- A Combination of a Dynamic Geometry Software With a Proof Assistant for Interactive Formal Proofs (Q5170235) (← links)
- A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry (Q5453491) (← links)
- Querying Geometric Figures Using a Controlled Language, Ontological Graphs and Dependency Lattices (Q5495931) (← links)
- Automated Deduction in Geometry (Q5902024) (← links)
- Towards an Automated Geometer (Q6108828) (← links)
- Self-evident automated geometric theorem proving based on complex number identity (Q6149590) (← links)
- Towards a geometry deductive database prover (Q6535443) (← links)
- Automated generation of geometry proof problems based on point geometry identity (Q6552506) (← links)
- Online generation of proofs without words (Q6653964) (← links)
- Open geometry prover community project (Q6653967) (← links)
- Supporting proving and discovering geometric inequalities in GeoGebra by using Tarski (Q6653970) (← links)