Login / Signup
Stéphane Fèvre
Publication Activity (10 Years)
Years Active: 1996-1999
Publications (10 Years): 0
</>
Publications
</>
Stéphane Fèvre
,
Dongming Wang
Combining Clifford Algebraic Computing and Term-Rewriting for Geometric Theorem Proving.
Fundam. Informaticae
39 (1-2) (1999)
Stéphane Fèvre
,
Dongming Wang
Proving Geometric Theorems Using Clifford Algebra and Rewrite Rules.
CADE
(1998)
Stéphane Fèvre
,
Dongming Wang
Combining Algebraic Computing and Term-Rewriting for Geometry Theorem Proving.
AISC
(1998)
Thierry Boy de la Tour
,
Stéphane Fèvre
,
Dongming Wang
Clifford Term Rewriting for Geometric Reasoning in 3D.
Automated Deduction in Geometry
(1998)
Stéphane Fèvre
Completeness of a rewrite system for proving geometric theorems using Clifford algebra.
SIGSAM Bull.
32 (2) (1998)
Stéphane Fèvre
Integration of Reasoning and Algebraic Calculus in Geometry.
Automated Deduction in Geometry
(1996)