×

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
PDFBibTeX XMLCite
Full Text: DOI