课程名称：几何定理自动证明和发现
　　英文名称：Automated Theorem Proving and Discovering in Geometry
　　学分学时： 1学分，16学时
　　开课时间、地点： 2005年6月6日― 6月10日，每天下午1:15起，分五次讲座，曹光彪西楼202室
　　主讲教师：Prof. Shang-Ching Chou （美国Wichita State Univeristy）
　　欢迎计算机及软件学院对几何感兴趣的研究生（含博士、硕士）选修，同时该课程列入 “读书报告”计划，研究生可以选择参加。

　　主要内容：
　　1、判定过程和基于一阶逻辑的Godel不完整性定理；
　　2、Tarski类型量词消除过程和几何定理证明的吴方法；
　　3、基于代数方法的几何定理证明和发现；
　　4、基于面积法的几何定义可读性证明自动生成；
　　5、基于全角法的几何定义自动证明；
　　6、一种几何定理自动证明和发现的推理数据库方法。
　　有关材料请查看http://www.cs.wichita.edu/~chou/zju/ ，可供学生下载

　　教师介绍：
　　Shang-Ching Chou，男，1942年12月生，现为美国Wichita State University计算机科学系教授，前系主任。早年追随吴文俊先生从事数学机械化研究，对于吴方法在北美大陆的推广应用做出了开拓性工作。1985年于Texas University, Austin获博士学位。主要研究方向：几何自动推理和符号计算、几何约束求解。1988年出版了关于几何定理机器证明的专著，它已成为这一领域的经典，并发表研究论文八十余篇。自1985年至今，连续18年获得美国国家自然基金NSF资助。

　　　　　　　　　　　　　　　　　　　　　　　　　学院研究生科
　　　　　　　　　　　　　　　　　　　　　　　　　2005.5.31