polynomial-systems

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

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

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.

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

TropicalHomotopies.jl: A package for constructing polynomial homotopies from tropical intersection data

Computational commutative algebra kernel implementing Faugère F4 Gröbner basis computation, Schreyer free resolution chains, Betti table extraction, Macaulay matrices, and primary ideal decomposition.