|Marquette||MS in Computing||Dr. Corliss||Teach||Research||Pubs||Service|
This site contains pointers to publications of
Dr. George F. Corliss
A few links:
Survey of Interval Methods for ODE's, presented at the First Scandinavian Workshop on Interval Methods and Their Applications, August 14-16, 2003, Technical University of Denmark, Lyngby
Testing COSY's Interval and Taylor Model Arithmetic, presented at Schloss Dagstuhl, January 2003
Tutorial on Validated Techniques, Interval Arithmetic, and Related Tools, presented at Validated Computing 2002, Toronto, May 22, 2002
Fields Institute Informal Working Group on Validated Methods for Optimization and follow the link [Schedule]
ATOMFT, an approximate ODE solver by Chang and Corliss using Taylor series
Where Is Validated ODE Solving Going?, presented at the IMACS-GAMM International Symposium on Numerical Methods and Error-Bounds, Universitaet Oldenburg, July 9--12, 1995
Introduction to Validated ODE Solving, presented at the SciCADE '95 International Conference on Scientific Computation and Differential Equations, Stanford, CA, Mar. 28 - Apr. 1, 1995.
Guaranteed Error Bounds for Ordinary Differential Equations, lecture notes for a sequence of five lectures at the VI-th SERC Numerical Analysis Summer School, Leicester University, 25 - 29 July, 1994.