@article{dze-15-aa-valode,
  author = {Dzetkuli{\v{c}}, Tom{\'a}{\v{s}}},
  title = {Rigorous Integration of Non-Linear Ordinary Differential Equations in {Chebyshev} Basis},
  journal = {Numerical Algorithms},
  volume = {69},
  pages = {183–205},
  year = 2015,
  month = jul,
  doi = {10.1007/s11075-014-9889-x},
  comment = {Uses ``multi-variable function enclosures in the form of coefficients of the truncated Chebyshev series and the remainder term stored as an interval.''  Says that his approach is similar to AA, but then says that AA does NOT handle approximation errors like other noise errors, which is false.},
  abstract = {In this paper, we introduce a new approach to multiple step verified integration of non-linear ordinary differential equations. The approach is based on the technique of a Taylor model integration, however, a novel method is introduced to suppress the wrapping effect over several integration steps. This method is simpler and more robust compared to the known methods. It allows more general inputs, while it does not require rigorous matrix inversion. Moreover, our integration algorithm allows the use of various types of underlying function enclosures. We present rigorous arithmetic operations with function enclosures based on the truncated Chebyshev series. Computational experiments are used to show the wrapping effect suppression of our method and to compare integration algorithm that uses Chebyshev function enclosures with the existing algorithms that use function enclosures based on the truncated Taylor series (Taylor models).}
}