Mechanizing the expert dense linear algebra developer.

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

Published in: PPOPP (2012)

Keyphrases

linear algebra
singular value decomposition
image processing
computer architecture
source code
computer vision
software development
radon transform
sensor networks
numerical methods