Research Publications
Dr. George F. Corliss, MU EECE

This site contains pointers to publications of

Dr. George F. Corliss
Department of Electrical and Computer Engineering
Marquette University
P. O. Box 1881
Milwaukee, WI 53201-1881
George.Corliss {at} Marquette.edu

Publications

• Journals - Refereed journal articles
• Chapters - Chapters contributed to books and proceedings volumes
• Books - Books co-edited
• Bibliographies (directory)
• By Students

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.