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
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, A software tool for the investigation of plane loci, Automatic determination of envelopes and other derived curves within a graphic environment