• Bertini

  • Referenced in 250 articles [sw06683]
  • Numerical Algebraic Geometry. Software for solving polynomial systems. Finds isolated solutions using total-degree 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]
  • HOM4PS-2.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 positive-dimensional complex algebraic...
  • Hom4PS-3

  • 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...