TY  - RPRT
TI  - Enabling Pivoting in the Formal Derivation of LU factorization
AU  - Robert van de Geijn
AU  - Margaret E. Myers
AU  - Devangi N. Parikh
AU  - Tze Meng Low
AU  - Devin A. Matthews
PY  - 2026
UR  - https://arxiv.org/abs/2304.03068
ID  - 2304.03068
ER  -