A method for the mechanical derivation of formulas in elementary geometry

DOI10.1007/BF00243793MaRDI QIDQ1099656zbMATH OpenOpenAlexFDO

Authors Shang-Ching Chou

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

zbMATH Keywords

geometry theorem provingRitt's decomposition algorithmGröbner basis

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Mechanization of proofs and logical operations (03B35)

Recommendations

• scientific article; zbMATH DE number 4031634
• Geometry theorem proving by decomposition of quasi-algebraic sets: An application of the Ritt-Wu principle
• scientific article; zbMATH DE number 41286
• scientific article; zbMATH DE number 3926285
• Ritt-Wu's decomposition algorithm and geometry theorem proving

Cited in

(9)

• scientific article; zbMATH DE number 4031634 (Why is no real title available?)
• Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems
• Geometry machines: from AI to SMC
• scientific article; zbMATH DE number 1390433 (Why is no real title available?)
• scientific article; zbMATH DE number 4050980 (Why is no real title available?)
• On the automatic derivation of a set of geometric formulae
• On protocols for the automated discovery of theorems in elementary geometry
• Geometry theorem proving by decomposition of quasi-algebraic sets: An application of the Ritt-Wu principle
• scientific article; zbMATH DE number 1145330 (Why is no real title available?)

This page was built for publication: A method for the mechanical derivation of formulas in elementary geometry

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1099656)