Proving Geometric Theorems by Partitioned-Parametric Gröbner Bases - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'XueFeng Chen' in GoogleThis author has not been identified. Look up 'Peng Li' in GoogleThis author has not been identified. Look up 'Long Lin' in GoogleThis author has not been identified. Look up 'DingKang Wang' in Google

runs on WebDSL