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
01 October 2008
13th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computing, October 2008.
Venue : N/A