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 3 months ago
Alternatives and similar repositories for cutgeneratingfunctionology:
Users that are interested in cutgeneratingfunctionology are comparing it to the libraries listed below
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆45Updated last month
- Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit☆79Updated 6 months ago
- Free group automorphisms and train-track representative in python/sage☆10Updated 7 months ago
- Tensor algebra abstract type interoperability setup☆43Updated 4 months ago
- Julia package for the Singular library☆20Updated 3 years ago
- Combinatorial Matrix Recognition☆9Updated last week
- Interface to Polymake using CxxWrap☆29Updated last month
- Julia package for the Singular library☆35Updated this week
- Permutations class for Julia.☆51Updated 2 months ago
- Tangent bundle, vector space and Submanifold definition☆50Updated 3 weeks ago
- An efficient symbolic term rewriting engine☆77Updated 4 years ago
- Julia implementation of the simplex algorithm for rational numbers.☆14Updated 6 years ago
- The primary source code repository for PHCpack, a software package to solve polynomial systems with homotopy continuation methods.☆66Updated last month
- Abstract operators for large scale optimization in Julia☆30Updated 11 months ago
- A software package for algebraic, geometric and combinatorial problems on linear spaces. By R. Hemmecke, R. Hemmecke, M. Köppe, P. Malkin…☆37Updated last year
- LattE integrale, software for counting lattice points and integration over convex polytopes☆47Updated last year
- Julia bindings to the SAT solver picosat☆31Updated last year
- Fast Walsh-Hadamard transforms for the Julia language☆38Updated 3 months ago
- Interface to DASKR, a differential algebraic system solver for the SciML scientific machine learning ecosystem☆11Updated 5 months ago
- An Extensible Test Matrix Collection for Julia☆75Updated 4 months ago
- Extension of MultivariatePolynomials to semialgebraic sets☆22Updated 5 months ago
- Much faster than BigFloat at precisions up to 3,500 bits (1050 digits)☆26Updated 6 years ago
- Extended precision arithmetic for Julia (deprecated)☆26Updated last year
- A Julia library for automated deduction in Euclidean geometry.☆23Updated 2 years ago
- Generic abstract algebra functionality in pure Julia (no C dependencies)☆55Updated 2 years ago
- A Py.Test-like testing framework for Julia☆13Updated 4 years ago
- Exact representation and calculation with roots (e.g. square roots) and their addition/multiplication☆30Updated 6 months ago
- Learning Algebraic Varieties from Samples☆24Updated last year
- Embed code, results of computations, and plots from the Sage mathematics software suite (https://www.sagemath.org) into LaTeX documents. …☆62Updated 2 years ago
- A framework for composing and simulating multiphysics systems☆61Updated 3 weeks ago