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]
@inproceedings{ChenLLW04,
title = {Proving Geometric Theorems by Partitioned-Parametric Gröbner Bases},
author = {XueFeng Chen and Peng Li and Long Lin and DingKang Wang},
year = {2004},
doi = {10.1007/11615798_3},
url = {http://dx.doi.org/10.1007/11615798_3},
tags = {partitioning},
researchr = {https://researchr.org/publication/ChenLLW04},
cites = {0},
citedby = {0},
pages = {34-43},
booktitle = {Automated Deduction in Geometry, 5th International Workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004, Revised Papers},
editor = {Hoon Hong and Dongming Wang},
volume = {3763},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-31332-X},
}