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 months ago
Alternatives and similar repositories for cutgeneratingfunctionology:
Users that are interested in cutgeneratingfunctionology are comparing it to the libraries listed below
- Interface to Polymake using CxxWrap☆29Updated this week
- Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit☆79Updated 5 months ago
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆45Updated last week
- Julia package for the Singular library☆20Updated 3 years ago
- Tensor algebra abstract type interoperability setup☆43Updated 3 months ago
- Generic abstract algebra functionality in pure Julia (no C dependencies)☆55Updated 2 years ago
- Exact representation and calculation with roots (e.g. square roots) and their addition/multiplication☆30Updated 5 months ago
- Free group automorphisms and train-track representative in python/sage☆10Updated 7 months ago
- Julia implementation of the simplex algorithm for rational numbers.☆14Updated 6 years ago
- Tangent bundle, vector space and Submanifold definition☆50Updated 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…☆36Updated last year
- Julia package for the Singular library☆35Updated this week
- Much faster than BigFloat at precisions up to 3,500 bits (1050 digits)☆26Updated 6 years ago
- Permutations class for Julia.☆51Updated last month
- An Extensible Test Matrix Collection for Julia☆75Updated 3 months ago
- Abstract operators for large scale optimization in Julia☆30Updated 10 months ago
- Crowdsourcing project for the database of numbers of isomorphism types of finite groups☆11Updated last year
- Julia bindings to the SAT solver picosat☆31Updated last year
- A collection of special mathematical functions☆35Updated 9 months ago
- Extension of MultivariatePolynomials to semialgebraic sets☆23Updated 5 months ago
- Interface to DASKR, a differential algebraic system solver for the SciML scientific machine learning ecosystem☆11Updated 4 months ago
- Native Jupyter kernel for GAP☆19Updated 2 months ago
- A Py.Test-like testing framework for Julia☆13Updated 4 years ago
- A Julia interface to the Coin-OR Linear Programming solver (CLP)☆52Updated 2 months ago
- Interval contractors and inverse (reverse) functions for Julia☆10Updated 6 months ago
- Easy Unicode input for Atom☆40Updated 6 years ago
- An efficient symbolic term rewriting engine☆77Updated 4 years ago
- Exact linear algebra functions☆42Updated 6 months ago
- Typeset scattered graph data rewriter based on LaTeX nodes☆13Updated 3 years ago
- Multivectors for geometric algebra☆24Updated 2 years ago