References

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. http://www.jstor.org/stable/10.4169/j.ctt19b9k65.

Crapo, H., and Jürgen Richter-Gebert. 1995. “Automatic Proving of Geometric Theorems.” In. Springer, Dordrecht. https://doi.org/10.1007/978-94-015-8402-9_8.

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.