The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.

A Julia package for solving systems of polynomials via homotopy continuation.

The primary source code repository for PHCpack, a software package to solve polynomial systems with homotopy continuation methods.

🧮 Polynomial Calculator

software for real algebraic sets

PRoTECT is an open-source software tool, with a user-friendly GUI, for the purposes of formal verification using polynomial-type barrier certificates for safety specifications. PRoTECT can handle discrete-time stochastic systems, continuous-time stochastic systems, discrete-time deterministic systems and continuous-time deterministic systems.

DecomposingPolynomialSystems.jl is a Julia package that decomposes (simplifies) a given polynomial system using tools from numerical algebraic geometry.

A python wrapper to the fortran package POLSYS_PLP that solve polynomial systems with homotopy method.