应用数学青年讨论班(午餐会)--A Geometric Approach to Decision Problems over the Reals
报告人：陈日增(北京大学)
时间：2025-05-14 11:45-13:00
地点：智华楼四元厅
摘要:
Given a Boolean combination of polynomial equations and inequalities, and assuming further that all variables are quantified by "for all" or "exists", the decision problem over the reals is to decide whether this logic formula is true or not (e.g. every monic real cubic admits a real root). In this talk, we will introduce a new geometric decision algorithm for this problem. The new algorithm is based on rebuilding the foundations of cylindrical algebraic decomposition (the classical algorithm for the same problem) from a geometric aspect. Experimental results have shown that our algorithm outperforms the existing methods.
报告人信息：
陈日增，北京大学数学科学爱游戏官网合作马竞官方应用数学专业2021级博士生，师从夏壁灿教授。研究方向涉及计算代数几何、实代数几何以及可计算性理论之间的领域交叉。曾获北京大爱游戏官网合作马竞官方长奖学金，华罗庚奖学金等荣誉。已有四篇文章被 Math. Comp., J. Symb. Comput., ISSAC 发表或接收。
欢迎大家参与5月14号的午餐会。报告时间是12:00-13:00，午餐于11:45开始提供。请有意参与的老师和同学在5月13日15:00前填写以下问卷 https://www.wjx.cn/vm/YdTt27J.aspx#。
