Automatic discovery of theorems in elementary geometry
From MaRDI portal
Recommendations
- On protocols for the automated discovery of theorems in elementary geometry
- An introduction to automated discovery in geometry through symbolic computation
- scientific article; zbMATH DE number 1745036
- Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems
- scientific article; zbMATH DE number 1912102
Cited in
(57)- Automated reducible geometric theorem proving and discovery by Gröbner basis method
- A software tool for the investigation of plane loci
- Automatic determination of envelopes and other derived curves within a graphic environment
- Automated deduction and knowledge management in geometry
- Automated detection of interesting properties in regular polygons
- A mechanical geometer
- Envelopes and offsets of two algebraic plane curves: exploration of their similarities and differences
- Some issues on the automatic computation of plane envelopes in interactive environments
- A parametric approach to 3D dynamic geometry
- Generalizing the Steiner-Lehmus theorem using the Gröbner cover
- Locus computation in dynamic geometry environment
- Reasoning about linkages with dynamic geometry
- Automated generation of geometric theorems from images of diagrams
- A Singular web service for geometric computations
- A Groebner bases-based approach to backward reasoning in rule based expert systems
- Detecting truth, just on parts
- Rewriting input expressions in complex algebraic geometry provers
- Automated discovery of geometric theorems based on vector equations
- Towards the Automatic Discovery of Theorems in GeoGebra
- Automated theorem proving in GeoGebra: current achievements
- An introduction to automated discovery in geometry through symbolic computation
- On the unavoidable uncertainty of truth in dynamic geometry proving
- Automatic Calculation of Plane Loci Using Gröbner Bases and Integration into a Dynamic Geometry System
- The relation tool in GeoGebra 5
- Discovering geometric theorems from scanned and photographed images of diagrams
- Automatic deduction in (dynamic) geometry: Loci computation
- scientific article; zbMATH DE number 1263388 (Why is no real title available?)
- scientific article; zbMATH DE number 1745036 (Why is no real title available?)
- scientific article; zbMATH DE number 1912102 (Why is no real title available?)
- Towards an automatic geometer
- A Symbolic Companion for Interactive Geometric Systems
- Development of automatic reasoning tools in GeoGebra
- Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems
- A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry
- scientific article; zbMATH DE number 2247479 (Why is no real title available?)
- Automated Deduction in Geometry
- A bridge between dynamic geometry and computer algebra
- Some reflections about the success and bibliographic impact of the dynamic geometry system \textit{GeoGebra}
- Discovering Geometry Theorems in Regular Polygons
- Towards an Automated Geometer
- Is computer algebra ready for conjecturing and proving geometric inequalities in the classroom?
- Can I bring my calculator to the exam? Some reflections on the abstraction level of computer algebra systems
- Automated discovery of angle theorems
- A program to create new geometry proof problems
- NAPOLEON'S THEOREM FROM THE VIEW POINT OF GRÖBNER BASES
- Automated generation of geometry proof problems based on point geometry identity
- Open geometry prover community project
- GeoGebra discovery in context
- Supporting proving and discovering geometric inequalities in GeoGebra by using Tarski
- On automated completion of geometry statements and proofs with GeoGebra Discovery
- A simple proof of correctness of folding the regular heptagon
- Considerations on approaches and metrics in automated theorem generation/finding in geometry
- Automated completion of statements and proofs in synthetic geometry: an approach based on constraint solving
- Dealing with negative conditions in automated proving: tools and challenges. The unexpected consequences of Rabinowitsch's trick
- On protocols for the automated discovery of theorems in elementary geometry
- Connecting the 3D DGS Calques3D with the CAS Maple
- An algebraic approach to rule based expert systems
This page was built for publication: Automatic discovery of theorems in elementary geometry
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1808565)
