scientific article; zbMATH DE number 1389649

MaRDI QIDQ4934142zbMATH OpenFDO

Authors Stéphane Fèvre, Dongming Wang

Publication date 17 January 2000

zbMATH Keywords

Clifford algebraic reductionterm-rewriting

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05)

Recommendations

• Combining algebraic computing and term-rewriting for geometry theorem proving
• Proving geometric theorems using Clifford algebra and rewrite rules
• A Clifford algebraic method for geometric reasoning
• Clifford term rewriting for geometric reasoning in 3D
• scientific article; zbMATH DE number 2128063

Cited in

(9)

• Automated theorem proving practice with null geometric algebra
• scientific article; zbMATH DE number 2128063 (Why is no real title available?)
• Clifford algebraic calculus for geometric reasoning with application to computer vision
• Combining algebraic computing and term-rewriting for geometry theorem proving
• Proving geometric theorems using Clifford algebra and rewrite rules
• scientific article; zbMATH DE number 1159859 (Why is no real title available?)
• Symbolic computation in the homogeneous geometric model with clifford algebra
• A Clifford algebraic method for geometric reasoning
• Clifford term rewriting for geometric reasoning in 3D

Describes a project that uses

Uses Software

• OCaml
• Maple

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 Q4934142)