摘要
M.E.Alonso、E.Becker、M.F.Roy和T.W&# 246; rmann公司。 零维系统的零、重数和幂等元。 《代数几何和应用中的算法》，第1-15页。 Birkhauser，1996年。 谷歌学者 
数字图书馆 
D.S.Arnon、G.Collins和S.McCallum。 圆柱代数分解，ii：平面的邻接算法。 SIAM J.关于计算。， 13（4）:878--889，1984年11月。 谷歌学者 数字图书馆 S.Basu、R.Pollack和M.F.Roy。 实代数几何中的算法。 施普林格，柏林，2003年。 谷歌学者 数字图书馆 E.Becker和T.W&# 246; rmann公司。 零维理想的根计算和实根计数。 《模拟中的数学与计算机》，42（4-6）：561-5691996年11月。 谷歌学者 数字图书馆 J.F.坎尼。 pspace中的一些代数和几何计算。 在ACM Symp。 《计算理论》，第460-469页。 SIGACT，1988年。 谷歌学者 数字图书馆 J.S.Cheng、X.S.Gao和C.K.Yap。 零维三角系统实根的完全数值隔离。 符号计算杂志，44（7）：768-7852009年7月。 谷歌学者 数字图书馆 D.I.Diochnos、I.Z.Emiris和E.P.Tsigaridas。 关于实解二元系统的复杂性。 ISSAC 2007，第127-134页。 ACM，2007年。 谷歌学者 数字图书馆 A.Eigenwillig、M.Kerber和N.Wolpert。 实代数平面曲线的快速精确几何分析。 ISSAC 2007，第151-158页。 ACM，2007年。 谷歌学者 数字图书馆 W.富尔顿。 代数几何交集理论导论。 普罗维登斯R.I，华盛顿特区，1984年。 谷歌学者 X.S.Gao和S.C.Chou。 关于预解式理论及其应用。 系统。 科学。 和数学。 科学。， 12:17--30, 1999. 谷歌学者 X.S.Gao和M.Li。实代数曲线的有理二次逼近。 计算机辅助几何设计，21（8）：805--8282004。 谷歌学者 数字图书馆 M.Giusti和J.Heintz。 算法-disons rapides-pour la d&# 232; 组合'une vari&# 232; t&# 233; alg和amp# 233; 复合材料的脆性# 233; ducibles等# 233; quidimensionnelles公司。 在90年MEGA会议上，第169-193页。 Birkh和amp# 228; 用户，1991年。 谷歌学者 L.Gonzalez-Vega和I.Necula。 隐式定义的代数平面曲线的有效拓扑确定。 计算机辅助几何设计，19（9）：719-7432002。 谷歌学者 数字图书馆 H.Hong、M.Shan和Z.Zeng。 求解二元多项式系统的混合方法。 在SRATC 2008中，页码 网址：http://www.is.pku.edu.cn ~xbc/SRATC2008/meijing.pdf。， 2008 谷歌学者 H.Kobayashi、S.Moritsugu和R.W.Hogan。 求解代数方程组。 程序中。 ISSAC 1988，第139-149页。 ACM，1988年。 谷歌学者 数字图书馆 Z.Lu、B.He、Y.Luo和L.Pan。 多项式系统的实根隔离算法。 程序中。 SNC’05，第94-107页，2005年。 谷歌学者 F.鲁利耶。 通过有理单变量表示求解零维系统。 《工程、通信和计算中的应用代数》，9（5）：433-461999年5月。 谷歌学者 B.L.范德华登。 输入（&；E）# 252; 《代数几何中的梯级》，施普林格出版社，柏林，1973年。 谷歌学者 B.Xia和L.Yang。 一种分离半代数系统实解的算法。 符号计算杂志，34（5）：461-4772002。 谷歌学者 数字图书馆 C.K.Yap。 算法代数的基本问题。 牛津出版社，2000年。 谷歌学者 数字图书馆 K.Yokoyama、M.Noro和T.Takeshima。 计算扩展字段的基本元素。 符号计算杂志，8（6）：553-5801989。 谷歌学者 数字图书馆
建议
二元多项式系统的认证数值实根隔离 ISSAC’19：2019年符号和代数计算国际研讨会论文集 本文提出了一种分离二元多项式系统实根的新方法。 我们的方法是一种基于一元多项式实根隔离并分析其局部几何性质的细分方法。。。
