The following pages link to (Q2751363):
Displayed 13 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)
- 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)
- 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)
- A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs (Q3102745) (← links)
- Querying Geometric Figures Using a Controlled Language, Ontological Graphs and Dependency Lattices (Q5495931) (← links)
- Automatic Deduction in an AI Geometry Book (Q6108829) (← links)