Automatic discovery of theorems in elementary geometry
From MaRDI portal
Publication:1808565
DOI10.1023/A:1006135322108zbMath0941.03010MaRDI QIDQ1808565
Publication date: 25 November 1999
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Gröbner basis; algebraic geometry; automatic theorem proving; elementary geometry; algorithmic commutative algebra; automatic discovery
68W30: Symbolic computation and algebraic computation
13P10: Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases)
03B35: Mechanization of proofs and logical operations
51A05: General theory of linear incidence geometry and projective geometries
Related Items
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, A bridge between dynamic geometry and computer algebra, 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, A software tool for the investigation of plane loci, Automatic determination of envelopes and other derived curves within a graphic environment, A Groebner bases-based approach to backward reasoning in rule based expert systems