主讲人：陈长波  中国科学院重庆绿色智能技术研究院副研究员

时间：2020年11月17日9：00

地点：腾讯会议 908 168 388

举办单位：数理学院

主讲人介绍：硕士生导师，中国数学会计算机数学专委会委员，中国科学院西部青年学者。长期致力于多项式系统理论、算法、软件开发和应用的研究，先后主持国家自然科学基金青年项目、面上项目。迄今为止在PRA、JSC、CAGD等国际期刊和ISSAC、CASC等国际会议发表学术论文40余篇。作为主要负责人之一开发的RegularChains软件曾获ACM-SIGSAM颁发的杰出软件演示奖，开发的计算实代数几何算法柱形代数分解和实量词消去被集成进世界三大数学软件之一Maple的最新版本Maple 2020中。

内容介绍：In this talk, I will present some useful tools for solving exactly polynomial  systems in the computer algebra system Maple. In particular, this talk will  cover the commands implementing several main symbolic approaches for solving  polynomial systems, namely triangular decompositions, Groebner bases, real root  isolation, as well as cylindrical algebraic decompositions and real quantifier  eliminations.