Recent progress in the theory of formal solutions for ODE and PDE.
Werner BalserVladimir P. KostovPublished in: Appl. Math. Comput. (2003)
Keyphrases
- recent progress
- formal models
- formal methods
- theoretical framework
- formal model
- mathematical theory
- theoretical basis
- partial differential equations
- multiscale
- conservation laws
- formal languages
- solution space
- level set
- image enhancement
- natural images
- higher order
- search algorithm
- boundary value problem
- numerical algorithms
- optimal solution
- computer vision