SIROCCO: a library for certified polynomial root continuation

DOI10.1007/978-3-319-42432-3_24MaRDI QIDQ2819216zbMATH OpenOpenAlexFDO

Authors Marcos Rodríguez, Miguel Ángel Marco Buzunáriz

Publication date 28 September 2016

Published in Mathematical Software – ICMS 2016 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-42432-3_24

zbMATH Keywords

algebraic curveshomotopyinterval arithmeticvalidated numerics

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to algebraic geometry (14-04) Computational aspects of algebraic curves (14Q05) Geometric aspects of numerical algebraic geometry (14Q65) Interval and finite arithmetic (65G30)

Recommendations

• The SARAG library: some algorithms in real algebraic geometry
• Robust certified numerical homotopy tracking
• Certified numerical homotopy tracking
• An approach for certifying homotopy continuation paths. Univariate case
• Exact symbolic-numeric computation of planar algebraic curves

Cites work

• A survey on Zariski pairs
• An improved interval Newton operator
• scientific article; zbMATH DE number 6174859 (Why is no real title available?)
• scientific article; zbMATH DE number 3281219 (Why is no real title available?)
• On the Fundamental Group of an Algebraic Curve
• Robust certified numerical homotopy tracking

Cited in

(9)

• Wirtinger curves, Artin groups, and hypocycloids
• SIROCCO
• Fundamental group of rational homology disk smoothings of surface singularities
• Torsion divisors of plane curves with maximal flexes and Zariski pairs
• Validated numerics for algebraic path tracking
• The realization spaces of certain conic-line arrangements of degree 7
• On the topology of fiber-type curves: an affine Zariski pair of nodal curves
• Superisolated singularities and friends
• The realization space of a certain conic-line arrangement of degree 7 and a _1-equivalent Zariski pair

Describes a project that uses

Uses Software

• Macaulay2
• SageMath
• pss5
• GitHub

This page was built for publication: SIROCCO: a library for certified polynomial root continuation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2819216)