TY  - BOOK
AU  - Wu, Wen-tsun
AU  - Jin, Xiaofan, tr.
TI  - Mechanical theorem proving in geometries: basic principles
U1  - 516.0015113 
PY  - 1994///
CY  - New York
PB  - Springer-Verlag
N1  - Translated from Chinese by Xiaofan Jin and Dongming Wang
ER  -