符号计算与工业软件

I.  CAD工业软件中的几个经典计算几何问题
II. 符号代数计算在计算几何中的应用
 

摘要：计算机辅助设计（CAD）软件是工业软件的最重要门类之一，几何内核是CAD软件中汇聚理论和算法的核心组件。本报告将介绍几何内核中的一系列经典计算几何问题，包括隐式化、曲面求交、奇点计算等。这些问题的解决部分依赖于代数几何理论和符号代数计算。由此，我们将逐一展示符号代数计算在计算几何和工业软件中的应用。

简介：贾晓红，中国科学院数学与系统科学研究院研究员。现任中国数学会理事、中国数学会计算机数学专委会副主任、中国工业与应用数学学会几何设计与计算专委会副主任。主持基金委青年基金A类、B类项目，担任国家重点研发计划项目首席。研究方向为计算几何、符号计算、CAD等。