黄成超；徐明；李志斌 多权力约束的冲突驱动解决程序。 （英语） Zbl 1468.68202号 J.汽车。推理 64，第1号，1-20（2020）.MSC公司：68T20型 68T05型 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{C.-C.Huang}等人，J.Autom。推理64，No.1，1--20（2020；Zbl 1468.68202） 全文： 内政部
戴丽云；范哲；夏碧灿；张汉文 Logcf：用于真正的根隔离的有效工具。 （英语） Zbl 1494.68310号 J.系统。科学。复杂。 32，第6期，1767-1782（2019）.MSC公司：68瓦30 2005年12月 PDF格式BibTeX公司 XML格式引用 \textit{L.Dai}等人，J.Syst。科学。复杂。32，第6号，1767--1782（2019年；Zbl 1494.68310） 全文： 内政部 arXiv公司
亚西内·布齐迪；阿尔班Quadrat；法布里斯·鲁利耶 离散多维系统结构稳定性的认证非保守测试。 （英语） Zbl 1430.93179号 多维系统。信号处理。 第3期第30期，1205-1235页（2019年）.MSC公司：93D25号 93B25型 93立方35 第13页第15页 65H10型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Bouzidi}等人，《多维系统》。信号处理。30，第3号，1205--1235（2019；Zbl 1430.93179） 全文： 内政部 哈尔
西蒙·纳尔迪 用精确算法求解秩约束半定规划。 （英语） Zbl 1380.90212号 J.塞姆。计算。 85, 206-223 (2018).MSC公司：90C22型 PDF格式BibTeX公司 XML格式引用 \textit{S.Naldi}，J.Symb。计算。85、206-223（2018；Zbl 1380.90212） 全文： 内政部
Henrion，Didier迪迪埃；西蒙·纳尔迪；Mohab Safey El Din 线性矩阵不等式的精确算法。 （英语） Zbl 1356.90102号 SIAM J.Optim公司。 26，第4期，2512-2539（2016）.MSC公司：90C22型 68瓦30 第14季度20 PDF格式BibTeX公司 XML格式引用 \textit{D.Henrion}等人，SIAM J.Optim。26，第4号，2512--2539（2016；Zbl 1356.90102） 全文： 内政部 arXiv公司
科塞勒夫，P.-V。；D.佩克。；F.鲁利耶。 第一个理性的切比雪夫结。 （英语） Zbl 1202.57007号 J.塞姆。计算。 45，第12期，1341-1358（2010）.MSC公司：57平方米 PDF格式BibTeX公司 XML格式引用 \textit{P.V.Koseloff}等人，J.Symb。计算。45，第12号，1341--1358（2010；Zbl 1202.57007） 全文： 内政部 arXiv公司
托马斯·克鲁索；伊芙琳·休伯特 计算正则微分理想预解表示的概率算法。 （英语） Zbl 1192.12005年 申请。代数工程通讯。计算。 19，第5号，365-392（2008）.MSC公司：05年12月12日 68宽10 68瓦30 12-04 PDF格式BibTeX公司 XML格式引用 \textit｛T.Cluzeau｝和\textit｛E.Hubert｝，应用。代数工程通讯。计算。19，第5号，365-392（2008；Zbl 1192.12005） 全文： 内政部 链接
穆罕默德·埃尔卡迪；伯纳德·穆兰 多项式系统解的介绍。（引言a résolution des systèmes polynomiaux） （法语） Zbl 1127.13001号 数学与应用（柏林）59.柏林：施普林格出版社（ISBN 978-3-540-71646-4/pbk）。305页。(2007). 审核人：彼得·申泽尔（哈雷） MSC公司：13-01 13页第10页 第14季度20 2015财年65 08-01 14-01 68-01 PDF格式BibTeX公司 XML格式引用 \textit{M.Elkadi}和\textit{B.Mourrain}，《多项式系统解决方案简介》。柏林：施普林格出版社（2007；Zbl 1127.13001） 全文： 内政部
法布里西奥·卡鲁索 SARAG库：实代数几何中的一些算法。 （英语） Zbl 1230.14002号 Iglesias、Andrés（编辑）等人，《数学软件——ICMS 2006》。第二届数学软件国际会议，卡斯特罗·乌迪亚莱斯，西班牙，2006年9月1日至3日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-38084-9/pbk）。计算机科学讲稿4151122-131（2006）。MSC公司：14-04 第14页99 68瓦30 68-04 12-04 PDF格式BibTeX公司 XML格式引用 \textit{F.Caruso}，莱克特。票据计算。科学。4151122-131（2006年；Zbl 1230.14002） 全文： 内政部
艾丽西娅·迪肯斯坦（编辑）；埃米利斯，Ioannis Z。（编辑） 求解多项式方程。基础、算法和应用。 （英语） Zbl 1061.12001号 数学中的算法和计算14.柏林：施普林格（ISBN 3-540-24326-7/hbk）。xiii，第425页。(2005).MSC公司：2006年12月 2014年第二季度 13-06 14-06 68-06 00B15号机组 2005年12月 第13页 68瓦30 10楼12号 PDF格式BibTeX公司 XML格式引用 \textit{A.Dickenstein}（编辑）和\textit{I.Z.Emiris}（编者），求解多项式方程。基础、算法和应用程序。柏林：施普林格出版社（2005；Zbl 1061.12001） 全文： 内政部
埃米利斯，Ioannis Z。；Victor Y·潘。 计算行列式和结果的改进算法。 （英语） Zbl 1101.68981号 J.复杂性 21，第1号，43-71（2005）.MSC公司：68瓦20 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{I.Z.Emiris}和\textit{V.Y.Pan}，《复杂性杂志》21，第1期，第43-71页（2005；Zbl 1101.68981） 全文： 内政部 反向链接： 卫生官员