A method for the mechanical derivation of formulas in elementary geometry

DOI10.1007/BF00243793zbMATH Open0638.68109OpenAlexW2031959479MaRDI QIDQ1099656FDOQ1099656

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

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

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)

Cited In (9)

• Title not available (Why is that?)
• Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems
• Geometry machines: from AI to SMC
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)

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)