MehlhornS01'

BibTeX

@incollection{DBLP:books/sp/alefeld01/MehlhornS01,
  author    = {Kurt Mehlhorn and
               Stefan Schirra},
  title     = {Exact Computation with leda_real - Theory and geometric
               Applications},
  booktitle = {Symbolic Algebraic Methods and Verification Methods},
  year      = {2001},
  pages     = {163-172},
  crossref  = {DBLP:books/sp/Alefeld2001},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@book{DBLP:books/sp/Alefeld2001,
  editor    = {G{\"o}tz Alefeld and
               Jiri Rohn and
               Siegfried M. Rump and
               Tetsuro Yamamoto},
  title     = {Symbolic Algebraic Methods and Verification Methods},
  publisher = {Springer},
  year      = {2001},
  isbn      = {3-211-83593-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}