Proving geometric theorems using Clifford algebra and rewrite rules

DOI10.1007/BFB0054242MaRDI QIDQ4249890zbMATH OpenFDO

Authors Stéphane Fèvre, Dongming Wang

Publication date 17 June 1999

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BFB0054242

zbMATH Keywords

Clifford algebraClifford polynomialcoordinate-free techniquegeometry theorem provingterm-rewriting system

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Grammars and rewriting systems (68Q42)

Recommendations

• scientific article; zbMATH DE number 1389649
• A Clifford algebraic method for geometric reasoning
• Clifford term rewriting for geometric reasoning in 3D
• scientific article; zbMATH DE number 1159859
• Combining algebraic computing and term-rewriting for geometry theorem proving

Cited in

(12)

• Proving geometry theorems with rewrite rules
• Automated theorem proving practice with null geometric algebra
• An application of CLP: Checking the correctness of theorems in geometry
• Formalizing geometric algebra in Lean
• Rewriting input expressions in complex algebraic geometry provers
• Combining algebraic computing and term-rewriting for geometry theorem proving
• scientific article; zbMATH DE number 1159859 (Why is no real title available?)
• scientific article; zbMATH DE number 1389649 (Why is no real title available?)
• A Clifford algebraic method for geometric reasoning
• Clifford term rewriting for geometric reasoning in 3D
• ``Russian killer No. 2: a challenging geometric theorem with human and machine proofs.
• Using geometric rewrite rules for solving geometric problems symbolically

This page was built for publication: Proving geometric theorems using Clifford algebra and rewrite rules

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