@inproceedings{10.1007/978-3-319-32859-1_44,
    Abstract = {This paper concerns the reliable integration of dynamical systems with a focus on the computation of one specific trajectory for a given initial condition at high precision. We describe several algorithmic tricks which allow for faster parallel computations and better error estimates. We also introduce ``Lagrange models''. These serve a similar purpose as the more classical Taylor models, but we will show that they allow for larger step sizes, especially when the truncation orders get large.},
    Address = {Cham},
    Author = {van der Hoeven, Joris},
    BookTitle = {Mathematical Aspects of Computer and Information Sciences},
    Editor = {Kotsireas, Ilias S. and Rump, Siegfried M. and Yap, Chee K.},
    File = {Certifying trajectories of dynamical systems - lagrange-v2018 - a.pdf},
    ISBN = {978-3-319-32859-1},
    Pages = {520--532},
    Publisher = {Springer International Publishing},
    Title = {Certifying Trajectories of Dynamical Systems},
    Year = {2016},
    date-added = {2023-02-02 18:51:28 +0100},
    date-modified = {2023-02-02 18:51:28 +0100},
    doi = {10.1007/978-3-319-32859-1_44}
}

@inproceedings{10.1007/978-3-319-32859-1_44, Abstract = {This paper concerns the reliable integration of dynamical systems with a focus on the computation of one specific trajectory for a given initial condition at high precision. We describe several algorithmic tricks which allow for faster parallel computations and better error estimates. We also introduce ``Lagrange models''. These serve a similar purpose as the more classical Taylor models, but we will show that they allow for larger step sizes, especially when the truncation orders get large.}, Address = {Cham}, Author = {van der Hoeven, Joris}, BookTitle = {Mathematical Aspects of Computer and Information Sciences}, Editor = {Kotsireas, Ilias S. and Rump, Siegfried M. and Yap, Chee K.}, File = {Certifying trajectories of dynamical systems - lagrange-v2018 - a.pdf}, ISBN = {978-3-319-32859-1}, Pages = {520--532}, Publisher = {Springer International Publishing}, Title = {Certifying Trajectories of Dynamical Systems}, Year = {2016}, date-added = {2023-02-02 18:51:28 +0100}, date-modified = {2023-02-02 18:51:28 +0100}, doi = {10.1007/978-3-319-32859-1_44} }