A method for the mechanical derivation of formulas in elementary geometry
From MaRDI portal
Publication:1099656
DOI10.1007/BF00243793zbMath0638.68109OpenAlexW2031959479MaRDI QIDQ1099656
Publication date: 1987
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00243793
Symbolic computation and algebraic computation (68W30) Mechanization of proofs and logical operations (03B35)
Related Items (3)
On protocols for the automated discovery of theorems in elementary geometry ⋮ On the automatic derivation of a set of geometric formulae ⋮ Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems
This page was built for publication: A method for the mechanical derivation of formulas in elementary geometry
