BibTeX record books/sp/alefeld01/MehlhornS01

download as .bib file

@incollection{DBLP:books/sp/alefeld01/MehlhornS01,
  author       = {Kurt Mehlhorn and
                  Stefan Schirra},
  editor       = {G{\"{o}}tz Alefeld and
                  Jiri Rohn and
                  Siegfried M. Rump and
                  Tetsuro Yamamoto},
  title        = {Exact Computation with leda{\_}real - Theory and geometric Applications},
  booktitle    = {Symbolic Algebraic Methods and Verification Methods},
  pages        = {163--172},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/978-3-7091-6280-4\_16},
  doi          = {10.1007/978-3-7091-6280-4\_16},
  timestamp    = {Thu, 27 Jun 2019 15:50:12 +0200},
  biburl       = {https://dblp.org/rec/books/sp/alefeld01/MehlhornS01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics