题目: 几何专家软件及其在中学几何教学中的应用
　　主讲人: Chang-Ching Chou教授（美国Wichita 州立大学）
　　时间：2005年6月10日星期五下午4：00
　　地点：浙大玉泉校区曹光彪西楼202室

Abstract：
　　自从世界著名的科学家吴文俊1977年的开创性工作以来，世界各地的研究人员已经在几何定理证明领域里面取得了卓越的成果。基于吴氏算法的计算机程序已经自动证明了成百上千个难的几何定理，例如费而巴赫定理，莫莱三分线定理，等等，而这些定理通常是需要人的高度智慧来解决的。
　　几何专家软件最初是在1994-95是由周咸青，高小山，张景中共同开发完成的。主要作者是高小山。 这个软件由两部分组成：证明及推理部分和作图部分。
　　这次Java版的几何专家软件是完全重新设计，开发的。它的重点在于让高中师生很容易用规尺作出复杂的几何图形，当然，它的核心还是我们在几何证明和推理领域的研究成果。这个研究计划开始于2004年11月份，打算于2006年公开发布我们的1.0正式版。
　　这次报告我们用的是几何专家Java初始版。我们将用它演示如何自动证明定理以及如何用规尺手动解决作图问题。（例如作一个等边三角形使它的三个顶点在已知的三条平行线上）。
　　这个报告主要面向学生和几何教师及教授。 然而，在人工智能和定理证明领域的研究人员也可以从中获益。
　　我们希望通过这个报告，有更多的人能踊跃参加这个开发计划。

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


　　　　　　　　　　　　　　　　　　　　　　　　计算机学院
　　　　　　　　　　　　　　　　　　　　　　　　2005年6月8日