Re: Validated Integration of ODEs Dear colleagues, I highly recommend this latest work by  Makino and Berz to anyone interested  in validated integration of ODEs. Ramon Moore ----- Original Message -----  From: "Martin Berz"  To: "Reliable Computing"  Sent: Tuesday, September 21, 2004 10:25 PM Subject: Validated Integration of ODEs > Dear Colleagues, > > those of you interested in the validated integration of ODEs may enjoy a  > very > extended paper on the use of Taylor models for this purpose. In particular  > it > discusses in detail various anti-wrapping strategies that naturally follow > from the use of Taylor models and provides many comparisons to other > approaches. > > Martin Berz > > > Suppression of the Wrapping Effect by Taylor Model-based Validated  > Integrators > Kyoko Makino and Martin Berz > http://www.bt.pa.msu.edu/cgi-bin/displaytest.pl?name=VIRC03 > >