@InProceedings{mehlhorn_et_al:DagSemProc.06021.3, author = {Mehlhorn, Kurt and Eigenwillig, Arno and Kettner, Lutz and Krandick, Werner and Schmitt, Susanne and Wolpert, Nicola}, title = {{A Descartes Algorithms for Polynomials with Bit-Stream Coefficients}}, booktitle = {Reliable Implementation of Real Number Algorithms: Theory and Practice}, pages = {1--12}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2006}, volume = {6021}, editor = {Peter Hertling and Christoph M. Hoffmann and Wolfram Luther and Nathalie Revol}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06021.3}, URN = {urn:nbn:de:0030-drops-7157}, doi = {10.4230/DagSemProc.06021.3}, annote = {Keywords: Root Isolation, Interval Arithmetic, Descartes Algorithm} }