报告题目： Solving polynomial system with linear univariate representation

报告人： 程进三，中科院数学院系统所

地  点：东区管理科研楼  数学科学学院1208室

时  间：2015年10月30日    上午10:00 -- 11:00

内容提要：

In this talk, we will show an improved local generic position method for isolating the roots of a zero-dimensional bivariate polynomial system with two polynomials and extend the method to general zero-dimensional polynomial systems. The method mainly involves resultant computation and root isolation of univariate polynomial equations. Our implementation considers only real roots. The implementation shows that the method is efficient, especially for bivariate polynomial systems. It is a joint work with Kai Jin.