Mechanical theorem proving in geometries basic principles - Wu, Wenjun 1919-2017 (Springer, 1994)
Aus dem Chines. übers.