Stéphane Fèvre

According to our database, Stéphane Fèvre authored at least 6 papers between 1996 and 1999.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1999

Combining Clifford Algebraic Computing and Term-Rewriting for Geometric Theorem Proving.

Stéphane Fèvre, Dongming Wang

Fundam. Informaticae, 1999

1998

Completeness of a rewrite system for proving geometric theorems using Clifford algebra.

Stéphane Fèvre

SIGSAM Bull., 1998

Proving Geometric Theorems Using Clifford Algebra and Rewrite Rules.

Stéphane Fèvre, Dongming Wang

Proceedings of the Automated Deduction, 1998

Combining Algebraic Computing and Term-Rewriting for Geometry Theorem Proving.

Stéphane Fèvre, Dongming Wang

Proceedings of the Artificial Intelligence and Symbolic Computation, 1998

Clifford Term Rewriting for Geometric Reasoning in 3D.

Thierry Boy de la Tour, Stéphane Fèvre, Dongming Wang

Proceedings of the Automated Deduction in Geometry, 1998

1996

Integration of Reasoning and Algebraic Calculus in Geometry.

Stéphane Fèvre

Proceedings of the Automated Deduction in Geometry, 1996