石赫,中科院数学与系统科学研究院研究员,主要研究方向为数学机械化

第一篇：石赫,中科院数学与系统科学研究院研究员,主要研究方向为数学机械化

石赫，中科院数学与系统科学研究院研究员，主要研究方向为数学机械化。

报告

一、数学机械化

内容简介：

数学机械化，是吴文俊先生开创的研究领域。在机器证明方面，他提出的用计算机证明几何定理的方法，首次实现了高效的几何定理自动证明，显现了无比的优越性。国际上称之为“吴方法”。数学机械化不仅在机器证明、非线性方程组求解方面取得巨大成功，而且已推广到偏微分代数方程组的求解。数学机械化还不断开拓新的应用领域，如控制论、曲面拼接问题、机构设计、化学平衡问题、平面天体运行的中心构形等。吴消元法还被用于若干高科技领域，包括曲面造型、机器人结构的位置分析、计算机辅助设计、信息传输中的图像压缩等。报告

二、几何代数和几何计算

共形几何代数是一个新的几何表示和计算工具，作为几何的高级不变量和协变量系统的结合，它为经典几何提供了统一和简洁的齐性代数框架，以及高效的展开、消元和化简算法，从而可以进行复杂的符号几何计算，在几何建模与计算方面表现出很大的优势。

本次报告概括介绍共形几何代数，主要讲述共形几何代数的产生背景和意义，它的数学理论和计算思想等。

4月24日下午3:006:10几何表示和计算(校庆百场讲座之一)李洪波教授

4月26日上午10:004:30射影和仿射几何的表示和计算李洪波教授

4月26日下午3:004:30运动和形状问题的新刻画李洪波教