JuliaAlgebra / SemialgebraicSets.jlView external linksLinks
Extension of MultivariatePolynomials to semialgebraic sets
☆22Oct 8, 2024Updated last year
Alternatives and similar repositories for SemialgebraicSets.jl
Users that are interested in SemialgebraicSets.jl are comparing it to the libraries listed below
Sorting:
- MultivariatePolynomials implementation using typed variables in Julia☆27Sep 1, 2025Updated 5 months ago
- Fast evaluation of multivariate polynomials☆17Jun 26, 2023Updated 2 years ago
- Multivariate polynomials implementation of commutative and non-commutative variables☆67Sep 19, 2025Updated 4 months ago
- Extension of MultivariatePolynomials to moments of multivariate measures☆15Dec 22, 2025Updated last month
- Multivariate polynomials interface☆139Updated this week
- A package for fast evaluation of multivariate polynomials.☆12Oct 15, 2021Updated 4 years ago
- Hybrid Systems definitions in Julia☆30Dec 15, 2025Updated last month
- A JuMP extension for Polynomial Optimization☆45Oct 25, 2025Updated 3 months ago
- ☆16Aug 20, 2022Updated 3 years ago
- Julia package for the Singular library☆20Oct 12, 2021Updated 4 years ago
- Julia package for the plotting of plane curves and surfaces☆28Jun 27, 2023Updated 2 years ago
- A Julia interface to the Coin-OR solver CSDP☆21Oct 8, 2025Updated 4 months ago
- A Julia package for solving systems of polynomials via homotopy continuation.☆208Feb 6, 2026Updated last week
- CAS, Commutative Rings, Fraction Fields, Quotient Rings, Polynomial Rings, Galois Fields☆10Mar 24, 2025Updated 10 months ago
- Fast complex polynomial root finder, with support for arbitrary precision calculations☆58Dec 1, 2025Updated 2 months ago
- Dendriform di-algebra algorithms to compute using Loday's arithmetic on groves of planar binary trees☆16Dec 7, 2019Updated 6 years ago
- High precision replacements for Float64☆13Aug 12, 2018Updated 7 years ago
- Simple visualization for the RigidBodyDynamics.jl library☆13Feb 8, 2020Updated 6 years ago
- Set Programming with JuMP☆23Dec 31, 2025Updated last month
- cdd wrapper module for Julia. cdd is a library for polyhedra manipulation such as double description and Fourier-Motzkin elimination☆39Feb 5, 2026Updated last week
- A Julia library for automated deduction in Euclidean geometry.☆24Aug 20, 2022Updated 3 years ago
- Math functions and functors for numerical computations☆13Nov 6, 2017Updated 8 years ago
- lrs wrapper module for Julia☆15Jan 17, 2026Updated 3 weeks ago
- Julia package to facilitate graphing of implicit equations and inequalities☆41Nov 7, 2022Updated 3 years ago
- Information page for running sos solvers☆14Oct 25, 2021Updated 4 years ago
- Polyhedral Computation Interface☆182Feb 15, 2025Updated 11 months ago
- JuMP extensions for constraint programming.☆16Jun 5, 2020Updated 5 years ago
- Lie groups and algebra with some quaternions☆19Oct 14, 2025Updated 3 months ago
- Julia implementation of the simplex algorithm for rational numbers.☆15Jul 1, 2018Updated 7 years ago
- Tangent bundle, vector space and Submanifold definition☆51Jan 12, 2026Updated last month
- Interface to Polymake using CxxWrap☆30Updated this week
- Tensor algebra abstract type interoperability setup☆44Sep 3, 2025Updated 5 months ago
- Tensor algebra utility library☆19Jan 12, 2026Updated last month
- DEPRECATED: Interface between the GLPK.jl wrapper and MathProgBase.jl☆17Apr 18, 2024Updated last year
- Sum of Squares Programming for Julia☆126Nov 20, 2025Updated 2 months ago
- Efficiently solving instances of a parameterized family of (possibly mixed-integer) linear/quadratic optimization problems in Julia☆73Mar 26, 2021Updated 4 years ago
- Symbolic SMT solving for Julia using Z3 on Symbolics.jl expressions☆36Dec 27, 2025Updated last month
- Julia package for the Singular library☆35Updated this week
- Automatic transformation of implications and complementarity into mixed-integer models in Julia☆30Feb 8, 2020Updated 6 years ago