Formally Verified Computation of Enclosures of Solutions of Ordinary Differential Equations.
Fabian ImmlerPublished in: NASA Formal Methods (2014)
Keyphrases
- ordinary differential equations
- numerical integration
- differential equations
- dynamic systems
- phase space
- optimal solution
- partial differential equations
- numerical solution
- mathematical models
- systems of ordinary differential equations
- artificial intelligence
- genetic regulatory networks
- biological systems
- gene regulatory networks
- higher order
- software engineering
- data analysis
- feature selection