Numerical Analysis of Ordinary Differential Equations in Isabelle/HOL.
Fabian ImmlerJohannes HölzlPublished in: ITP (2012)
Keyphrases
- numerical analysis
- ordinary differential equations
- theorem prover
- natural deduction
- differential equations
- image enhancement
- inference rules
- partial differential equations
- dynamic systems
- phase space
- theorem proving
- numerical solution
- mathematical models
- first order logic
- numerical integration
- biological systems
- genetic regulatory networks
- neural network
- gene regulatory networks
- finite element
- probabilistic model
- image analysis
- multiscale
- machine learning