On the Algebraic Formulation of Certain Geometry Statements and Mechanical Geometry Theorem Proving. - Shang-Ching Chou; Jin-Gen Yang (Algorithmica, 1989)

An Algorithm for Constructing Gröbner Bases from Characteristic Sets and Its Application to Geometry. - Shang-Ching Chou; William F. Schelter; Jin-Gen Yang (Algorithmica, 1990)