Tsachouridis，Vassilios A。;乔治·詹塔米迪斯;Stylianos巴萨吉安尼斯;科斯塔斯库拉马斯 Schulz矩阵反演算法的形式化分析：通用矩阵流求解器的计算机辅助验证范例。 （英语） Zbl 1458.65035号 数字。代数控制优化。 177-206年第2期第10期（2020年）.MSC公司：65层10 15A09号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{V.A.Tsachouridis}等人，数字。代数控制优化。10，编号2，177--206（2020；Zbl 1458.65035） 全文： 内政部
奥拉夫·格拉维·伊梅内斯 计算简单模块的衰减时间。 （英语） Zbl 1320.81071号 Makhlouf，Abdenacer（编辑）等人，《代数、几何和数学物理》。AGMP，法国穆卢斯，2011年10月24-26日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-55360-8/hbk；978-3-442-55361-5/电子书）。《Springer Proceedings in Mathematics&Statistics》第85卷第639-650页（2014年）。 审核人：Arvid Siqveland（康斯伯格） MSC公司：第81卷第60页 14A22型 14日第15天 00A79号 PDF格式BibTeX公司 XML格式引用 \textit{O.Gravir Imenes}，施普林格程序。数学。Stat.85，639--650（2014；Zbl 1320.81071） 全文： 内政部
纳伊姆·阿巴斯;奥斯曼·哈桑;索菲涅·塔哈尔 使用定理证明进行寿命可靠性分析的方法。 （英语） 兹比尔1277.68216 J.计算。系统。科学。 80，第2期，323-345（2014）.MSC公司：87年第68季度 68吨15 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Abbasi}等人，J.Compute。系统。科学。80，第2号，323--345（2014；Zbl 1277.68216） 全文： 内政部
保罗·比伦蒂内西;恩里克·金塔纳·奥尔蒂。;范德盖恩（Robert A.van de Geijn）。 用代码表示线性代数算法：FLAME应用程序接口。 （英语） Zbl 1073.65037号 ACM事务处理。数学。柔和。 31，第1期，27-59（2005）.MSC公司：65英尺30英寸 65日元 2005年5月 PDF格式BibTeX公司 XML格式引用 \textit{P.Bientinesi}等人，ACM Trans。数学。柔和。31，第1号，27-59（2005；Zbl 1073.65037） 全文： 内政部
安东尼奥蒂，M。;C.广场。;Policriti，A。;M.西蒙。;米什拉，B。 通过相互模拟和崩溃来控制生化模型的复杂性：理论与实践。 （英语） Zbl 1070.68059号 西奥。计算。科学。 325，第1期，第45-67页（2004年）.MSC公司：65年第68季度 68问题85 92C40型 37N25号 PDF格式BibTeX公司 XML格式引用 \textit｛M.Antoniotti｝等人，Theor。计算。科学。325，编号1，45-67（2004；Zbl 1070.68059） 全文： 内政部