Tetsuo Ida
Professor
University of Tsukuba
Address:
Department of Computer Science
University of Tsukuba
Tsukuba 305-8573, Japan
经由软件学院邀请，日本筑波大学的井田（Tetsuo Ida）教授将于（12月7日）上午（10:30－12:00）在海韵A304会议室举办讲座《Computational Origami of a Maximum Equilateral Triangle Inscribed in an Origami》。此次讲座主要面向软件学院的研究生及教师，也欢迎其他相关院系的师生参加。
We show the origami construction of a maximum equilateral triangle inscribed in a square origami, and the automated proof of the correctness of the construction. This simple example is an illustration of the features of the computational origami system called Eos (E-origami system).
In the construction we apply the techniques of geometrical constraint solving provided in Eos, and in the automated proof we apply Groener Bases method and the Cylindrical Algebraic Decomposition method. The cylindrical algebraic decomposition method is indispensable for automated proof of the maximality since the specification of the maximality requires the notion of inequalities.
筑波大学简介：http://edu.sina.com.cn/a/college/tsukuba-jp.html