{"product_id":"the-science-of-programming-matrix-computations","title":"The Science of Programming Matrix Computations","description":"\u003cp\u003eThe Formal Linear Algebra Methods Environment (FLAME) encompasses a \u003cbr\u003e\nmethodology for deriving an algorithm for a dense linear\u003cbr\u003e\nalgebra operation hand-in-hand with its proof of correctness\u003cbr\u003e\nas well as an approach to represent (and code) the\u003cbr\u003e\nresulting algorithm. This books reviews the foundations of FLAME:\u003cbr\u003e\nthe derivation methodology, the notation, and the high-level Application\u003cbr\u003e\nProgramming Interfaces, which are applied to basic linear algebra operations as well as operations for the solution of linear systems.\u003cbr\u003e\nWhile the text targets the novice, its emphasis on high performance\u003cbr\u003e\nalgorithms should also be of interest to the expert.\u003c\/p\u003e","brand":"Enrique S. Quintana-Ort’","offers":[{"title":"Paperback","offer_id":43998463426721,"sku":"1234570870","price":25.69,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0462\/1120\/3233\/files\/12epevd-front-shortedge-384.jpg?v=1747351484","url":"https:\/\/bookswholesale.myshopify.com\/products\/the-science-of-programming-matrix-computations","provider":"BooksWholesale","version":"1.0","type":"link"}