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)

Full work available at URL https://doi.org/10.1023/A:1006182023017

zbMATH Keywords

area methodClifford algebramechanical 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

(12)

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

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)