Mechanizing the expert dense linear algebra developer.

Bryan Marker, Andy Terrel, Jack Poulson, Don S. Batory, Robert A. van de Geijn

Browse the full PPoPP paper archive.