![](/img/cover-not-exists.png)
Mechanizing the expert dense linear algebra developer
Marker, Bryan, Terrel, Andy, Poulson, Jack, Batory, Don, van de Geijn, RobertVolume:
47
Language:
english
Journal:
ACM SIGPLAN Notices
DOI:
10.1145/2370036.2145858
Date:
September, 2012
File:
PDF, 367 KB
english, 2012