DBLP Record 'journals/corr/abs-0708-3721'

BibTeX

@article{DBLP:journals/corr/abs-0708-3721,
  author    = {Marc Daumas and
               David Lester and
               C{\'e}sar Mu{\~n}oz},
  title     = {Verified Real Number Calculations: A Library for Interval
               Arithmetic},
  journal   = {CoRR},
  volume    = {abs/0708.3721},
  year      = {2007},
  ee        = {http://arxiv.org/abs/0708.3721},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}