SLV: a software for real root isolation


The problem of isolating the real roots of a univariate polynomial with integer coefficients is an important problem in computational mathematics. Given a polynomial with integer coefficients, [EQUATION], the objective is to isolate the real roots of <i>f</i>, that is to compute intervals with rational endpoints that contain one and only one root of <i>f… (More)
DOI: 10.1145/3015306.3015317


3 Figures and Tables