
Bertini
 Referenced in 250 articles
[sw06683]
 Numerical Algebraic Geometry. Software for solving polynomial systems. Finds isolated solutions using totaldegree start...

FGb
 Referenced in 247 articles
[sw00286]
 efficient program written in C for solving polynomial systems. The purpose of the FGb library...

HOM4PS
 Referenced in 81 articles
[sw00410]
 HOM4PS2.0: a software package for solving polynomial systems by the polyhedral homotopy continuation method ... polyhedral homotopy continuation method for solving polynomial systems. It updates its original version HOM4PS...

RAGlib
 Referenced in 65 articles
[sw00774]
 library for real solving polynomial systems of equations and inequalities. RAGlib is a Maple package ... study of real solutions of polynomial systems of equations and inequalities such as testing ... RAGlib Maple package allows to solve polynomial systems of equations/inequalities over the reals. Provided functionalities...

Kronecker
 Referenced in 117 articles
[sw00495]
 Magma computer algebra system for solving systems of polynomial equations and inequations...

INTLAB
 Referenced in 464 articles
[sw04004]
 structured matrices) sparse s.p.d. linear systems systems of nonlinear equations (including unconstrained optimization) roots ... clusters) quadrature for univariate functions univariate polynomial zeros (simple and clusters) interval arithmetic for real ... mode, vectorized computations, fast) Gradients (to solve systems of nonlinear equations) Hessians (for global optimization ... simple) univariate functions univariate and multivariate (interval) polynomials rigorous real interval standard functions (fast, very...

Epsilon
 Referenced in 44 articles
[sw00244]
 differential) polynomials, decompose polynomial systems into triangular systems of various kinds (regular, normal, simple, irreducible ... polynomials over algebraic extension fields, solve systems of polynomial equations and inequations, and handle...

PoSSo
 Referenced in 31 articles
[sw04646]
 illustrate, compare, evaluate different methods for solving polynomial systems. system. the latex source is also...

MixedVol
 Referenced in 29 articles
[sw00581]
 support of a system of n polynomials in n variables. The software produces the mixed ... mixed cells are crucial for solving polynomial systems by the polyhedral homotopy continuation method...

POLSYS_PLP
 Referenced in 18 articles
[sw01238]
 partitioned linear product homotopy code for solving polynomial systems of equations. The problem of solving...

HomotopyContinuation
 Referenced in 32 articles
[sw22100]
 HomotopyContinuation.jl  a package for solving systems of polynomial equations in Julia. This paper is gives...

DISCOVERER
 Referenced in 56 articles
[sw07719]
 short) solving. An SAS consists of polynomial equations and polynomial inequalities. Algorithms for quantifier elimination ... work of complete discrimination systems of polynomials [33,31],, we invented new theories and algorithms ... solving and partly implemented them as a real symbolic computation tool in Maple named DISCOVERER ... solving itself, termination analysis and invariant generation of programs, and reachability computation of hybrid systems...

PHClab
 Referenced in 16 articles
[sw09668]
 Polynomial Homotopy Continuation, to numerically solve systems of polynomial equations. The executable program “phc” produced ... MPITB) for Octave to solve a list of polynomial systems. PHClab also interfaces...

MonodromySolver
 Referenced in 10 articles
[sw27121]
 Macaulay2 package MonodromySolver  solve polynomial systems via homotopy continuation and monodromy. This package provides randomized ... complex numbers. As described in ”Solving polynomial systems via homotopy continuation and monodromy” (2016), these...

SMRSOFT
 Referenced in 38 articles
[sw12217]
 toolbox for solving basic optimization problems over polynomials and studying dynamical systems via SOS programming...

PHoM
 Referenced in 30 articles
[sw04645]
 PHoM include some large polynomial systems that have not been solved previously...

NAG4M2
 Referenced in 14 articles
[sw08785]
 polynomial homotopy continuation to solve systems of polynomial equations and describe positivedimensional complex algebraic...

Hom4PS3
 Referenced in 11 articles
[sw08783]
 need to numerically solve systems of polynomial equations occurs frequently in various fields of mathematics ... reliable class of numerical methods for solving these systems. Hom4PS ... software package for solving systems of polynomial equations that implements many different numerical homotopy methods...

POLSYS_GLP
 Referenced in 9 articles
[sw07346]
 general linear product homotopy code for solving polynomial systems of equations Globally convergent, probability...