SLV: a software for real root isolation

Elias Tsigaridas (1)

1 PolSys - Polynomial Systems

SLV is a software package in C that provides routines for isolating (and subsequently refine) the real roots of univariate polynomials with integer or rational coefficients based on subdivision algorithms. Special attention is given so that the package can handle polynomials that have degree several thousands and size of coefficients hundreds of Megabytes. Currently the code consists of ∼5 000 lines.

Domaines: Calcul formel [cs.SC]

Elias Tsigaridas. SLV: a software for real root isolation . ACM Communications in Computer Algebra, 2016, 50 (3), pp.117 - 120. ⟨10.1145/3015306.3015317⟩. ⟨hal-01422209⟩