×

zbMATH — the first resource for mathematics

Formal derivation of algorithms: the triangular sylvester equation. (English) Zbl 1072.65064

MSC:
65F30 Other matrix algorithms (MSC2010)
15A24 Matrix equations and identities
65Y20 Complexity and performance of numerical algorithms
PDF BibTeX XML Cite
Full Text: DOI