多项式系统求解及应用
数学专题报告
报告题目(Title)：多项式系统求解及应用
报告人(Speaker)：陈长波 研究员(中科院 重庆绿色智能技术研究院)
地点(Place)：后主楼1223; 腾讯会议ID: 382-358-4627, 密码:666888
时间(Time)：2023年4月6日(周四), 9:30-10:15
邀请人(Inviter)：郭来刚
报告摘要
In this talk, I will briefly present an overview of polynomial system solving, with the focus on approaches for computing exactly the real and complex solutions of polynomial systems. In particular, this talk will cover several main symbolic approaches for solving polynomial systems and their implementations in the computer algebra system Maple, namely triangular decompositions, Groebner bases, real root isolation, as well as cylindrical algebraic decompositions and real quantifier eliminations. Some simple applications on hybrid system verification, automatic parallelization of loops and quantum correlation detection are also presented.
主讲人简介
陈长波，中国科学院重庆绿色智能技术研究院研究员，中国数学会计算机数学专委会委员，重庆英才青年拔尖人才。曾获中国科学院西部青年学者项目资助，多次担任ISSAC、CASC、ICMS等国际会议的程序委员会委员及德国、奥地利、加拿大等国的自然科学基金评审专家。目前主要研究兴趣包括计算机代数、高性能计算和应用机器学习。长期致力于多项式系统理论、算法、软件开发和应用的研究，在SIAM-ADS、JSC、CAGD、QST、PRA、ISSAC等期刊或会议发表论文50余篇，作为主要负责人之一开发的RegularChains软件包曾获ACM-SIGSAM颁发的杰出软件演示奖，开发的柱形代数分解和实量词消去模块集成进世界知名数学软件Maple的2020发行版中。
