Variable Step Block Backward Differentiation Formula for Solving First Order Stiff ODEs.
Zarina Bibi IbrahimKhairil Iskandar OthmanMohamed SuleimanPublished in: World Congress on Engineering (2007)
Keyphrases
- boolean formula
- higher order
- universally quantified
- linear temporal logic
- ordinary differential equations
- systems of ordinary differential equations
- post processing
- dynamic systems
- finite domain
- horn clauses
- runge kutta
- elimination algorithm
- variable ordering
- bi directional
- multiscale
- block size
- image blocks
- temporal logic
- combinatorial optimization
- first order logic
- search algorithm