Numerical Methods with Automatic Verification.

Siegfried M. Rump

Published in: European Conference on Computer Algebra (2) (1985)

Keyphrases

scale space
numerical methods
differential equations
image analysis
partial differential equations
numerical solution
approximation schemes
prior knowledge
finite element method
dynamic programming
image denoising
computer architecture