×
乔纳森·霍恩斯坦。；弗兰克·索蒂尔

算法921:alphaCertified：证明多项式系统的解决方案。 （英语） Zbl 1365.65148号

ACM事务处理。数学。柔和。 第38号第4条第28条第20页（2012年）.

引用于1审查
引用于54文件

MSC公司：

65H10型 方程组解的数值计算
65G20个 具有自动结果验证的算法

关键词：

经认证的解决方案；阿尔法理论；数值代数几何；多项式系统

软件：

阿尔法认证
PDF格式BibTeX公司 XML格式引用
\textit{J.D.Hauenstein}和\textit{F.Sottile}，ACM Trans。数学。柔和。38，第4号，第28条，20页（2012年；Zbl 1365.65148）
全文： DOI程序 arXiv公司