×

火焰

swMATH ID: 293
软件作者： 保罗·比伦特斯；恩里克·S·金塔纳·奥尔蒂。；范德盖恩（Robert A van de Geijn）
描述： 我们提出了许多用于编码线性代数算法的应用程序接口（API）。从表面上看，这些用于MATLAB M脚本和C编程语言的API似乎是这些语言的简单、几乎微不足道的扩展。然而，有了它们，编程和维护广泛线性代数运算的算法族的任务大大简化。结合我们的形式化线性代数方法环境（FLAME）方法来推导此类算法族，可以推导出用于单个线性代数操作的数十个算法，并验证其正确性、实现和测试，通常每个算法只需几分钟。
由于算法是用代码表示的，就像在课堂上解释的那样，因此这些API不仅成为实现库的工具，而且成为教授库中包含的算法的有价值的工具。结合并行线性代数包（PLAPACK）API的扩展，该方法提供了一条从算法到MATLAB实现、从高性能顺序实现到并行实现的迁移路径。最后，这些API被用于创建线性代数操作的算法和实现库，即FLAME接口repository（FIRE），它已经为数十种常见的线性代数操作提供了数百种算法
主页： http://z.cs.utexas.edu/wiki/frama.wiki/FrontPage
相关软件： LAPACK公司；BLAS公司；地图集；螺旋形的；利比亚火焰；PLAPACK系列；线性代数库；Matlab公司；超级矩阵；FFTW公司；PHiPAC公司；DOLFIN公司；PETSc公司；菲亚特；算法679；MKL公司；元素；等离子体；MAGMA公司；圣得西
引用于： 39文件

标准条款

2出版物描述软件，包括2出版物以zbMATH为单位 年份
通过工作队列模型实现FLAME代码的可扩展并行化。 Zbl 1291.65398号
Van Zee，Field G。；保罗·比伦蒂内西；低，Tze Meng；范德盖恩（Robert A.van de Geijn）。
2008
用代码表示线性代数算法：FLAME应用程序接口。 Zbl 1073.65037号
保罗·比伦蒂内西；恩里克·金塔纳·奥尔蒂。；范德盖恩（Robert A.van de Geijn）。
2005
全部的 前5名

76位作者引用

9 范德盖恩，罗伯特·亚历山大
7 保罗·比伦蒂内西
6 恩里克·金塔纳·奥尔蒂。
5 格雷戈里奥·金塔纳·奥尔蒂
4 范泽（Van Zee），菲尔德·加里特（Field Garritt）
三 约翰·甘纳尔斯（John A.Gunnels）。
三 内森·希夫纳
三 佩尔古纳尔·马丁森
三 伊戈尔·楚克曼
2 科斯塔斯·G·阿纳格诺斯塔基斯。
2 彼得·本纳
2 保罗·D’Alberto
2 迈克尔·格林沃尔德。
2 弗朗西斯科·伊古尔。
2 约阿尼迪斯，索蒂里斯
2 罗伯特·C·柯比。
2 马修·克内普利。
2 安德烈亚斯·科赫
2 玛格丽特·迈尔斯。
2 亚历山德鲁·尼古拉
2 拉金·里奇韦·斯科特
1 何塞·伊格纳西奥·阿利亚加
1 一个Mey，Dieter
1 大卫·巴恩斯。
1 亨里克·巴特尔斯
1 阿希姆·巴瑟曼
1 杰弗里·贝尔特
1 马尔科·博德拉托
1 Daniela Brauckhoff
1 芭芭拉·查普曼。
1 雷扎尔·阿拉姆·乔杜里
1 达沃尔·达维多维奇
1 赫伯特·道伊德
1 克里斯托夫·戴森伯格
1 迪纳波利（Di Napoli），埃多瓦多（Edoardo A.）。
1 G.Joseph，Elizondo
1 巴勃罗·埃扎蒂
1 迭戈Fabregat-Traver
1 路易斯·古斯塔沃·费尔南德斯
1 罗伯特·格拉纳特。
1 弗雷德·古斯塔夫森。
1 格雷格·亨利。
1 蒂姆·霍普金斯。
1 黄磊
1 伊丽莎白·R·杰赛普。
1 金浩强
1 马蒂厄·乔纳特
1 科格斯特罗姆，波
1 玛丽亚娜·卢德里茨·科尔伯格
1 丹尼尔·克雷斯纳
1 李德凯
1 安德斯·洛格
1 低，Tze Meng
1 赫尔曼·梅纳
1 克莱伯·罗伯托·米拉尼
1 斯特凡·米尔切夫
1 安托万·米内
1 托马斯·R·纳尔逊。
1 蒂尔曼·诺依曼
1 博亚纳诺里斯
1 尤里·奥梅尔琴科。
1 杰克·鲍尔森
1 克里斯托斯·帕萨拉斯
1 维贾亚·拉马钱德兰
1 托马斯·赖希斯坦
1 阿尔弗雷多·雷蒙
1 泰勒·罗兹
1 马丁·沙茨。
1 邵美月
1 杰里米·西克。
1 安东尼·斯卡勒姆
1 乔纳森·迈克尔·史密斯
1 苏丹共和国。
1 安迪·特雷尔。
1 维诺德·K·瓦萨拉姆。
1 桑德·范德胡格
全部的 前5名

16篇连载文章中引用

13 ACM数学软件汇刊
4 SIAM科学计算杂志
三 计算物理学杂志
2 应用数学与计算
1 比特币
1 国际并行程序设计杂志
1 科学计算杂志
1 计算的形式方面
1 超级计算杂志
1 工程、通信和计算中的应用代数
1 系统设计中的形式化方法
1 计算系统理论
1 并行与计算：实践与经验
1 计算机网络
1 算法
1 Berichte aus der Kommunikationstechnik公司
全部的 前5名

在9个字段中引用

28 数值分析（65-XX）
15 计算机科学（68至XX）
4 偏微分方程（35-XX）
三 线性代数和多线性代数；矩阵理论（15-XX）
2 流体力学（76-XX）
2 光学、电磁理论（78-XX）
1 粒子和系统力学（70-XX）
1 统计力学，物质结构（82-XX）
1 博弈论、经济学、金融和其他社会和行为科学（91-XX）

按年份列出的引文