Automatic discovery of theorems in elementary geometry

DOI10.1023/A:1006135322108zbMath0941.03010OpenAlexW1562474977MaRDI QIDQ1808565

Publication date: 25 November 1999

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1006135322108

zbMATH Keywords

Gröbner basis algebraic geometry automatic theorem proving elementary geometry algorithmic commutative algebra automatic discovery

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Mechanization of proofs and logical operations (03B35) General theory of linear incidence geometry and projective geometries (51A05)

Related Items

Automated theorem proving in GeoGebra: current achievements ⋮ On the unavoidable uncertainty of truth in dynamic geometry proving ⋮ Automatic determination of envelopes and other derived curves within a graphic environment ⋮ The Relation Tool in GeoGebra 5 ⋮ Rewriting input expressions in complex algebraic geometry provers ⋮ On protocols for the automated discovery of theorems in elementary geometry ⋮ A Groebner bases-based approach to backward reasoning in rule based expert systems ⋮ A bridge between dynamic geometry and computer algebra ⋮ Automated discovery of geometric theorems based on vector equations ⋮ Automatic deduction in (dynamic) geometry: Loci computation ⋮ 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 ⋮ Detecting truth, just on parts ⋮ 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 ⋮ NAPOLEON'S THEOREM FROM THE VIEW POINT OF GRÖBNER BASES ⋮ Automated reducible geometric theorem proving and discovery by Gröbner basis method ⋮ 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 ⋮ Automated deduction and knowledge management in geometry ⋮ Automated detection of interesting properties in regular polygons ⋮ Connecting the 3D DGS Calques3D with the CAS Maple ⋮ An algebraic approach to rule based expert systems ⋮ A Symbolic Companion for Interactive Geometric Systems ⋮ Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems ⋮ A Maple Package for Automatic Theorem Proving and Discovery in 3D-Geometry ⋮ Towards the Automatic Discovery of Theorems in GeoGebra ⋮ Automatic Calculation of Plane Loci Using Gröbner Bases and Integration into a Dynamic Geometry System ⋮ A mechanical geometer ⋮ Envelopes and offsets of two algebraic plane curves: exploration of their similarities and differences ⋮ Locus computation in dynamic geometry environment ⋮ Dealing with negative conditions in automated proving: tools and challenges. The unexpected consequences of Rabinowitsch's trick ⋮ Reasoning about linkages with dynamic geometry ⋮ A software tool for the investigation of plane loci ⋮ Development of automatic reasoning tools in GeoGebra ⋮ A Singular web service for geometric computations

This page was built for publication: Automatic discovery of theorems in elementary geometry