奇点的快速准确计算是曲线曲面拓扑判定的关键，也是曲线曲面求交算法突破精度和稳定性的关键，因此奇点计算是计算几何最重要的基础问题之一。实现有理曲面奇点的快速稳定计算是计算代数与计算几何交叉领域长期以来的公开问题。近日，数学机械化实验室贾晓红研究员与中国科学技术大学陈发来教授等合作解决了该公开问题，相关工作被计算机图形学顶级期刊ACM Transactions on Graphics发表，并受邀于2023年计算机图形学国际顶级会议ACM Siggraph做全文报告。