Using Computer Algebra to Select Numerical Algorithms.

Michael C. Dewar

Published in: ISSAC (1992)

Keyphrases

computer algebra
numerical algorithms
partial differential equations
theorem prover
fourth order
artificial intelligence
image recovery
image processing
multiscale
image denoising
automated theorem provers