Reductions of PDEs to first order ODEs, symmetries and symbolic computation.
José RamírezJ. L. RomeroC. MurielPublished in: Commun. Nonlinear Sci. Numer. Simul. (2015)
Keyphrases
- partial differential equations
- ordinary differential equations
- numerical solution
- first order logic
- higher order
- level set
- automated deduction
- neural network
- image processing
- stochastic dominance
- anisotropic diffusion
- imperative programs
- quantifier elimination
- decision diagrams
- mathematical morphology
- image denoising
- multiresolution
- multiscale
- diffusion equation
- efficient computation
- fourth order
- knowledge base