scientific article; zbMATH DE number 1159859

zbMATH Open0898.03006MaRDI QIDQ4392227FDOQ4392227

Authors: Hongbo Li, Minteh Cheng 

Publication date: 7 June 1998

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

triangulationClifford algebraWu's methodmechanical geometry theorem provingalgebraic representation of plane geometry

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Cited In (7)

• On the algebraic formulation of certain geometry statements and mechanical geometry theorem proving
• Challenging theorem provers with Mathematical Olympiad problems in solid geometry
• Mechanically proving geometry theorems using a combination of Wu's method and Collins' method
• Vectorial equations solving for mechanical geometry theorem proving
• Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. I: Incidence geometry.
• The area method and proving plane geometry theorems
• Title not available (Why is that?)

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)