Deductive Synthesis of Numerical Simulation Programs from Networks of Algebraic and Ordinary Differential Equations.
Thomas EllmanTakahiro MurataPublished in: Autom. Softw. Eng. (1998)
Keyphrases
- numerical simulations
- ordinary differential equations
- functional programs
- theoretical analysis
- differential equations
- genetic regulatory networks
- gene regulatory networks
- dynamic systems
- partial differential equations
- mathematical models
- lattice boltzmann
- numerical calculation
- object oriented
- higher order
- numerical solution
- temperature field
- artificial intelligence
- dynamical systems
- sufficient conditions
- software engineering
- finite element method
- computer vision
- data sets