| 1990 | ||
|---|---|---|
| 2 | Shang-Ching Chou, William F. Schelter, Jin-Gen Yang: An Algorithm for Constructing Gröbner Bases from Characteristic Sets and Its Application to Geometry. Algorithmica 5(2): 147-154 (1990) | |
| 1986 | ||
| 1 | Shang-Ching Chou, William F. Schelter: Proving Geometry Theorems with Rewrite Rules. J. Autom. Reasoning 2(3): 253-273 (1986) | |
| 1 | Shang-Ching Chou | [1] [2] |
| 2 | Jin-Gen Yang | [2] |