3 papers
cs.MS2023
Deriving Algorithms for Triangular Tridiagonalization a Skew-Symmetric Matrix
Robert van de Geijn, Maggie Myers, RuQing G. Xu +1
This paper provides technical details regarding the application of the FLAME methodology to derive algorithms hand in hand with their proofs of correctness for the computation of t…
cs.MS2023
Enabling Pivoting in the Formal Derivation of LU factorization
Robert van de Geijn, Margaret E. Myers, Devangi N. Parikh +2
The FLAME methodology for deriving linear algebra algorithms from specification, first introduced around 2000, has been successfully applied to a broad cross section of operations.…
cs.MS2023
Cascading GEMM: High Precision from Low Precision
Devangi N. Parikh, Robert A. van de Geijn, Greg M. Henry
This paper lays out insights and opportunities for implementing higher-precision matrix-matrix multiplication (GEMM) from (in terms of) lower-precision high-performance GEMM. The d…