@inproceedings{bun-20-aa-tayode,
  author = {B{\"u}nger, Florian},
  title = {A {Taylor} model toolbox for solving {ODEs} implemented in {MATLAB}/{INTLAB}},
  booktitle = {Proceedings 18th International Symposium on Scientific Computing, Computer Arithmetic, and Verified Numerical Computations (SCAN 2018)},
  note = {Special issue of the Journal of Computational and Applied Mathematics, volume 368},
  year = 2020,
  month = apr,
  pages = {article 112511},
  doi = {10.1016/j.cam.2019.112511},
  comment = {Describes a Taylor arithmetic package for ODE integration. Notes that AA is the degree-1 case of Taylor form.}
  abstract = {The new INTLAB release V11 contains two verified ODE solvers. One is a MATLAB implementation of Lohner’s classical AWA, the other one follows the so-called Taylor model approach which is the main subject of this article.}
}