杨正峰;赵汉瑞;志、李红 VerifyRealRoots：一个Matlab包，用于计算多项式方程组和不等式组的验证实解。 （英语） Zbl 07741549号 J.系统。科学。复杂。 36，编号2，866-883（2023）.MSC公司：65-XX岁 PDF格式BibTeX公司 XML格式引用 \textit｛Z.Yang｝等人，J.Syst。科学。复杂。36，编号2，866--883（2023；Zbl 07741549） 全文： 内政部
Angelos Mantzaflaris公司;伯纳德·穆兰;阿格尼斯·萨托 孤立奇异根的一种经证明的迭代方法。 （英语） Zbl 1514.13029号 J.塞姆。计算。 115, 223-247 (2023). 审核人：Nelly Villamizar（斯旺西） MSC公司：第13页，共15页 65H10型 68瓦01 PDF格式BibTeX公司 XML格式引用 \textit{A.Mantzaflaris}等人，J.Symb。计算。115、223--247（2023年；Zbl 1514.13029） 全文： 内政部
维舍尔德，简;基拉什·维斯瓦纳坦 在多项式同伦中定位最近的奇点。 （英语） Zbl 1507.14084号 Boulier，François（编辑）等人，《科学计算中的计算机代数》。第24届国际研讨会，2022年8月22日至26日，土耳其格布泽，CASC 2022。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13366, 333-352 (2022).MSC公司：2016年第14季度 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{J.Verschelde}和\textit{K.Viswanathan}，莱克特。注释计算。科学。13366、333--352（2022；Zbl 1507.14084） 全文： 内政部 arXiv公司
迈克尔·伯尔;安东·莱金 解析函数系统条件较差零点的膨胀。 （英语） Zbl 1530.32007年 阿诺德数学。J。 7，第3号，431-440（2021年）.MSC公司：32A60型 65小时05 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{M.Burr}和\textit{A.Leykin}，阿诺德数学。J.7，No.3，431--440（2021；Zbl 1530.32007） 全文： 内政部 arXiv公司
马可·兰格;齐格弗里德·M·臀部。 通过推广Wedin（sin（θ）定理，验证了指定秩亏的最近矩阵的包含。 （英语） Zbl 1470.65088号 比特币 61，编号1361-380（2021）.MSC公司：65层99 15A03号 PDF格式BibTeX公司 XML格式引用 \textit{M.Lange}和\textit{S.M.Rump}，BIT 61，No.1，361--380（2021；Zbl 1470.65088） 全文： 内政部
马克·朱斯蒂;Jean-Claude Yakoubsohn 分析系统多个孤立根的数值逼近。（分析系统的近似数值。） （法语。英文摘要） Zbl 1453.65107号 安·亨利·勒贝格 3, 901-957 (2020).MSC公司：65H10型 65年20月 65年第68季度 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{M.Giusti}和\textit{J.-C.Yakoubsohn}，Ann.Henri Lebesgue 3，901--957（2020；Zbl 1453.65107） 全文： 内政部 arXiv公司
程金珊;窦小杰;温俊毅 一种新的校验多项式系统孤立奇异零点的压缩方法。 （英语） Zbl 1434.65074号 J.计算。申请。数学。 376，文章ID 112825，21 p.（2020）.MSC公司：65H10型 PDF格式BibTeX公司 XML格式引用 \textit{J.-S.Cheng}等人，J.Compute。申请。数学。376，文章ID 112825，第21页（2020；Zbl 1434.65074） 全文： 内政部 arXiv公司
郝志伟;蒋文荣;李楠;志、李红 多项式系统的简单多零点和零点簇的隔离。 （英语） Zbl 07146720号 数学。计算。 89，No.322，879-909（2020）.MSC公司：65H10型 74G35型 68瓦30 32-04 32S99型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Hao}等人，数学。计算。89，编号322，879--909（2020；Zbl 07146720） 全文： 内政部
侯国良;张树功 一种改进的基于Krawczyk算子的非线性方程组验证算法。 （英语） Zbl 1416.65143号 J.计算。申请。数学。 359, 145-152 (2019).MSC公司：65H10型 65G20个 PDF格式BibTeX公司 XML格式引用 \textit{G.Hou}和\textit{S.Zhang}，J.Compute。申请。数学。359145-152（2019年；Zbl 1416.65143） 全文： 内政部
窦小杰;程金珊 证明多项式系统孤立零点的一种启发式方法。 （英语） Zbl 1405.65073号 数学 6，第9号，第166号论文，18页（2018年）. 审核人：尼古拉·基尔科奇耶夫（普洛夫迪夫） MSC公司：65H10型 PDF格式BibTeX公司 XML格式引用 \textit{X.Dou~}和\textit{J.-S.Cheng~}，数学6，第9期，论文编号166，18页（2018；Zbl 1405.65073） 全文： 内政部
阿伊尔迪兹·阿科格鲁，图莱;乔纳森·霍恩斯坦。;阿格尼斯·萨托 （mathbb{Q}）上超定和奇异多项式系统解的证明。 （英语） 兹比尔1415.65121 J.塞姆。计算。 84, 147-171 (2018).MSC公司：65小时99 第12天第10天 PDF格式BibTeX公司 XML格式引用 \textit{T.Ayyildiz Akoglu}等人，J.Symb。计算。84、147——171（2018；Zbl 1415.65121） 全文： 内政部 arXiv公司
乔纳森·霍恩斯坦。;伯纳德·穆兰;阿格尼斯·萨托 通货紧缩与多元化结构。 （英语） Zbl 1387.13063号 J.塞姆。计算。 83, 228-253 (2017). 审核人：阿米尔·哈希米（伊斯法罕） MSC公司：第13页，共15页 68瓦30 2014年第20季度 2004年6月65日 PDF格式BibTeX公司 XML格式引用 \textit{J.D.Hauenstein}等人，J.Symb。计算。83、228--253（2017年；Zbl 1387.13063） 全文： 内政部 arXiv公司
Angelos Mantzaflaris公司;哈米德·拉科伊;Zafeirakopoulos、Zafeilakis 有效计算孤立点的对偶空间和方向多重性。 （英语） Zbl 1418.65025号 计算。辅助Geom。设计。 47, 114-129 (2016).MSC公司：65D17号 68瓦30 2005年第14季度 PDF格式BibTeX公司 XML格式引用 \textit｛A.Mantzafaris｝等人，计算机。辅助Geom。设计。47、114--129（2016；Zbl 1418.65025） 全文： 内政部 哈尔
李哲;桑海峰 验证了非线性系统奇异解的误差界。 （英语） Zbl 1328.65121号 数字。算法 70，第2期，309-331（2015）. 审核人：安东·伊利耶夫（普罗夫迪夫） MSC公司：65H10型 13第05页 11A05号 PDF格式BibTeX公司 XML格式引用 \textit{Z.Li}和\textit{H.Sang}，数字。算法70，No.2，309--331（2015；Zbl 1328.65121） 全文： 内政部