Wu, W. (1994). Mechanical theorem proving in geometries: Basic principles. Springer.
Chicago-Zitierstil (17. Ausg.)Wu, Wenjun. Mechanical Theorem Proving in Geometries: Basic Principles. Wien u.a: Springer, 1994.
MLA-Zitierstil (9. Ausg.)Wu, Wenjun. Mechanical Theorem Proving in Geometries: Basic Principles. Springer, 1994.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.