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.
No references recorded for this publication.
No citations of this publication recorded.