%0 Journal Article %1 journals/fac/BientinesiGMQRGZ13 %A Bientinesi, Paolo %A Gunnels, John A. %A Myers, Margaret E. %A Quintana-Ortí, Enrique S. %A Rhodes, Tyler %A van de Geijn, Robert A. %A Zee, Field G. Van %D 2013 %J Formal Aspects Comput. %K dblp %N 6 %P 933-945 %T Deriving dense linear algebra libraries. %U http://dblp.uni-trier.de/db/journals/fac/fac25.html#BientinesiGMQRGZ13 %V 25

@article{journals/fac/BientinesiGMQRGZ13, added-at = {2024-05-07T00:00:00.000+0200}, author = {Bientinesi, Paolo and Gunnels, John A. and Myers, Margaret E. and Quintana-Ortí, Enrique S. and Rhodes, Tyler and van de Geijn, Robert A. and Zee, Field G. Van}, biburl = {https://www.bibsonomy.org/bibtex/2b9ca514e9a6122cac8731a95c35b3bd5/dblp}, ee = {https://doi.org/10.1007/s00165-011-0221-4}, interhash = {7c7021ca2a311ce9d092fbfc8e8817df}, intrahash = {b9ca514e9a6122cac8731a95c35b3bd5}, journal = {Formal Aspects Comput.}, keywords = {dblp}, number = 6, pages = {933-945}, timestamp = {2024-05-13T07:55:05.000+0200}, title = {Deriving dense linear algebra libraries.}, url = {http://dblp.uni-trier.de/db/journals/fac/fac25.html#BientinesiGMQRGZ13}, volume = 25, year = 2013 }