Deriving dense linear algebra libraries
type: Item
instance of: scholarly article
title: Deriving dense linear algebra libraries
zbMATH Open document ID: 1298.65003
author: Paolo Bientinesi
author: John A. Gunnels
author: Margaret E. Myers
author: Enrique S. Quintana-Ortí
author: Tyler Rhodes
author: Robert A. van de Geijn
author: Field G. Van Zee
published in: Formal Aspects of Computing
publication date: 2014-11-10T00:00:00Z
full work available at URL: http://hdl.handle.net/10234/113024
Mathematics Subject Classification ID: 65-04
Mathematics Subject Classification ID: 65Fxx
Mathematics Subject Classification ID: 15-04
zbMATH DE Number: 6367491
zbMATH Keywords: formal derivation
zbMATH Keywords: linear algebra libraries
zbMATH Keywords: scientific computing
describes a project that uses: FLAME
describes a project that uses: LAPACK
describes a project that uses: libflame
describes a project that uses: Matlab
describes a project that uses: BLAS
describes a project that uses: cl1ck
MaRDI profile type: Publication
OpenAlex ID: W2082431593
cites work: LAPACK Users' Guide
cites work: The science of deriving dense linear algebra algorithms
cites work: Representing linear algebra algorithms in code: the FLAME application program interfaces
cites work: Goal-Oriented and Modular Stability Analysis
cites work: A set of level 3 basic linear algebra subprograms
cites work: An extended set of FORTRAN basic linear algebra subprograms
cites work: A constructive approach to the problem of program correctness
cites work: Q4144755
cites work: Knowledge-Based Automatic Generation of Partitioned Matrix Expressions
cites work: FLAME
cites work: Q3925859
cites work: Anatomy of high-performance matrix multiplication
cites work: An axiomatic basis for computer programming
cites work: Nonlinear systems.
cites work: Basic Linear Algebra Subprograms for Fortran Usage
cites work: Formal derivation of algorithms
DOI: 10.1007/S00165-011-0221-4
description: scientific article; zbMATH DE number 6367491