Topic: "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: 90 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 362 - Forks: 248
JuliaHomotopyContinuation/HomotopyContinuation.jl
A Julia package for solving systems of polynomials via homotopy continuation.
Language: Julia - Size: 13.8 MB - Last synced at: 4 days ago - Pushed at: 4 days ago - Stars: 193 - Forks: 32
janverschelde/PHCpack
The primary source code repository for PHCpack, a software package to solve polynomial systems with homotopy continuation methods.
Language: Ada - Size: 45.7 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 59 - Forks: 21
Zeta611/polycalc
🧮 Polynomial Calculator
Language: C - Size: 155 KB - Last synced at: 18 days ago - Pushed at: over 2 years ago - Stars: 12 - Forks: 0
ofloveandhate/bertini_real
software for real algebraic sets
Language: C++ - Size: 95 MB - Last synced at: 4 days ago - Pushed at: 16 days ago - Stars: 9 - Forks: 24
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.43 MB - Last synced at: 12 days ago - Pushed at: 12 days ago - Stars: 6 - Forks: 2
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: 14 days ago - Pushed at: 6 months ago - Stars: 5 - Forks: 1
nennigb/pypolsys
A python wrapper to the fortran package POLSYS_PLP that solve polynomial systems with homotopy method.
Language: Fortran - Size: 181 KB - Last synced at: 8 days ago - Pushed at: 9 days ago - Stars: 2 - Forks: 0
