mkoeppe / cutgeneratingfunctionology
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 2 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for cutgeneratingfunctionology
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆43Updated last week
- Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit☆78Updated last month
- Julia implementation of the simplex algorithm for rational numbers.☆13Updated 6 years ago
- Tensor algebra abstract type interoperability setup☆43Updated this week
- Interface to Polymake using CxxWrap☆29Updated last month
- Abstract operators for large scale optimization in Julia☆30Updated 7 months ago
- Generic abstract algebra functionality in pure Julia (no C dependencies)☆55Updated 2 years ago
- Julia package for polynomial optimization using semidefinite optimization.☆16Updated 4 years ago
- Julia interface to CVXOPT☆11Updated 4 years ago
- Julia package for the Singular library☆33Updated this week
- The primary source code repository for PHCpack, a software package to solve polynomial systems with homotopy continuation methods.☆59Updated 2 weeks ago
- A framework for composing and simulating multiphysics systems☆50Updated this week
- Julia package for the Singular library☆20Updated 3 years ago
- Exact representation and calculation with roots (e.g. square roots) and their addition/multiplication☆30Updated 2 months ago
- A software package for algebraic, geometric and combinatorial problems on linear spaces. By R. Hemmecke, R. Hemmecke, M. Köppe, P. Malkin…☆34Updated 8 months ago
- Extension of MultivariatePolynomials to semialgebraic sets☆22Updated last month
- Fast complex polynomial root finder, with support for arbitrary precision calculations☆54Updated last year
- A Binder repo for SageMath computing environment☆27Updated this week
- An efficient symbolic term rewriting engine☆77Updated 3 years ago
- Learning Algebraic Varieties from Samples☆24Updated 10 months ago
- Call Mathematica from Julia☆73Updated 4 years ago
- Julia bindings to the SAT solver picosat☆29Updated 10 months ago
- Finite fields for Julia☆48Updated last year
- LattE integrale, software for counting lattice points and integration over convex polytopes☆39Updated last year
- cdd wrapper module for Julia. cdd is a library for polyhedra manipulation such as double description and Fourier-Motzkin elimination☆36Updated 4 months ago
- Julia wrapper for the Spot LTL and automata manipulation library☆17Updated 5 months ago
- Multivectors for geometric algebra☆24Updated 2 years ago
- ☆14Updated 2 years ago
- Calculate rigorously the feasible region for a set of real-valued inequalities with Julia☆63Updated 2 months ago
- Library for multidimensional numerical integration with four independent algorithms: Vegas, Suave, Divonne, and Cuhre.☆78Updated last month