Math Honors Undergraduate Research Presentation: Geneva Collins, Erin Beaton, Natalie Cody and Ethan Dudley, NC State
Geneva Collins Title : Automatic Geometric Theorem Proving: Sangaku From an Algebraic PerspectiveAbstract: During the Edo period (1603-1867 CE) Japan was almost completely closed off from the rest of the world and developed its own mathematical tradition called wasan. Part of this tradition was to hang tablets, known as sangaku, in the eaves of a…