scientific article; zbMATH DE number 1145330

MaRDI QIDQ4384625zbMATH OpenFDO

Authors Hongyan Tan, Jinzhao Wu

Publication date 9 February 1999

zbMATH Keywords

generally true geometric theoremsirreducible characteristic setsradical idealremainders

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• Basic principles of mechanical theorem proving in elementary geometries
• Mechanical geometry theorem proving
• scientific article; zbMATH DE number 41286
• scientific article; zbMATH DE number 1281390
• scientific article; zbMATH DE number 4021099
• Mechanical Ideas in Geometry
• A method for the mechanical derivation of formulas in elementary geometry
• scientific article; zbMATH DE number 790271

Cited in

(2)

• scientific article; zbMATH DE number 991677 (Why is no real title available?)
• A note on the need for radical membership checking in mechanical theorem proving in geometry

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 Q4384625)