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
Berberich, Eric; Fogel, Efi; Halperin, Dan; Mehlhorn, Kurt; Wein, Ron Arrangements on parametric surfaces. I: General framework and infrastructure. (English) Zbl 1205.68457 Math. Comput. Sci. 4, No. 1, 45-66 (2010). MSC: 68U05 14Q10 PDFBibTeX XMLCite \textit{E. Berberich} et al., Math. Comput. Sci. 4, No. 1, 45--66 (2010; Zbl 1205.68457) Full Text: DOI