%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 Asp. 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 = {2019-09-16T00: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://puma.ub.uni-stuttgart.de/bibtex/237a5fd97bc508c733227eef75fd3815f/dblp}, ee = {https://doi.org/10.1007/s00165-011-0221-4}, interhash = {7c7021ca2a311ce9d092fbfc8e8817df}, intrahash = {37a5fd97bc508c733227eef75fd3815f}, journal = {Formal Asp. Comput.}, keywords = {dblp}, number = 6, pages = {933-945}, timestamp = {2019-09-27T11:45:22.000+0200}, title = {Deriving dense linear algebra libraries.}, url = {http://dblp.uni-trier.de/db/journals/fac/fac25.html#BientinesiGMQRGZ13}, volume = 25, year = 2013 }