| 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) | |
| 1989 | ||
| 1 | Shang-Ching Chou, Jin-Gen Yang: On the Algebraic Formulation of Certain Geometry Statements and Mechanical Geometry Theorem Proving. Algorithmica 4(2): 237-262 (1989) | |
| 1 | Shang-Ching Chou | [1] [2] |
| 2 | William F. Schelter | [2] |