Dolzmann, A., & Sturm, T. (1996). A new approach for automatic theorem proving in real geometry.
Chicago-Zitierstil (17. Ausg.)Dolzmann, Andreas, und Thomas Sturm. A New Approach for Automatic Theorem Proving in Real Geometry. Passau, 1996.
MLA-Zitierstil (9. Ausg.)Dolzmann, Andreas, und Thomas Sturm. A New Approach for Automatic Theorem Proving in Real Geometry. 1996.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.