|
Search the dblp DataBase
Stéphane Fèvre:
[Publications]
[Author Rank by year]
[Co-authors]
[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:218-234 [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:130-155 [Conf]
- Stéphane Fèvre, Dongming Wang
Combining Algebraic Computing and Term-Rewriting for Geometry Theorem Proving. [Citation Graph (0, 0)][DBLP] AISC, 1998, pp:145-156 [Conf]
- Stéphane Fèvre, Dongming Wang
Proving Geometric Theorems Using Clifford Algebra and Rewrite Rules. [Citation Graph (0, 0)][DBLP] CADE, 1998, pp:17-31 [Conf]
- Stéphane Fèvre, Dongming Wang
Combining Clifford Algebraic Computing and Term-Rewriting for Geometric Theorem Proving. [Citation Graph (0, 0)][DBLP] Fundam. Inform., 1999, v:39, n:1-2, pp:85-104 [Journal]
Search in 0.001secs, Finished in 0.001secs
|