Apel, Susanne, and Jürgen Richter-Gebert. 2010. “Cancellation Patterns in Automatic Geometric Theorem Proving.” In Automated Deduction in Geometry.
Bobenko, Alexander I. 2020. “Projective Geometry Notes: Winter Semester 2016.” TU Berlin.
Coxeter, H. S. M., and S. L. Greitzer. 1967. Geometry Revisited. 1st ed. Vol. 19. Mathematical Association of America.
Crapo, H., and Jürgen Richter-Gebert. 1995. “Automatic Proving of Geometric Theorems.” In. Springer, Dordrecht.
Richter-Gebert, Jürgen. 1993. “Mechanical Theorem Proving in Projective Geometry.” SC-93-05. Takustr. 7, 14195 Berlin: ZIB.
———. 2006. “Meditations on Ceva’s Theorem.” In The Coxeter Legacy: Reflections and Projections (Eds. Chandler Davis & Eric Ellers, American Mathematical Society, Fields Institute).
———. 2011. Perspectives on Projective Geometry: A Guided Tour Through Real and Complex Geometry. 1st ed. Springer Publishing Company, Incorporated.