AlgebraicJulia / AlgebraicOptimization.jlLinks
☆19Updated last week
Alternatives and similar repositories for AlgebraicOptimization.jl
Users that are interested in AlgebraicOptimization.jl are comparing it to the libraries listed below
Sorting:
- Groebner bases in (almost) pure Julia☆74Updated 3 weeks ago
- A domain specific language (DSL) for probabilistic graphical models☆64Updated last week
- A framework for composing and simulating multiphysics systems☆79Updated this week
- Build Petri net models compositionally☆90Updated 5 months ago
- Structured decompositions!☆15Updated 10 months ago
- Interface to multicore QR factorization qr_mumps☆18Updated last month
- Multivariate polynomials implementation of commutative and non-commutative variables☆67Updated 4 months ago
- Specify satisfiability modulo theories problems in Julia and use the SMT-LIB format to interact with SMT solvers.☆52Updated 2 weeks ago
- Create NLPModels with JuMP☆38Updated 3 weeks ago
- ☆44Updated 3 weeks ago
- SciMLOperators.jl: Matrix-Free Operators for the SciML Scientific Machine Learning Common Interface in Julia☆54Updated last week
- Julia package for the Singular library☆35Updated this week
- GAP packages for Julia integration☆83Updated last week
- ☆16Updated 2 weeks ago
- A library of premade problems for examples and testing differential equation solvers and other SciML scientific machine learning tools☆90Updated last month
- Parameterise all the things☆123Updated last month
- Data Structures for Optimization Models☆186Updated this week
- Julia interface to Z3☆71Updated 2 months ago
- ☆50Updated last week
- Basic interface for manifolds in Julia☆86Updated last month
- A MathOptInterface.jl interface to the MOSEK solver☆29Updated 6 months ago
- Reachability analysis for closed-loop control systems in Julia☆47Updated last week
- Systems definitions in Julia☆44Updated last week
- ODE integration using Taylor's method, and more, in Julia☆138Updated this week
- Definition of dynamical systems types and API for DynamicalSystems.jl☆57Updated 2 weeks ago
- A Julia interface to AMPL-enabled solvers☆83Updated 3 months ago
- Calculate rigorously the feasible region for a set of real-valued inequalities with Julia☆67Updated last year
- cdd wrapper module for Julia. cdd is a library for polyhedra manipulation such as double description and Fourier-Motzkin elimination☆39Updated this week
- Simplicial Sets and the Discrete Exterior Calculus☆41Updated this week
- An abstract interface for automatic differentiation.☆140Updated last year