A Method for the Mechanical Derivation of Formulas in Elementary Geometry.

Shang-Ching Chou A Method for the Mechanical Derivation of Formulas in Elementary Geometry. 291-299 1987 3 J. Autom. Reasoning 3 db/journals/jar/jar3.html#Chou87