Details:
Title  A generic position based method for real root isolation of zerodimensional polynomial systems  Author(s)  JinSan Cheng, Kai Jin  Type  Article in Journal  Abstract  Abstract We improve the local generic position method for isolating the real roots of a zerodimensional bivariate polynomial system with two polynomials and extend the method to general zerodimensional polynomial systems. The method mainly involves resultant computation and real root isolation of univariate polynomial equations. The roots of the system have a linear univariate representation. The complexity of the method is O ˜ B ( N 10 ) for the bivariate case, where N = max ⁡(d,τ), d resp., τ is an upper bound on the degree, resp., the maximal coefficient bitsize of the input polynomials. The algorithm is certified with probability 1 in the multivariate case. The implementation shows that the method is efficient, especially for bivariate polynomial systems.  Keywords  Polynomial systems, Real root isolation, Linear univariate representation, Generic position  ISSN  07477171 
URL 
http://www.sciencedirect.com/science/article/pii/S0747717114000856 
Language  English  Journal  Journal of Symbolic Computation  Volume  68, Part 1  Number  0  Pages  204  224  Year  2015  Edition  0  Translation 
No  Refereed 
No 
