Deriving Algorithms for Triangular Tridiagonalization a Skew-Symmetric Matrix
Mathematical Software
2025-04-11 v2
Abstract
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 the decomposition (with and without pivoting) of a skew-symmetric matrix. The approach yields known as well as new algorithms, presented using the FLAME notation, enabling comparing and contrasting. A number of BLAS-like primitives are exposed at the core of the resulting unblocked and blocked algorithms.
Cite
@article{arxiv.2311.10700,
title = {Deriving Algorithms for Triangular Tridiagonalization a Skew-Symmetric Matrix},
author = {Robert van de Geijn and Maggie Myers and RuQing G. Xu and Devin Matthews},
journal= {arXiv preprint arXiv:2311.10700},
year = {2025}
}
Comments
28 pages. arXiv admin note: text overlap with arXiv:2411.09859