The following pages link to Automated reasoning in geometry (Q2751363):
Displaying 20 items.
- Automated theorem proving in GeoGebra: current achievements (Q286780) (← links)
- Logic for physical space. From antiquity to present day (Q382998) (← links)
- The area method. A recapitulation (Q437042) (← links)
- Representation and automated transformation of geometric statements (Q488928) (← links)
- Automated reasoning about elementary point-set topology (Q1122363) (← links)
- Euclidean geometry in terms of automata theory (Q1124346) (← links)
- Automatic generation of staged geometric predicates (Q1426869) (← links)
- Retrieving geometric information from images: the case of hand-drawn diagrams (Q1741163) (← links)
- Three-variable statements of set-pairing (Q1885036) (← links)
- Automated deduction and knowledge management in geometry (Q1995808) (← links)
- Automatically building diagrams for olympiad geometry problems (Q2055892) (← links)
- Formalization and specification of geometric knowledge objects (Q2254093) (← links)
- Taxonomies of geometric problems (Q2334578) (← links)
- Portfolio theorem proving and prover runtime prediction for geometry (Q2631959) (← links)
- Automatted geometry theorem proving (Q2765707) (← links)
- A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs (Q3102745) (← links)
- Realization of automatic reasoning system of geometry based on point-eliminating method (Q3399727) (← links)
- Querying Geometric Figures Using a Controlled Language, Ontological Graphs and Dependency Lattices (Q5495931) (← links)
- Automatic Deduction in an AI Geometry Book (Q6108829) (← links)
- Towards a geometry deductive database prover (Q6535443) (← links)
