Year: 2023
Type: preprint
Abstract: 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. An open question has been whether it can yield algorithms for the best-known operation in linear algebra, LU factorization with partial pivoting (Gaussian elimination with row swapping). This paper shows that it can and provides general techniques for pivoted factorizations.
Source: arXiv (Cornell University)
Authors: van de Geijn, Robert, Myers, Margaret E., Parikh, Devangi N., Low, Tze Meng, Matthews, Devin A.
Institution: The University of Texas at Austin
Language: English
Topic: Matrix Theory and Algorithms
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W4362706855