Integration of Reasoning and Algebraic Calculus in Geometry. - Stéphane Fèvre (Automated Deduction in Geometry, 1996)

Clifford Term Rewriting for Geometric Reasoning in 3D. - Thierry Boy de la Tour; Stéphane Fèvre; Dongming Wang 001 (Automated Deduction in Geometry, 1998)

Combining Algebraic Computing and Term-Rewriting for Geometry Theorem Proving. - Stéphane Fèvre; Dongming Wang 001 (AISC, 1998)

Proving Geometric Theorems Using Clifford Algebra and Rewrite Rules. - Stéphane Fèvre; Dongming Wang 001 (CADE, 1998)

Completeness of a rewrite system for proving geometric theorems using Clifford algebra. - Stéphane Fèvre (SIGSAM Bull., 1998)

Combining Clifford Algebraic Computing and Term-Rewriting for Geometric Theorem Proving. - Stéphane Fèvre; Dongming Wang 001 (Fundam. Informaticae, 1999)