An Efficient Approach to the Numerical Verification for Solutions of Elliptic Differential Equations.
Mitsuhiro T. NakaoYoshitaka WatanabePublished in: Numer. Algorithms (2004)
Keyphrases
- differential equations
- boundary value problem
- numerical methods
- runge kutta
- dynamical systems
- feed forward artificial neural networks
- ordinary differential equations
- numerical solution
- partial differential equations
- brownian motion
- optimal solution
- sensitivity analysis
- boundary conditions
- nonlinear differential equations
- image analysis
- transmission line
- difference equations
- model checking
- pattern recognition