Popular repositories Loading

1. FPKriSten FPKriSten Public

   Roundoff error bounds computed with Krivine-Stengle representations

   HTML

2. FPBern FPBern Public

   Roundoff error bounds computed with Bernstein expansion

   MATLAB

3. sapo sapo Public

   Forked from sapotools/sapo

   Reachability analysis and synthesis of parameters for polynomial dynamical systems

   C++

4. BernsteinExpansions.jl BernsteinExpansions.jl Public

   Forked from JuliaReach/BernsteinExpansions.jl

   A Julia package to compute Bernstein coefficients of multivariate polynomials

   Julia

5. siconos siconos Public

   Forked from siconos/siconos

   Simulation framework for nonsmooth dynamical systems

   C++

6. OGTT_Simulations OGTT_Simulations Public

   Simulations in Julia of cadmium effects on an OGTT version of the model MINMOD.

   Jupyter Notebook