弗朗索瓦·布利埃;陈昌波;弗朗索瓦·莱梅尔;马克·莫雷诺（Marc Moreno Maza） 正则链的实际根隔离。 （英语） Zbl 1336.65079号 冯汝勇（编辑）等，《计算机数学》。2009年12月14日至17日在日本福冈举行的第九届亚洲研讨会，2012年10月26日至28日在中国北京举行的2012年亚洲研讨会。发表论文并邀请演讲。柏林：施普林格出版社（ISBN 978-3-662-43798-8/hbk；978-3-762-43799-5/电子书）。33-48 (2014). 摘要：我们提出了一种算法RealRootIsolate（实根隔离）用于分离由零维无平方正则链给出的多项式系统的实根。该算法的输出在所有实根都已获得并且由任意精度的方框描述的意义上得到了保证。实根是用混合表示法编码的，它结合了符号对象，即正则链和由区间给出的数值近似。对于正则链，我们的算法是对G.E.柯林斯和A.G.Akritas公司[“使用笛卡尔符号规则的多项式实根隔离”，ISSAC第76、272–275号公报（1976年）]。我们已实施RealRoot隔离作为模块的命令半代数集合工具的正则链中的库枫树。报告基准。关于整个系列，请参见[Zbl 1309.68008号]. 引用于5文件 MSC公司： 65小时04 多项式方程根的数值计算 65H10型 方程组解的数值计算 68瓦30 符号计算和代数计算 关键词：数值示例;算法RealRootIsolate（实根隔离）;实根;多项式系统;零维无平方正则链 软件：正则链;枫树;隔离 PDF格式BibTeX公司 XML格式引用 \textit{F.Boulier}等人，《计算机数学》。2009年12月14日至17日在日本福冈举行的第九届亚洲研讨会，2012年10月26日至28日在中国北京举行的2012年亚洲研讨会。发表论文并邀请演讲。柏林：斯普林格。33-48（2014年；Zbl 1336.65079） 全文： DOI程序 参考文献： 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。