Vectorial equations solving for mechanical geometry theorem proving

DOI10.1023/A:1006182023017MaRDI QIDQ1582388zbMATH OpenFDO

Authors Hongbo Li

Publication date 3 October 2000

Published in Journal of Automated Reasoning (Search for Journal in Brave)

zbMATH Keywords

Clifford algebraarea methodmechanical geometry theorem provingvectorial equations solving

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• scientific article; zbMATH DE number 1159859
• Publication:4946080
• scientific article; zbMATH DE number 1263333
• scientific article; zbMATH DE number 1263331
• Clifford algebraic reduction method for automated theorem proving in differential geometry

Cited in

(11)

• A review and prospect of readable machine proofs for geometry theorems
• On n-sectors of the angles of an arbitrary triangle
• Challenging theorem provers with Mathematical Olympiad problems in solid geometry
• A geometric interpretation of LD-resolution
• Automated discovery of geometric theorems based on vector equations
• Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. I: Incidence geometry.
• Algorithm and mechanization to Cauchy problem of wave equation with linear damping and source terms
• ``Russian killer No. 2: a challenging geometric theorem with human and machine proofs.
• Algorithmization formula and mechanization to Cauchy problem of high dimensional wave equation
• Algorithm and mechanization to Cauchy problem of parabolic equation
• Syntactic unification as a geometric operation in free modules over certain rings

This page was built for publication: Vectorial equations solving for mechanical geometry theorem proving

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