scientific article; zbMATH DE number 1303337

MaRDI QIDQ4249890zbMATH OpenFDO

Authors Stéphane Fèvre, Dongming Wang

Publication date 17 June 1999

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)

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
• scientific article; zbMATH DE number 1222429 (Why is no real title available?)
• scientific article; zbMATH DE number 1159859 (Why is no real title available?)
• scientific article; zbMATH DE number 1389649 (Why is no real title available?)
• scientific article; zbMATH DE number 1421056 (Why is no real title available?)
• scientific article; zbMATH DE number 1421057 (Why is no real title available?)
• ``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:

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