Realization of automatic reasoning system of geometry based on point-eliminating method

DOI10.3724/SP.J.1087.2008.02984MaRDI QIDQ3399727zbMATH OpenFDO

Authors Huimin Luo

Publication date 12 October 2009

Published in Journal of Computer Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3724/SP.J.1087.2008.02984

zbMATH Keywords

automated geometry theorem provingautomated reasoninggraphic-drawingpoint-eliminating methodstructive geometry statements

Mathematics Subject Classification ID

Recommendations

• scientific article; zbMATH DE number 1421051
• Automated reasoning in geometry
• A new approach for automatic theorem proving in real geometry
• scientific article; zbMATH DE number 5733428
• scientific article; zbMATH DE number 2247478
• Automated deduction and knowledge management in geometry
• Self-evident automated proving based on point geometry from the perspective of Wu's method identity
• Elimination procedures for mechanical theorem proving in geometry

Cited in

(10)

• Solving geometry problems using a combination of symbolic and numerical reasoning
• A sustainable geometry automated reasoning platform
• scientific article; zbMATH DE number 2089089 (Why is no real title available?)
• scientific article; zbMATH DE number 4072432 (Why is no real title available?)
• Study of the automatic planning of measurement points with basic element features
• Representation and automated transformation of geometric statements
• The design and realization of an alternate reasoning system in plane analytic geometry
• Automated Deduction in Geometry
• scientific article; zbMATH DE number 4187179 (Why is no real title available?)
• Automated generation of geometry proof problems based on point geometry identity

This page was built for publication: Realization of automatic reasoning system of geometry based on point-eliminating method

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