GitHub topics: polynomial-systems
Macaulay2/M2
The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
Language: Macaulay2 - Size: 93.5 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 373 - Forks: 252
JuliaHomotopyContinuation/HomotopyContinuation.jl
A Julia package for solving systems of polynomials via homotopy continuation.
Language: Julia - Size: 13.9 MB - Last synced at: 19 days ago - Pushed at: 19 days ago - Stars: 195 - Forks: 32
ofloveandhate/bertini_real
software for real algebraic sets
Language: C++ - Size: 95.1 MB - Last synced at: 6 days ago - Pushed at: 24 days ago - Stars: 10 - Forks: 24
janverschelde/PHCpack
The primary source code repository for PHCpack, a software package to solve polynomial systems with homotopy continuation methods.
Language: Ada - Size: 45.4 MB - Last synced at: 29 days ago - Pushed at: 29 days ago - Stars: 67 - Forks: 22
nennigb/pypolsys
A python wrapper to the fortran package POLSYS_PLP that solve polynomial systems with homotopy method.
Language: Fortran - Size: 178 KB - Last synced at: 21 days ago - Pushed at: about 2 months ago - Stars: 2 - Forks: 0
MultivariatePolynomialSystems/DecomposingPolynomialSystems.jl
DecomposingPolynomialSystems.jl is a Julia package that decomposes (simplifies) a given polynomial system using tools from numerical algebraic geometry.
Language: Julia - Size: 6.64 MB - Last synced at: 15 days ago - Pushed at: 3 months ago - Stars: 6 - Forks: 3
Kiguli/PRoTECT
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.
Language: Python - Size: 161 MB - Last synced at: 3 months ago - Pushed at: 8 months ago - Stars: 5 - Forks: 1
Zeta611/polycalc
🧮 Polynomial Calculator
Language: C - Size: 155 KB - Last synced at: 3 months ago - Pushed at: over 2 years ago - Stars: 12 - Forks: 0
