
Search the dblp DataBase
Stéphane Fèvre:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Stéphane Fèvre
Integration of Reasoning and Algebraic Calculus in Geometry. [Citation Graph (0, 0)][DBLP] Automated Deduction in Geometry, 1996, pp:218234 [Conf]
 Thierry Boy de la Tour, Stéphane Fèvre, Dongming Wang
Clifford Term Rewriting for Geometric Reasoning in 3D. [Citation Graph (0, 0)][DBLP] Automated Deduction in Geometry, 1998, pp:130155 [Conf]
 Stéphane Fèvre, Dongming Wang
Combining Algebraic Computing and TermRewriting for Geometry Theorem Proving. [Citation Graph (0, 0)][DBLP] AISC, 1998, pp:145156 [Conf]
 Stéphane Fèvre, Dongming Wang
Proving Geometric Theorems Using Clifford Algebra and Rewrite Rules. [Citation Graph (0, 0)][DBLP] CADE, 1998, pp:1731 [Conf]
 Stéphane Fèvre, Dongming Wang
Combining Clifford Algebraic Computing and TermRewriting for Geometric Theorem Proving. [Citation Graph (0, 0)][DBLP] Fundam. Inform., 1999, v:39, n:12, pp:85104 [Journal]
Search in 0.002secs, Finished in 0.002secs
