| |
| 2004 | ||
|---|---|---|
| 2 | EE | XueFeng Chen, Peng Li, Long Lin, DingKang Wang: Proving Geometric Theorems by Partitioned-Parametric Gröbner Bases. Automated Deduction in Geometry 2004: 34-43 |
| 2002 | ||
| 1 | EE | XueFeng Chen, DingKang Wang: The Projection of Quasi Variety and Its Application on Geometric Theorem Proving and Formula Deduction. Automated Deduction in Geometry 2002: 21-30 |
| 1 | XueFeng Chen | [1] [2] |
| 2 | Peng Li | [2] |
| 3 | Long Lin | [2] |