Deriving Algorithms for Triangular Tridiagonalization a Skew-Symmetric Matrix
Fuente:
arXiv
Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Preprint |
| Published: |
2023
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866915234889859072 |
|---|---|
| author | van de Geijn, Robert Myers, Maggie Xu, RuQing G. Matthews, Devin |
| author_facet | van de Geijn, Robert Myers, Maggie Xu, RuQing G. Matthews, Devin |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2311_10700 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | Deriving Algorithms for Triangular Tridiagonalization a Skew-Symmetric Matrix van de Geijn, Robert Myers, Maggie Xu, RuQing G. Matthews, Devin Mathematical Software 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. |
| title | Deriving Algorithms for Triangular Tridiagonalization a Skew-Symmetric Matrix |
| topic | Mathematical Software |
| url | https://arxiv.org/abs/2311.10700 |