Deductive synthesis of numerical simulation programs from networks of algebraic and ordinary differential equations.
Thomas EllmanTakahiro MurataPublished in: KBSE (1996)
Keyphrases
- numerical simulations
- ordinary differential equations
- functional programs
- theoretical analysis
- differential equations
- genetic regulatory networks
- gene regulatory networks
- numerical solution
- dynamic systems
- finite element method
- temperature field
- partial differential equations
- numerical calculation
- network model
- computational fluid dynamics
- mathematical models
- biological systems
- computer vision
- network structure
- high order
- dynamical systems
- natural images