scientific article; zbMATH DE number 1159859

MaRDI QIDQ4392227zbMATH OpenFDO

Authors Hongbo Li, Minteh Cheng

Publication date 7 June 1998

zbMATH Keywords

algebraic representation of plane geometryClifford algebramechanical geometry theorem provingtriangulationWu's method

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• Publication:4946080
• scientific article; zbMATH DE number 1303337
• Vectorial equations solving for mechanical geometry theorem proving
• Publication:4934142
• Clifford algebraic reduction method for automated theorem proving in differential geometry

Cited in

(9)

• On the algebraic formulation of certain geometry statements and mechanical geometry theorem proving
• Clifford algebraic reduction method for automated theorem proving in differential geometry
• Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. I: Incidence geometry.
• Vectorial equations solving for mechanical geometry theorem proving
• Challenging theorem provers with Mathematical Olympiad problems in solid geometry
• The area method and proving plane geometry theorems
• scientific article; zbMATH DE number 1303337 (Why is no real title available?)
• scientific article; zbMATH DE number 1421056 (Why is no real title available?)
• Mechanically proving geometry theorems using a combination of Wu's method and Collins' method

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