保罗·比伦蒂内西;约翰·甘纳尔斯（John A.Gunnels）。;玛格丽特·迈尔斯。;恩里克·金塔纳·奥尔蒂。;泰勒·罗兹;范德盖恩（Robert A.van de Geijn）。;范泽·菲尔德·G。 导出稠密线性代数库。 （英语） Zbl 1298.65003号 正式Asp。计算。 25，第6期，933-945（2013）. 引用于1文件 MSC公司： 65-04 与数值分析有关的问题的软件、源代码等 65传真 数值线性代数 15-04 线性代数相关问题的软件、源代码等 关键词：形式推导;线性代数库;科学计算 软件：cl1ck公司;Matlab公司;BLAS公司;利比亚火焰;火焰;LAPACK公司 PDF格式BibTeX公司 XML格式引用 \textit{P.Bientinesi}等人，正式Asp。计算。25，第6号，933--945（2013；Zbl 1298.65003） 全文： 内政部 链接 参考文献： [1] Anderson E、Bai Z、Bischof C、Blackford LS、Demmel J、Dongarra JJ、Du Croz J、Hammarling S、Greenbaum A、McKenney A、Sorensen D（1999）《LAPACK用户指南》，第三版。费城SIAM·Zbl 0934.65030号 ·数字对象标识代码：10.1137/1.9780898719604 [2] Bientinesi P，Gunter B，Vande Geijn RA（2008）与对称正定矩阵求逆相关的算法系列。ACM Trans Math Softw 35（1）：1-22·数字对象标识代码：10.1145/1377603.1377606 [3] Bientinesi P、Gunnels JA、Myers ME、Quintana-OrtíES、van de Geijn RA（2005）《推导密集线性代数算法的科学》。ACM Trans数学软件31（1）：1-26·Zbl 1073.65036号 ·数字对象标识代码：10.1145/1055531.1055532 [4] Bientinesi P（2005）正确线性代数算法的机械推导和系统分析。德克萨斯大学计算机科学系博士论文。技术报告TR-06-46 [5] Bientinesi P，Quintana-OrtíES，van de Geijn RA（2005）《用代码表示线性代数算法：FLAME应用程序编程接口》。ACM Trans数学软件31（1）：27-59·Zbl 1073.65037号 ·数字对象标识代码：10.1145/1055531.1055533 [6] Bientinesi P，van de Geijn RA（2011）目标导向和模块化稳定性分析。SIAM J矩阵分析应用32（1）：286-308·Zbl 1218.65030号 ·数字对象标识代码：10.1137/080741057 [7] Dongarra JJ，Du Croz J，Hammarling S，Duff I（1990）一组三级基本线性代数子程序。ACM跨数学软件16（1）:1-17·Zbl 0900.65115号 ·数字对象标识代码：10.1145/77626.79170 [8] Dongarra JJ，Du Croz J，Hammarling S，Hanson RJ（1988）FORTRAN基本线性代数子程序的扩展集。ACM Trans数学软件14（1）：1-17·Zbl 0639.65016号 ·数字对象标识代码：10.1145/42288.42291 [9] Dijkstra EW（1968）解决程序正确性问题的建设性方法。位8:174-186·Zbl 0167.46002号 ·doi:10.1007/BF01933419 [10] Dijkstra EW（1976）编程学科。普伦蒂斯·霍尔·Zbl 0368.68005号 [11] Eijkhout V，Bientinesi P，van de Geijn R（2010）朝向Krylov解算器库的机械推导。Procedia Compute Sci 1（1）：1799-1807 ICCS 2010会议记录·doi:10.1016/j.procs.2010.04.202 [12] Fabregat-Traver D，Bientinesi P（2011），矩阵运算环变量的自动生成。收录：第11届国际计算科学及其应用会议记录（待发表）。还有TR AICES-2010/02-1，AICES，亚琛RWTH·Zbl 1344.68298号 [13] Fabregat-Traver D，Bientinesi P（2011）基于知识的分区矩阵表达式自动生成。摘自：第13届科学计算中的计算机代数国际研讨会论文集（待发表）。还有TR AICES-2010/01-3，AICES，亚琛RWTH·Zbl 1344.68298号 [14] Gunnels JA，Gustavson FG，Henry GM，van de Geijn RA（2001）FLAME:形式线性代数方法环境。ACM Trans数学软件27（4）：422-455·Zbl 1070.65522号 ·数字对象标识代码：10.1145/504210.504213 [15] Gries D（1981）编程科学。纽约州施普林格·Zbl 0472.68003号 ·doi:10.1007/978-1-4612-5983-1 [16] Gunnels JA（2001）设计和分析并行密集线性代数算法的系统方法。德克萨斯大学计算机科学系博士论文·Zbl 0639.65016号 [17] 炮兵，JA；Geijn，RA；Boisvert，RF（编辑）；Tang，PTP（编辑），高性能线性代数库的形式化方法，193-210（2001），Dordrecht·数字对象标识代码：10.1007/978-0-387-35407-1_12 [18] Goto K，van de Geijn R（2008）三级BLAS的高性能实施。ACM Trans数学软件35（1）：1-14·数字对象标识代码：10.1145/1377603.1377607 [19] Goto K，van de Geijn RA（2008）高性能矩阵乘法剖析。ACM Trans数学软件34（3）：1-25·Zbl 1190.65064号 ·数字对象标识代码：10.1145/1356052.1356053 [20] Hoare CAR（1969）计算机编程的公理基础。社区ACM 12:576-580·Zbl 0179.23105号 ·电话：10.1145/363235.363259 [21] Khalil HK（2002）非线性系统，第3版。纽约州上鞍河普伦蒂斯·霍尔·Zbl 1003.34002号 [22] Lawson CL、Hanson RJ、Kincaid DR、Krogh FT（1979）Fortran使用的基本线性代数子程序。ACM Trans数学软件5（3）：308-323·Zbl 0412.65022号 ·数字对象标识代码：10.1145/355841.355847 [23] Moler C、Little J、Bangert S（1987）《Pro-Matlab用户指南》。Mathworks公司。 [24] Poulson J，van de Geijn R，Bennighof J（2011）简化广义厄米特定特征值问题的并行算法。FLAME工作说明#56。德克萨斯大学奥斯汀分校计算机科学系。技术报告TR-11-05·Zbl 1190.65064号 [25] Quintana-OrtíES，van de Geijn RA（2003）算法的形式推导：三角Sylvester方程。ACM Trans数学软件29（2）：218-243·Zbl 1072.65064号 ·doi:10.1145/779359.7793365 [26] van de Geijn RA，Quintana-OrtíES（2008），编程矩阵计算科学。http://www.lulu.com/content/1911788 ·Zbl 1190.65064号 [27] Van Zee FG、Chan E、Van de Geijn R、Quintana-OrtíES和Quintana-OrtáG（2009）简介：密集矩阵计算的libflame库。IEEE计算科学工程11（6）：56-62·doi:10.1109/MCSE.2009.207 [28] Van Zee FG\[（2009）{\tt libflame}\]：完整参考。网址：www.lulu.com 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。