Proving Geometric Theorems by Partitioned-Parametric Gröbner Bases

XueFeng Chen, Peng Li, Long Lin, DingKang Wang. Proving Geometric Theorems by Partitioned-Parametric Gröbner Bases. In Hoon Hong, Dongming Wang, editors, Automated Deduction in Geometry, 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers. Volume 3763 of Lecture Notes in Computer Science, pages 34-43, Springer, 2004. [doi]

Abstract

Abstract is missing.