Sagraloff, Michael; Mehlhorn, Kurt Computing real roots of real polynomials. (English) Zbl 1330.65072 J. Symb. Comput. 73, 46-86 (2016). MSC: 65H05 12D10 PDFBibTeX XMLCite \textit{M. Sagraloff} and \textit{K. Mehlhorn}, J. Symb. Comput. 73, 46--86 (2016; Zbl 1330.65072) Full Text: DOI arXiv
Mehlhorn, Kurt; Sagraloff, Michael; Wang, Pengming From approximate factorization to root isolation with application to cylindrical algebraic decomposition. (English) Zbl 1357.68305 J. Symb. Comput. 66, 34-69 (2015). MSC: 68W30 14Q05 30C15 65H04 68W40 PDFBibTeX XMLCite \textit{K. Mehlhorn} et al., J. Symb. Comput. 66, 34--69 (2015; Zbl 1357.68305) Full Text: DOI arXiv
Mehlhorn, Kurt; Sagraloff, Michael; Wang, Pengming From approximate factorization to root isolation. (English) Zbl 1360.68944 Kauers, Manuel (ed.), Proceedings of the 38th international symposium on symbolic and algebraic computation, ISSAC 2013, Boston, MA, USA, June 26–29, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2059-7). 283-290 (2013). MSC: 68W30 14Q05 30C15 65H04 68W40 PDFBibTeX XMLCite \textit{K. Mehlhorn} et al., in: Proceedings of the 38th international symposium on symbolic and algebraic computation, ISSAC 2013, Boston, MA, USA, June 26--29, 2013. New York, NY: Association for Computing Machinery (ACM). 283--290 (2013; Zbl 1360.68944) Full Text: DOI
Mehlhorn, Kurt; Osbild, Ralf; Sagraloff, Michael A general approach to the analysis of controlled perturbation algorithms. (English) Zbl 1247.65024 Comput. Geom. 44, No. 9, 507-528 (2011). Reviewer: Juan Monterde (Burjasot) MSC: 65D18 PDFBibTeX XMLCite \textit{K. Mehlhorn} et al., Comput. Geom. 44, No. 9, 507--528 (2011; Zbl 1247.65024) Full Text: DOI
Mehlhorn, Kurt; Sagraloff, Michael A deterministic algorithm for isolating real roots of a real polynomial. (English) Zbl 1207.65048 J. Symb. Comput. 46, No. 1, 70-90 (2011). Reviewer: Temur Jangveladze (Tbilisi) MSC: 65H04 65Y20 26C10 PDFBibTeX XMLCite \textit{K. Mehlhorn} and \textit{M. Sagraloff}, J. Symb. Comput. 46, No. 1, 70--90 (2011; Zbl 1207.65048) Full Text: DOI
Mehlhorn, Kurt; Sagraloff, Michael Isolating real roots of real polynomials. (English) Zbl 1237.68257 May, John P. (ed.), ISSAC 2009. Proceedings of the 2009 International Symposium on Symbolic and Algebraic Computation, Seoul, July 28–31, 2009. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-609-0). 247-254 (2009). MSC: 68W30 12D10 PDFBibTeX XMLCite \textit{K. Mehlhorn} and \textit{M. Sagraloff}, in: Proceedings of the 2009 international symposium on symbolic and algebraic computation, ISSAC 2009, Seoul, July 28--31, 2009. New York, NY: Association for Computing Machinery (ACM). 247--254 (2009; Zbl 1237.68257) Full Text: DOI
Mehlhorn, Kurt; Osbild, Ralf; Sagraloff, Michael Reliable and efficient computational geometry via controlled perturbation. (English) Zbl 1183.68671 Bugliesi, Michele (ed.) et al., Automata, languages and programming. 33rd international colloquium, ICALP 2006, Venice, Italy, July 10–14, 2006. Proceedings, Part I. Berlin: Springer (ISBN 978-3-540-35904-3/pbk). Lecture Notes in Computer Science 4051, 299-310 (2006). MSC: 68U05 65D18 PDFBibTeX XMLCite \textit{K. Mehlhorn} et al., Lect. Notes Comput. Sci. 4051, 299--310 (2006; Zbl 1183.68671) Full Text: DOI