Invited Talks

Prof. ShangChing Chou
Wichita State University and Zhejiang University
Issues in Geometry Theorem Proving
The talk discusses many subtle issues in geometry theorem proving. These issues include:
 Irreducibility vs. reducibility. The most visible example is the Thebault theorem proposed in 1938.
 Geometries with real numbers or with complex numbers, i.e., ordered geometries or unordered geometries.
 Nondegenerate conditions in geometric form. For geometry statements of construction type, whether the nondegenerate conditions are those that keep the diagram to be wellconstructed? Even for the Morley trisector theorem, the nondegenerate conditions are still unclear. In particular, what are nondegenerate conditions for the theorem when using algebraic methods that are complete for complex numbers, e.g., the Wu method or the Groebner basis method?
 Algebraic proofs vs synthetic proofs.
 Issues on proofchecking of Hilbert's axioms of geometry.

Prof. Tetsuo Ida
Department of Computer Science, University of Tsukuba, Japan
Models for Computational Origami




