标题
利用数值洞察力改进符号计算
摘要：
数值代数几何为在代数几何中进行计算提供了一个数值方法工具箱。即使使用浮点运算在计算机上执行的许多计算没有经过验证，但使用自适应精度计算通常可以非常可靠地进行。此外，有大量关于原始问题的信息，可以从各种数值计算中提取出来，用于改进后续的符号计算，以验证结果。这篇演讲将重点介绍代数几何中这种混合数字符号方法最近取得的一些成功。
简短简历：
乔纳森·豪恩斯坦（Jonathan Hauenstein），圣母大学应用与计算数学与统计系副教授兼副主席，是一位专门研究数值求解非线性方程的计算数学家。他于2009年获得圣母大学数学博士学位，并于2014年加入圣母大学，此前曾在菲尔德学院、米塔格-莱弗勒学院、德克萨斯农工大学和北卡罗来纳州立大学任职。他获得了各种奖项，包括DARPA青年教师奖、斯隆奖学金、陆军研究办公室青年研究员计划奖、海军研究办公室青年研究人员奖以及国家科学基金会的研究支持。