scientific article; zbMATH DE number 1159859

MaRDI QIDQ4392227zbMATH OpenFDO

Authors Minteh Cheng, Hongbo Li

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

• A Clifford algebraic method for geometric reasoning
• Proving geometric theorems using Clifford algebra and rewrite rules
• Vectorial equations solving for mechanical geometry theorem proving
• scientific article; zbMATH DE number 1389649
• 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
• Proving geometric theorems using Clifford algebra and rewrite rules
• A Clifford algebraic method for geometric reasoning
• 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)