scientific article; zbMATH DE number 1281390

MaRDI QIDQ4240685zbMATH OpenFDO

Authors Jinzhao Wu, Hongyan Tan

Publication date 29 April 1999

zbMATH Keywords

mechanical geometry theorem provingWu-Ritt's well-ordering algorithm

Mathematics Subject Classification ID

Computer graphics; computational geometry (digital and algorithmic aspects) (68U05)

Recommendations

• scientific article; zbMATH DE number 991677
• Mechanical geometry theorem proving
• scientific article; zbMATH DE number 4031634
• Basic principles of mechanical theorem proving in elementary geometries
• scientific article; zbMATH DE number 41286

Cited in

(16)

• Automated reasoning in differential geometry and mechanics using the characteristic set method. II: Mechanical theorem proving
• Mechanical theorem proving in geometries. Basic principles. Transl. from the Chinese by Xiaofan Jin and Dongming Wang
• Ordering in mechanical geometry theorem proving
• scientific article; zbMATH DE number 1601215 (Why is no real title available?)
• Mechanical geometry theorem proving
• An invitation to analysing geometric problems by executing pseudodivisions
• scientific article; zbMATH DE number 991677 (Why is no real title available?)
• scientific article; zbMATH DE number 3980529 (Why is no real title available?)
• scientific article; zbMATH DE number 4049614 (Why is no real title available?)
• scientific article; zbMATH DE number 4050980 (Why is no real title available?)
• scientific article; zbMATH DE number 1145330 (Why is no real title available?)
• scientific article; zbMATH DE number 800143 (Why is no real title available?)
• Mechanically proving geometry theorems using a combination of Wu's method and Collins' method
• Mechanical geometry theorem proving based on Gröbner bases
• A decision method for certain algebraic geometry problems
• The parallel numerical method of mechanical theorem proving

This page was built for publication:

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