mkoeppe / cutgeneratingfunctionologyLinks
Python code for computation and experimentation with cut-generating functions, in particular the Gomory-Johnson infinite group problem. By M. Köppe, Y. Zhou, C.Y. Hong, J. Wang with contributions by undergrad programmers
☆12Updated 6 months ago
Alternatives and similar repositories for cutgeneratingfunctionology
Users that are interested in cutgeneratingfunctionology are comparing it to the libraries listed below
Sorting:
- Interface to Polymake using CxxWrap☆27Updated 3 weeks ago
- Julia package for the Singular library☆20Updated 3 years ago
- Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit☆80Updated 9 months ago
- Permutations class for Julia.☆52Updated 5 months ago
- Exact representation and calculation with roots (e.g. square roots) and their addition/multiplication☆29Updated 9 months ago
- Julia implementation of the simplex algorithm for rational numbers.☆14Updated 6 years ago
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆48Updated 3 weeks ago
- Tensor algebra abstract type interoperability setup☆43Updated 7 months ago
- Embedded algebraic number fields☆13Updated 2 weeks ago
- Julia package for the Singular library☆34Updated this week
- An efficient symbolic term rewriting engine☆77Updated 4 years ago
- Extension of MultivariatePolynomials to semialgebraic sets☆22Updated 8 months ago
- ☆15Updated 2 years ago
- ☆9Updated 9 months ago
- Julia bindings to the SAT solver picosat☆30Updated last year
- Generic abstract algebra functionality in pure Julia (no C dependencies)☆54Updated 3 years ago
- Matrices with interval coefficients in Julia☆19Updated 2 months ago
- Abstract operators for large scale optimization in Julia☆30Updated last year
- Automatic probabilistic programming for scientific machine learning and dynamical models☆35Updated last year
- The primary source code repository for PHCpack, a software package to solve polynomial systems with homotopy continuation methods.☆68Updated 3 weeks ago
- Tangent bundle, vector space and Submanifold definition☆50Updated 3 months ago
- Represent modular arithmetic via clock symbols☆23Updated 3 years ago
- (experimental) tracing and abstract interpretation with SymbolicUtils.jl☆22Updated 4 years ago
- Interface to DASKR, a differential algebraic system solver for the SciML scientific machine learning ecosystem☆11Updated 8 months ago
- Fast complex polynomial root finder, with support for arbitrary precision calculations☆55Updated 2 years ago
- Common interface for symbolic terms, allowing symbolic libraries with different underlying structures to interact and convert☆38Updated 6 months ago
- Reimplemented complex arithmetic in Julia with a single infinity and NaN.☆9Updated 10 months ago
- Binaries for mathematicians☆9Updated 3 months ago
- Mathematica syntax for Symata.jl☆13Updated 5 years ago
- Rigorous global optimisation☆59Updated last month