131386 20250612142454.0 doi 10.1007/978-3-319-42432-3_24 sideral 106280 ART-2016-106280 eng Marco-Buzunariz, M.A. Universidad de Zaragoza (orcid)0000-0002-6750-8971 SIROCCO: A Library for Certified Polynomial Root Continuation 2016 Access copy available to the general public Unrestricted The classical problem of studying the topology of a plane algebraic curve is typically handled by the computation of braid monodromies. The existence of arithmetic Zariski pairs implies that purely algebraic methods cannot provide those braids, so we need numerical methods at some point. However, numerical methods usually have the problem that floating point arithmetic introduces rounding errors that must be controlled to ensure certified results. We present SIROCCO (The source code and documentation is available in: https://github.com/miguelmarco/sirocco), a library for certified polynomial root continuation, specially suited for this task. It computes piecewise linear approximations of the paths followed by the roots. The library ensures that there exist disjoint tubular neighborhoods that contain both the actual path and the computed approximation. This fact proves that the braids corresponding to the approximation are equal to the ones corresponding to the actual curve. The validation is based on interval floating point arithmetic, the Interval Newton Criterion and auxiliary lemmas. We also provide a SageMath interface and auxiliary routines that perform all the needed pre and post- processing tasks. Together this is an "out of the box" solution to compute, for instance, the fundamental group of the complement of an affine complex curve. info:eu-repo/semantics/openAccess All rights reserved http://www.europeana.eu/rights/rr-f/ 0.339 2016 Computer Science (miscellaneous) 2016 Q2 Theoretical Computer Science 2016 Q3 info:eu-repo/semantics/article info:eu-repo/semantics/acceptedVersion Rodriguez, M. (orcid)0000-0003-3426-105X 2006 200 Universidad de Zaragoza Dpto. Matemáticas Área Didáctica Matemática 9725 (2016), 191-197 Lect. notes comput. sci. Lecture Notes in Computer Science 0302-9743 135669 http://zaguan.unizar.es/record/131386/files/texto_completo.pdf Postprint 1372940 http://zaguan.unizar.es/record/131386/files/texto_completo.jpg?subformat=icon icon Postprint oai:zaguan.unizar.es:131386 articulos driver 2025-06-12-14:23:36 ARTICLE