Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: polynomial-systems

janverschelde/PHCpack

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

Language: Ada - Size: 45.5 MB - Last synced at: 2 days ago - Pushed at: 3 days ago - Stars: 57 - Forks: 20

Macaulay2/M2

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

Language: Macaulay2 - Size: 87.2 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 327 - Forks: 224

JuliaHomotopyContinuation/HomotopyContinuation.jl

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

Language: Julia - Size: 13.3 MB - Last synced at: 20 days ago - Pushed at: 20 days ago - Stars: 174 - Forks: 30

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: 10 days ago - Pushed at: 16 days ago - Stars: 5 - Forks: 1

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: 2.13 MB - Last synced at: 21 days ago - Pushed at: 21 days ago - Stars: 4 - Forks: 0

ofloveandhate/bertini_real

software for real algebraic sets

Language: C++ - Size: 94.9 MB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 8 - Forks: 24

Zeta611/polycalc

Polynomial Calculator

Language: C - Size: 155 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 12 - Forks: 0

nennigb/pypolsys

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

Language: Fortran - Size: 162 KB - Last synced at: about 1 month ago - Pushed at: 8 months ago - Stars: 2 - Forks: 0

Related Keywords
polynomial-systems 8 algebraic-geometry 4 polynomials 3 homotopy-continuation 2 symbolic-computation 2 julia 2 numerical-algebraic-geometry 2 polynomial-arithmetic 2 mathematics 2 homotopy 2 bertini 1 sum-of-squares 1 curves 1 stochastic-systems 1 safety-verification 1 discrete-time-stochastic-systems 1 numerical-methods 1 discrete-time-deterministic-systems 1 gpu-acceleration 1 real-algebraic-geometry 1 surfaces 1 math 1 polynomial 1 polynomial-equations 1 polynomial-multiplication 1 symbolic 1 symbolic-math 1 f2py 1 multivariate-polynomials 1 wrapper 1 homotopy-continuation-methods 1 parallel-computing 1 commutative-algebra 1 groebner-basis 1 homological-algebra 1 interpreted-programming-language 1 modules 1 projective-geometry 1 resolutions 1 rings 1 nonlinear-algebra 1 polynomial-system-solving 1 decomposing-polynomial-systems 1 polynomial-systems-with-symmetries 1 barrier-certificates 1 barrier-functions 1 continuous-time-deterministic-systems 1 continuous-time-stochastic-systems 1 deterministic-systems 1