Complexity of quantifier elimination in the theory of ordinary differential equations.
D. Yu. GrigoryevPublished in: EUROCAL (1987)
Keyphrases
- ordinary differential equations
- quantifier elimination
- presburger arithmetic
- differential equations
- mathematical models
- dynamic systems
- functional programming
- constraint propagation
- cardinality constraints
- first order logic
- constraint databases
- machine learning
- numerical solution
- partial differential equations
- biological systems
- biologically inspired
- image processing
- bayesian networks
- multiscale
- computational complexity
- message passing
- functional dependencies
- probabilistic model
- relational databases