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 5 months ago
Alternatives and similar repositories for cutgeneratingfunctionology
Users that are interested in cutgeneratingfunctionology are comparing it to the libraries listed below
Sorting:
- Julia implementation of the simplex algorithm for rational numbers.☆14Updated 6 years ago
- Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit☆80Updated 8 months ago
- Abstract operators for large scale optimization in Julia☆30Updated last year
- An efficient symbolic term rewriting engine☆77Updated 4 years ago
- Tensor algebra abstract type interoperability setup☆43Updated 6 months ago
- Binaries for mathematicians☆9Updated 2 months ago
- Julia package for polynomial optimization using semidefinite optimization.☆16Updated 4 years ago
- Extension of MultivariatePolynomials to semialgebraic sets☆22Updated 8 months ago
- A collection of special mathematical functions☆35Updated last year
- Interface to Polymake using CxxWrap☆28Updated this week
- Julia bindings to the SAT solver picosat☆30Updated last year
- The primary source code repository for PHCpack, a software package to solve polynomial systems with homotopy continuation methods.☆67Updated last week
- Generic abstract algebra functionality in pure Julia (no C dependencies)☆54Updated 2 years ago
- Rigorous floating-point calculations with interval arithmetic in Julia☆85Updated 6 months ago
- An Extensible Test Matrix Collection for Julia☆82Updated 6 months ago
- Exact representation and calculation with roots (e.g. square roots) and their addition/multiplication☆29Updated 8 months ago
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆47Updated this week
- Embedded algebraic number fields☆13Updated last month
- Tangent bundle, vector space and Submanifold definition☆50Updated 2 months ago
- ☆10Updated 8 months ago
- Jupyter wrapper kernel for singular☆10Updated 11 months ago
- Reachability analysis for closed-loop control systems in Julia☆46Updated last month
- A software package for algebraic, geometric and combinatorial problems on linear spaces. By R. Hemmecke, R. Hemmecke, M. Köppe, P. Malkin…☆38Updated last week
- LattE integrale, software for counting lattice points and integration over convex polytopes☆48Updated last month
- Julia package for the Singular library☆34Updated this week
- Permutations class for Julia.☆52Updated 4 months ago
- Fast "anonymous functions" for Julia☆30Updated 5 years ago
- A Julia interface to the Coin-OR solver CSDP☆21Updated 2 months ago
- Calculate rigorously the feasible region for a set of real-valued inequalities with Julia☆66Updated 6 months ago
- Julia package for the Singular library☆20Updated 3 years ago