software for Real Solving

SLV is an open source C library for isolating and approximating the real roots of univariate polynomials with integer coefficients.
Given a square-free polynomial with integer coefficients it computes disjoint intervals with rational endpoints, each containing one and only one real root of the polynomial.
Currently SLV is using Descartes' algorithm. In the near future an implementation of the Continued Fraction algorithm (CF) will be also available.


(version 0.5)

Get source code

Short Tutorial

Relevant publications and links: [EMT10] [TE08] [T12] [RZ04] SYNAPS