@misc{indiciaed2fb6bf954fa,
  title = {Enabling Pivoting in the Formal Derivation of LU factorization},
  author = {Robert van de Geijn and Margaret E. Myers and Devangi N. Parikh and Tze Meng Low and Devin A. Matthews},
  year = {2026},
  url = {https://arxiv.org/abs/2304.03068},
  note = {Source identifier: 2304.03068}
}