… kernel, their conclusions on their set of solvers are similar to ours. In this work we perform
experiments with 6 additional solvers, and perform experiments on a richer variety of datasets. …

[inria-00340887, v2] Experimental evaluation and cross-benchmarking of univariate real
solvers Page 1 ISSN 0249-6399 apport de recherche Thшme SYM INSTITUT NATIONAL DE …

… set of experimental results from cross-benchmarking 3 univariate … We have tested~6 solvers
from the INRIA kernel, which are … Fractions (CF); two solvers from the MPI kernel, namely \…

… for isolating the real roots of univariate polynomials with integer … Experiments We perform
various experiments on various data sets and we compared SLV with various available solvers…

… the computation of roots of univariate polynomials (the root solver of the univariate kernel). …
, we invite developers to integrate their root solvers into our kernel. On top of our kernel, …

… In this paper, the domain will be the real numbers and the countable dense subset will be …
Experimental evaluation and cross-benchmarking of univariate real solvers. In: Proceedings …

… univariate polynomial is one of the most prominent problems in Computer Algebra. For the
case that only real … [13] for a recent experimental comparison on various modern root solvers. …

… This paper revisits an algorithm for isolating real roots of univariate polynomials based on
… the solvers based on CF are among the best methods. In this paper we modify a real root …

… Experimental evaluation and cross-benchmarking of univariate real solvers. In SNC ’09:
Proceedings of the 2009 conference on Symbolic numeric computation, pages …

Suppose f is a real univariate polynomial of degree D with exactly 4 monomial terms. We
present an algorithm, with complexity polynomial in log D on average (relative to the stable log-…