Wen-tsün Wu


Mechanical
Theorem Proving
in Geometries

Basic Principles



Translated from the Chinese
by Xiaofan Jin and Dongming Wang













Springer-Verlag Wien New York