JuliaAlgebra / SemialgebraicSets.jl
Extension of MultivariatePolynomials to semialgebraic sets
☆22Updated last month
Related projects ⓘ
Alternatives and complementary repositories for SemialgebraicSets.jl
- MultivariatePolynomials implementation using typed variables in Julia☆25Updated last year
- Extension of MultivariatePolynomials to moments of multivariate measures☆12Updated 2 months ago
- Set Programming with JuMP☆20Updated 2 months ago
- Fast evaluation of multivariate polynomials☆16Updated last year
- Fancy memoizing for expensive functions in Julia.☆18Updated 4 years ago
- A static method overlay and optimization tool with configurable code generation and execution.☆54Updated 2 years ago
- Multivariate polynomials implementation of commutative and non-commutative variables☆59Updated 4 months ago
- Carry your own cache.☆23Updated 4 years ago
- Syntactic sugar for BLAS polynomials☆30Updated 5 years ago
- Concrete type inheritance for Julia☆25Updated 5 years ago
- Interface to the Mosek solver in Julia☆49Updated this week
- JuMP extensions for constraint programming.☆16Updated 4 years ago
- Under some conditions you may need this function☆19Updated 2 years ago
- Enclosures of real-valued functions in Julia☆22Updated 3 weeks ago
- Simple utilities for debugging julia code☆25Updated 3 years ago
- cdd wrapper module for Julia. cdd is a library for polyhedra manipulation such as double description and Fourier-Motzkin elimination☆36Updated 4 months ago
- Project Management tools, with a particular focus on PERT charts☆25Updated 2 years ago
- ☆52Updated 2 months ago
- Julia package for the plotting of plane curves and surfaces☆25Updated last year
- Unrolling loops at compile-time☆51Updated last year
- A Julia library for polyhedral computations☆13Updated 3 years ago
- A package for fast evaluation of multivariate polynomials.☆12Updated 3 years ago
- Concise type definitions☆43Updated 10 months ago
- Interface to Polymake using CxxWrap☆29Updated 3 weeks ago
- (experimental) tracing and abstract interpretation with SymbolicUtils.jl☆22Updated 3 years ago
- Utilities to efficiently track learning curves or other optimization information☆30Updated 3 years ago
- Deprecated. Please use Git.jl instead: https://github.com/JuliaVersionControl/Git.jl☆22Updated 3 years ago
- Julia package for working with special matrix types.☆39Updated 5 months ago
- ☆25Updated 4 years ago
- A Julia interface to the Coin-OR solver CSDP☆21Updated 10 months ago