Comprehensive Groebner System: Algorithms and Applications
报告人：王定康教授（中科院数学机械化重点实验室）
时间：2021-07-05 10:00-11:00
地点：理科一号楼1303
摘要：We will introduce the definition of comprehensive Groebner System (CGS) and present some efficient algorithms to compute the CGS of a parametric polynomial system.
We will also give some applications using CGS, including solving system of parametric polynomial equations, discovering geometric theorems automatically, performing quantifier elimination over an algebraic closed field and computing greatest common divisors of multivariate polynomials with parameters.
