Computer algebra and numerical integration.

Richard J. Fateman

Published in: SYMSACC (1981)

Keyphrases

numerical integration
computer algebra
differential equations
ordinary differential equations
theorem prover
zernike moments
probability density
automated theorem provers
computer algebra systems
diffusion equation
multiscale
image representation
partial differential equations