Work

Deriving Algorithms for Triangular Tridiagonalization a Skew-Symmetric Matrix

Year: 2023
Type: preprint
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 $ L T L^T $ 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.
Language: English
Open Access status: green
OpenAlex ID: W4388844338
Cites:
Cited by:
Related to: 10