Formal lumping of polynomial differential equations through approximate equivalences.
Luca CardelliGiuseppe SquillaceMirco TribastoneMax TschaikowskiAndrea VandinPublished in: J. Log. Algebraic Methods Program. (2023)
Keyphrases
- differential equations
- numerical integration
- dynamical systems
- boundary value problem
- ordinary differential equations
- brownian motion
- connected components
- numerical methods
- numerical solution
- nonlinear differential equations
- runge kutta
- difference equations
- higher order
- computer vision
- feed forward artificial neural networks
- relational algebra
- image quality
- machine learning