
计算几何与符号计算
发文时间:2025-04-02
Speaker(s):贾晓红(中国科学院数学与系统科学研究院)
Time:2025-04-02 15:00-18:00
Venue:二教406
I. 计算几何的前世今生——数字化设计与制造中的数学
II. 计算几何的几个经典问题和符号计算方法的运用
摘要:
计算几何诞生于上世纪六七十年代,伴随着汽车、飞机和造船工业的兴起而得到发展,深度融合于工业设计与制造、计算机图形学、计算机视觉、机器人学等领域。本次课程将讲述计算几何中的部分基础概念和发展由来,通过数字化设计与制造中涉及的关键计算几何问题——曲面求交、碰撞检测、拓扑判定、表示转换等,展示计算几何中的符号计算理论和方法。
简介:
贾晓红,中国科学院数学与系统科学研究院研究员,博士生导师。研究方向为计算几何、符号计算、计算代数几何等。担任中国数学会理事、中国工业与应用数学学会几何设计与计算专委会副主任、中国数学会计算机数学专委会副主任。曾获2017年中国几何设计与计算青年学者奖、2020年CSIAM应用数学青年科技奖等。曾主持基金委优青项目、主持国家重点研发计划项目、国家重点研发计划青年科学家项目、基金委重大项目课题等。