Deriving dense linear algebra libraries

DOI10.1007/s00165-011-0221-4zbMath1298.65003OpenAlexW2082431593MaRDI QIDQ469358

John A. Gunnels, Field G. van Zee, Enrique S. Quintana-Ortí, Paolo Bientinesi, Robert A. van de Geijn, Tyler Rhodes, Margaret E. Myers

Publication date: 10 November 2014

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10234/113024

zbMATH Keywords

scientific computingformal derivationlinear algebra libraries

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to linear algebra (15-04) Numerical linear algebra (65Fxx) Software, source code, etc. for problems pertaining to numerical analysis (65-04)

Related Items

Jagged non-zero submatrix data structure

Uses Software

• FLAME
• LAPACK
• Matlab
• BLAS
• libflame
• cl1ck

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Goal-Oriented and Modular Stability Analysis
• Knowledge-Based Automatic Generation of Partitioned Matrix Expressions
• Anatomy of high-performance matrix multiplication
• An extended set of FORTRAN basic linear algebra subprograms
• LAPACK Users' Guide
• Basic Linear Algebra Subprograms for Fortran Usage
• A set of level 3 basic linear algebra subprograms
• FLAME
• Formal derivation of algorithms
• The science of deriving dense linear algebra algorithms
• Representing linear algebra algorithms in code: the FLAME application program interfaces
• A constructive approach to the problem of program correctness
• An axiomatic basis for computer programming