Automatic Generation of Loop-Invariants for Matrix Operations.

Diego Fabregat-Traver Paolo Bientinesi

Published in: ICCSA Workshops (2011)

Keyphrases

matrix multiplication
singular value decomposition
rows and columns
automatically generate
database systems
pattern recognition
neural network
computer vision
least squares
matrix representation
coefficient matrix
quasi invariant