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"
}
|