research
∙
04/06/2023
Formal Derivation of LU Factorization with Pivoting
The FLAME methodology for deriving linear algebra algorithms from specif...
share
research
∙
11/24/2016
Automating the Last-Mile for High Performance Dense Linear Algebra
High performance dense linear algebra (DLA) libraries often rely on a ge...
research
∙
11/19/2016
