Updated 10 months ago
m2
The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
Updated 10 months ago
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.