摘要：几何体的排列反映了几何体的位置关系和对空间的划分方式，广泛应用于CAD/CAM、机器人、分子模拟、计算物理、激光手术等领域。椭球是这些环境中用于形体逼近的理想包围体，我们将给出两椭球的排列在微分同胚意义下的分类、穷举、代数判定条件、符号判定算法，以及在连续运动及变形下椭球排列变化的连通图；并以此探索符号计算在几何形态判定及更广泛的工业环境中的应用。
 
报告人简介：贾晓红，中科院数学与系统科学研究院副研究员，主要研究方向为计算代数几何与计算机辅助几何设计。