Stéphane Fèvre. Integration of Reasoning and Algebraic Calculus in Geometry. In Dongming Wang, editor, Automated Deduction in Geometry, International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers. Volume 1360 of Lecture Notes in Computer Science, pages 218-234, Springer, 1996.
Abstract is missing.