吉林大学计算数学系列会议——符号计算

会议形式：网络会议

会议日期：2020年12月2日上午9:00-10:30

加入方式：腾讯会议ID：464 933 296  密码：1202

会议日程：

报告题目: 椭球排列的完全分类及快速判定

报告人：贾晓红 副研究员

（中科院数学与系统科学研究院）

摘要：几何体的排列反映了几何体的位置关系和对空间的划分方式，曲面排列的计算与曲面求交及碰撞检测问题密切相关，并被广泛应用于CAD/CAM、机器人、分子模拟、计算物理、激光手术等领域。椭球是上述应用中形体逼近的常用包围体，我们将给出两椭球的排列在微分同胚意义下的分类、穷举、代数判定条件、符号判定算法，以及在连续运动及变形下椭球排列变化的连通图。并以此探索符号计算在几何形态判定及更广泛的工业环境中的应用。

报告题目: The µ-Basis of Improper Rational Curves

报告人：申立勇 教授

(中国科学学院大学数学科学学院)

摘要:  The µ-basis of a rational curve surface is a new algebraic tool which plays an important role in connecting the rational parametric form and the implicit form of a rational curve surface. However, most results are presented for proper rational parametrizations. In this paper we consider the µ-basis for an improper rational planar curve. Based on the given properties and new results, we design two new proper reparametrization algorithms using mu-basis.