1 citations · 1 across the 5 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
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.…