@inproceedings{bra-kor-mul-15-aa-taymod,
  author = {Brau{\ss}e, Franz and Korovina, Margarita and M{\"u}ller, Norbert},
  title = {Using {Taylor} Models in Exact Real Arithmetic},
  booktitle = {Revised Selected Papers from the 6th International Conference on Mathematical Aspects of Computer and Information Sciences (MACIS)},
  location = {Berlin, DE},
  year = 2015,
  month = nov,
  pages = {474-488},
  doi = {10.1007/978-3-319-32859-1_41},
  comment = {Mentions AA as a special case of Taylor bound arithmetic with exact coeffs.},
  abstract = {Software libraries for Exact Real Arithmetic implement the theory of computability on non-denumerable sets. Usually they are based on interval arithmetic. We discuss enhancements where the interval arithmetic is augmented by versions of Taylor models. Although this has no effect on the abstract notion of computability, the efficiency of implementations can be improved dramatically.}
}