Deriving Algorithms for Triangular Tridiagonalization a Skew-Symmetric Matrix

Robert van de Geijn, Maggie Myers, RuQing G. Xu +1

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 t…