1. A case study in mechanically deriving dense linear algebra code. (November 2013) Authors: Marker, Bryan; Batory, Don; van de Geijn, Robert Journal: International journal of high performance computing applications Issue: Volume 27:Number 4(2013) Page Start: 440 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗