Vectorial equations solving for mechanical geometry theorem proving

DOI10.1023/A:1006182023017zbMath0959.03008MaRDI QIDQ1582388

Hong-Bo 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)

Related Items (11)

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 ⋮ A review and prospect of readable machine proofs for geometry theorems ⋮ 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 ⋮ 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. ⋮ Syntactic Unification as a Geometric Operation in Free Modules over certain Rings ⋮ Algorithmization formula and mechanization to Cauchy problem of high dimensional wave equation ⋮ Algorithm and mechanization to Cauchy problem of parabolic equation

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