MOSP 2015

Instructor: Zilin Jiang, Wean Hall 7213, [email protected]

Reference:

• Roger A. Johnson, Advanced Euclidean Geometry, Dover Publications.
• Zhang, Jing-Zhong, Shang-Ching Chou, and Xiao-Shan Gao. “Automated production of traditional proofs for theorems in Euclidean geometry I. The Hilbert intersection point theorems.” Annals of Mathematics and Artificial Intelligence 13.1-2 (1995): 109-137.
• Coxeter, Harold Scott Macdonald. Non-euclidean geometry. Cambridge University Press, 1998.
• Santaló, Luis A. Integral geometry and geometric probability. Cambridge University Press, 2004.

Lecture notes:

• Notes for Black Group.
• Notes for Blue Group.
• Notes for Red Group.