JuliaReach / MathematicalSystems.jlLinks
Systems definitions in Julia
☆44Updated last week
Alternatives and similar repositories for MathematicalSystems.jl
Users that are interested in MathematicalSystems.jl are comparing it to the libraries listed below
Sorting:
- Discrete event generation and simulation in Julia☆65Updated 2 years ago
- Calculate rigorously the feasible region for a set of real-valued inequalities with Julia☆67Updated last year
- Rigorous function approximation using Taylor models in Julia☆64Updated last week
- A package which provides an API for querying differentiation results at multiple orders simultaneously☆37Updated 2 months ago
- Set Programming with JuMP☆23Updated last month
- ☆50Updated last week
- A Julia package for describing domains as continuous sets of elements☆77Updated 3 months ago
- ☆44Updated 3 weeks ago
- Reachability analysis for closed-loop control systems in Julia☆47Updated last week
- Julia math built-ins which return NaN and accumulator functions which ignore NaN☆56Updated last month
- Rigorous global optimisation☆63Updated 5 months ago
- cdd wrapper module for Julia. cdd is a library for polyhedra manipulation such as double description and Fourier-Motzkin elimination☆39Updated this week
- Benchmark tools for solvers☆23Updated 3 weeks ago
- Definition of dynamical systems types and API for DynamicalSystems.jl☆57Updated 2 weeks ago
- A simple domain-specific language (DSL) for defining differential equations for use in scientific machine learning (SciML) and other appl…☆78Updated this week
- Efficiently solving instances of a parameterized family of (possibly mixed-integer) linear/quadratic optimization problems in Julia☆73Updated 4 years ago
- Hybrid Systems definitions in Julia☆30Updated last month
- MultivariatePolynomials implementation using typed variables in Julia☆27Updated 5 months ago
- Julia's CUTEst Interface☆60Updated last week
- Interface to the Mosek solver in Julia☆56Updated 9 months ago
- Can do or not? It's easy. See https://tk3369.github.io/BinaryTraits.jl/dev/☆54Updated 2 years ago
- Easy scientific machine learning (SciML) parameter estimation with pre-built loss functions☆63Updated 3 weeks ago
- Tools for mapping between Julia structs and 2D tabular data.☆55Updated last year
- Distances to sets for MathOptInterface☆27Updated 3 months ago
- A JuMP extension for Polynomial Optimization☆45Updated 3 months ago
- Flow algorithms on Graphs.jl☆29Updated last month
- Minimal-dependency, lazy, performant, flexible, JSON for Julia.☆22Updated 10 months ago
- High-performance parallel and distributed datastore for Julia☆25Updated 7 months ago
- Draw Julia syntax trees as a graph☆87Updated last year
- Some tools for working with threads in Julia☆39Updated this week