-
ISOLATE
- Referenced in 218 articles
[sw07741]
- roots of a univariate polynomial using Descartes’ rule of signs. It follows work of Vincent ... known algorithms based on Descartes’ rule of sign and the bisection strategy in a unified...
-
ANewDsc
- Referenced in 11 articles
[sw19984]
- univariate real polynomial. The method combines Descartes? Rule of Signs to test intervals ... highly efficient realization of the classical Descartes method and currently serves as the default real...
-
SLV
- Referenced in 3 articles
[sw20783]
- realizes a subdivision algorithm based on Descartes’ rule of sign, with modifications to improve ... upon a constant memory variant of Descartes’ rule of sign [F. Rouillier and P. Zimmermann...
-
rootsur.lib
- Referenced in 3 articles
[sw10984]
- means of several different methods, namely Descartes’ rule of signs, the Budan-Fourier theorem, Sturm...
-
CGAL
- Referenced in 394 articles
[sw00118]
- The goal of the CGAL Open Source Project...
-
Maple
- Referenced in 5373 articles
[sw00545]
- The result of over 30 years of cutting...
-
Mathematica
- Referenced in 6355 articles
[sw00554]
- Almost any workflow involves computing results, and that...
-
PHCpack
- Referenced in 236 articles
[sw00705]
- Algorithm 795: PHCpack: A general-purpose solver for...
-
RAGlib
- Referenced in 65 articles
[sw00774]
- A library for real solving polynomial systems of...
-
SageMath
- Referenced in 1994 articles
[sw00825]
- Sage (SageMath) is free, open-source math software...
-
MPFR
- Referenced in 226 articles
[sw03312]
- The MPFR library is a C library for...
-
QSopt_ex
- Referenced in 27 articles
[sw04722]
- QSopt-Exact. The objective of this software is...
-
TOPCOM
- Referenced in 65 articles
[sw04867]
- TOPCOM: Triangulations of point configurations and oriented matroids...
-
MPSolve
- Referenced in 14 articles
[sw05298]
- Polynomial Computations The research in this field concerns...
-
Bertini
- Referenced in 253 articles
[sw06683]
- Bertini™: Software for Numerical Algebraic Geometry. Software for...
-
alphaCertified
- Referenced in 50 articles
[sw07351]
- Algorithm 921: alphaCertified: Certifying solutions to polynomial systems...
-
na20
- Referenced in 78 articles
[sw11505]
- Design, analysis, and implementation of a multiprecision polynomial...
-
Eigensolve
- Referenced in 25 articles
[sw11986]
- An iterated eigenvalue algorithm for approximating roots of...
-
Python
- Referenced in 2091 articles
[sw14460]
- Python is a widely used high-level, general...