Instructor: Zilin Jiang, Neihardt Hall 2214, zj@cmu.edu
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.
Lecture notes:
- Notes for Black Group.
- Notes for Blue Group.
- Notes for Green Group.
- Notes for Red Group.
- Problem set.