Tsachouridis，瓦西里奥斯A。;乔治·詹塔米迪斯;Stylianos巴萨吉安尼斯;科斯塔斯库拉马斯 Schulz矩阵反演算法的形式化分析：通用矩阵流求解器的计算机辅助验证范例。 （英语） Zbl 1458.65035号 数字。代数控制优化。 177-206年第2期第10期（2020年）.MSC公司：65层10 15A09号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.A.Tsachouridis}等人，数字。代数控制优化。10，编号2，177--206（2020；Zbl 1458.65035） 全文： 内政部
杨宇坤;吴勇;瞿一志;王建国;Janev，R.K。;张松斌 在复动量面上使用轮廓变形方法进行共振研究。 （英语） Zbl 1476.81162号 物理学。莱特。，A类 383，第16期，1929-1936（2019）.MSC公司：81V45型 81V55型 14日第15天 2005年第81季度 81U24岁 30E10型 PDF格式BibTeX公司 XML格式引用 \textit{Y.K.Yang}等人，《物理学》。莱特。，A 383，第16号，1929年--1936年（2019年；Zbl 1476.81162） 全文： 内政部
保罗·比伦蒂内西;恩里克·金塔纳·奥尔蒂。;范德盖恩（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） 全文： 内政部
霍利斯·霍克布鲁克 非Hermitian Toeplitz系统的look-ahead Levinson和Schur算法的数值比较。 （英语） Zbl 0932.65026号 Arbenz，Peter（编辑）等人，《结构化矩阵问题的高性能算法》。纽约州康马克：Nova Science Publishers。计算理论和计算数学高级。2, 127-148 (1998).MSC公司：65平方英尺 41A21号机组 PDF格式BibTeX公司 XML格式引用 \textit{M.Hochbruck}，in：结构化矩阵问题的高性能算法。纽约州康马克：Nova Science Publishers。127--148（1998；Zbl 0932.65026）