SFOPDES: A Stepwise First Order Partial Differential Equations Solver with a Computer Algebra System.
José Luis Galán GarcíaGabriel Aguilera VenegasPedro Rodríguez CielosYolanda Padilla-DomínguezMaría Ángeles Galán GarcíaPublished in: Comput. Math. Appl. (2019)
Keyphrases
- partial differential equations
- computer algebra
- theorem prover
- first order logic
- level set
- anisotropic diffusion
- image denoising
- numerical solution
- image processing
- higher order
- image enhancement
- differential equations
- problems in image processing
- diffusion equation
- curve evolution
- numerical methods
- multiscale
- mathematical morphology
- finite difference method
- energy functional
- computer algebra systems
- finite difference
- numerical algorithms
- high order
- fourth order
- theorem proving
- automated theorem provers
- numerical scheme
- denoising
- machine learning
- nonlinear partial differential equations
- lattice boltzmann
- conservation laws
- wavelet transform
- feature extraction
- image segmentation
- computer vision