实根分离 meaning in Chinese

real root isolation

In chapter one , based on the characteristic set method , real root isolation algorithm and the evaluation for maximal and minimal polynomials , we propose an algorithm for isolating real roots of multivariafe rational polynomial systems
本文第一章从针对一元有理多项式的行之有效的符号求解算法?实根分离的算法( realroot )着手，讨论了多元有理多项式组的符号求解问题? mrealroot算法[ 14 ] 。
In this paper , based on wu ' s method and the estimation for maximal and minimal polynomials , we extend the real root isolation algorithm from univariant integral polynomial to multivariant integral polynomial systems . it gives the solutions of polynomial systems in the form of multi - dimensional boxes
我们利用吴方法和极大，极小多项式估计，推广多项式实根分离算法( realrootisolation )到多项式组的情形( mrealrootisolation ) ，该算法以空间中的矩形区域形式给出了多项式组的实解