Numerical Verification of Solutions of Periodic Integral Equations with a Singular Kernel.
Sunao MurashigeShin'ichi OishiPublished in: Numer. Algorithms (2004)
Keyphrases
- numerical algorithms
- numerical methods
- stochastic differential equations
- polynomial equations
- kernel function
- boundary value problem
- finite difference
- differential equations
- closed form solutions
- model checking
- mathematical model
- support vector
- optimal solution
- sensitivity analysis
- solution space
- neural network
- kernel methods
- numerical analysis
- formal verification
- high dimensional
- verification method
- machine learning