Automated reasoning in geometry
From MaRDI portal
Recommendations
Cited in
(25)- Automated reasoning about elementary point-set topology
- Euclidean geometry in terms of automata theory
- Automatic generation of staged geometric predicates
- Retrieving geometric information from images: the case of hand-drawn diagrams
- Three-variable statements of set-pairing
- Automated deduction and knowledge management in geometry
- Automatically building diagrams for olympiad geometry problems
- Formalization and specification of geometric knowledge objects
- Taxonomies of geometric problems
- Portfolio theorem proving and prover runtime prediction for geometry
- Automatted geometry theorem proving
- Automated theorem proving in GeoGebra: current achievements
- An introduction to automated discovery in geometry through symbolic computation
- A coherent logic based geometry theorem prover capable of producing formal and readable proofs
- Realization of automatic reasoning system of geometry based on point-eliminating method
- Automatic theorem proving for three decades
- Logic for physical space. From antiquity to present day
- The area method. A recapitulation
- Machine Proofs in Geometry
- Representation and automated transformation of geometric statements
- Towards an automatic geometer
- Querying geometric figures using a controlled language, ontological graphs and dependency lattices
- Automatic Deduction in an AI Geometry Book
- Towards a geometry deductive database prover
- Geometry machines: from AI to SMC
This page was built for publication: Automated reasoning in geometry
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2751363)
