Formalization and Execution of Linear Algebra: From Theorems to Algorithms.

Jesús Aransay Jose Divasón

Published in: LOPSTR (2013)

Keyphrases

linear algebra
sparse matrices
image processing
multiscale
singular value decomposition
computer science
data analysis
image analysis
high resolution
least squares
active contours
fault tolerant