![]() | ![]() |
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] |