Stéphane Fèvre

	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		Stéphane Fèvre, Dongming Wang: Combining Algebraic Computing and Term-Rewriting for Geometry Theorem Proving. AISC 1998: 145-156
3		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		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

Coauthor Index

1	Thierry Boy de la Tour	[3]
2	Dongming Wang	[2] [3] [4] [5]