The correctness of numerical algorithms.

Thomas E. Hull Wayne H. Enright Arthur E. Sedgwick

Published in: Proving Assertions About Programs (1972)

Keyphrases

numerical algorithms
partial differential equations
fourth order
pattern recognition
high dimensional
feature extraction
principal component analysis
signal processing
natural images
sparse representation
numerical methods
image recovery