Mechanical Theorem Proving in Geometries
Basic Principles
Translated from the Chinese by Xiaofan Jin and Dongming Wang
Springer-Verlag Wien New York