We added the following geometric constructions and theorems. They are collected under the new title “Origami Geometry.”
Euler line
Simson’ｓ theorem
Nine-point-circle
Meneraus’s Theorem
Ceva’s Theorem
Steiner-Lehmus Theorem
Site for Computational Origami System Eos