【报告摘要】多项式方程组的实根隔离在科学计算和工程应用中占有重要的地位。本报告将介绍多项式方程组求解的一些经典方法。同时结合报告人自己的研究工作介绍一些新的方程组求解的新方法。

【报告人简介】程进三，中国科学院数学与系统科学研究院系统科学研究所副研究员，博士生导师。研究方向为符号计算，计算代数几何，计算机辅助设计（CAD）。主要从事曲线曲面的拓扑结构计算和逼近，方程组的实根求解。2000年，2003年分别获得吉林大学计算数学本科和硕士学位，2006年于中国科学院数学与系统科学研究院获应用数学博士学位:2006-2007年在中国科学院数学与系统科学研究院做博士后，2007-2009年在法国INRIA做博士后。首次提出解决参数曲面交线保拓扑逼近的算法，并被Siggraph接收(并录入ACM TOG)。申请曲面求交相关专利多项，作为项目负责人以高分获得华为首批公开难题《面向中望龙腾几何建模引擎的NURBS曲面自交检测的新场景新技术攻关项目》。