| |
| 1999 | ||
|---|---|---|
| 5 | Stéphane Fèvre, Dongming Wang: Combining Clifford Algebraic Computing and Term-Rewriting for Geometric Theorem Proving. Fundam. Inform. 39(1-2): 85-104 (1999) | |
| 1998 | ||
| 4 | EE | Stéphane Fèvre, Dongming Wang: Combining Algebraic Computing and Term-Rewriting for Geometry Theorem Proving. AISC 1998: 145-156 |
| 3 | EE | Thierry Boy de la Tour, Stéphane Fèvre, Dongming Wang: Clifford Term Rewriting for Geometric Reasoning in 3D. Automated Deduction in Geometry 1998: 130-155 |
| 2 | EE | Stéphane Fèvre, Dongming Wang: Proving Geometric Theorems Using Clifford Algebra and Rewrite Rules. CADE 1998: 17-31 |
| 1996 | ||
| 1 | Stéphane Fèvre: Integration of Reasoning and Algebraic Calculus in Geometry. Automated Deduction in Geometry 1996: 218-234 | |
| 1 | Thierry Boy de la Tour | [3] |
| 2 | Dongming Wang | [2] [3] [4] [5] |