A differential inequalities method for verified solution of IVPs for ODEs using linear programming for the search of tight bounds

A differential inequalities method for verified solution of IVPs for ODEs using linear programming for the search of tight bounds

D. Nadezhin

01 October 2008

13th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computing, October 2008.


Venue : N/A