Derivation of Numerical Methods Using Computer Algebra.
Walter GanderDominik GruntzPublished in: SIAM Rev. (1999)
Keyphrases
- numerical methods
- computer algebra
- differential equations
- theorem prover
- partial differential equations
- finite difference method
- finite element method
- pattern recognition
- approximation schemes
- runge kutta
- numerical solution
- automated theorem provers
- machine learning
- black scholes
- computer architecture
- higher order
- computer vision