Publication: Verified Integration of ODEs and Flows using Differential Algebraic Methods on High-Order Taylor Models
Introduction
Applications
Tools
Research Groups
Workshops
Publications
   List Publications
   Advanced Search
   Info
   Add Publications
My Account
About
Impress

Verified Integration of ODEs and Flows using Differential Algebraic Methods on High-Order Taylor Models

- Article in a journal -
 

Author(s)
Martin Berz , Kyoko Makino

Published in
Reliable Computing

Year
1998

BibTeX
@ARTICLE{
         Berz1998VIo,
       author = "Martin Berz and Kyoko Makino",
       title = "Verified Integration of {ODE}s and Flows using Differential Algebraic Methods on
         High-Order {T}aylor Models",
       journal = "Reliable Computing",
       pages = "361--369",
       key = "Berz1998VIo",
       referred = "[Makino2002NAo].",
       year = "1998",
       volume = "4"
}


back
  

Contact:
autodiff.org
Username:
Password:
(lost password)