×

zbMATH — the first resource for mathematics

FLAME: formal linear algebra methods environment. (English) Zbl 1070.65522

MSC:
65Fxx Numerical linear algebra
65Y05 Parallel numerical computation
65Y15 Packaged methods for numerical algorithms
PDF BibTeX XML Cite
Full Text: DOI