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
☆13Mar 31, 2026Updated 3 months ago
Alternatives and similar repositories for cutgeneratingfunctionology
Users that are interested in cutgeneratingfunctionology are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Sources for OpenDreamKit's website☆18Feb 23, 2024Updated 2 years ago
- Embedded algebraic number fields☆14Jul 6, 2026Updated 2 weeks ago
- ☆14Jun 14, 2025Updated last year
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆52Jul 9, 2026Updated last week
- Python interface to GAP☆18Jun 7, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A pytest plugin that allows for the testing of C extension modules for Python, specifically created through cython☆22Mar 11, 2026Updated 4 months ago
- Successor to PolyBoRi☆23May 20, 2026Updated 2 months ago
- Fast combinatorics in C++ using SSE/AVX instruction sets☆21Mar 25, 2026Updated 3 months ago
- Python for Mathematics: A book aimed at undergraduate mathematicians learning python☆26Jun 2, 2026Updated last month
- PPLite: convex polyhedra library for Abstract Interpretation☆31Jul 2, 2026Updated 2 weeks ago
- A SageMath package to compute gravitational radiation from bodies orbiting a Kerr black hole☆14Nov 19, 2024Updated last year
- Source for https://www.sagemath.org/library-publications.html; submit Issues/PRs here to add/update citations of documents citing Sage☆25Jun 15, 2026Updated last month
- MATLAB code for solving the Euclidean Distance Matrix completion problem.☆10Nov 20, 2017Updated 8 years ago
- Julia package for the Singular library☆20Oct 12, 2021Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆11Jun 3, 2026Updated last month
- A library for computing with Abelian functions, Riemann surfaces, and algebraic curves.☆31Jun 27, 2026Updated 3 weeks ago
- LiDIA --- A library for computational number theory, developed 1994-2004 by Johannes Buchmann's group at TU Darmstadt, relicensed to GPL …☆29May 1, 2025Updated last year
- Embed code, results of computations, and plots from the Sage mathematics software suite (https://www.sagemath.org) into LaTeX documents. …☆71Mar 28, 2023Updated 3 years ago
- The GAP package Semigroups☆29Jun 22, 2026Updated 3 weeks ago
- Web server to receive uploaded LaTeX and execute it in a docker container.☆17Updated this week
- Sparse n-dimensional arrays in Python☆12Feb 10, 2010Updated 16 years ago
- A package for protein conformational ensemble analyses based on a differential geometry representation of protein backbones.☆11Apr 26, 2026Updated 2 months ago
- Homebrew tap for GAP☆18Oct 20, 2025Updated 9 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Files related to my paper "Continuity of Godel's system T functionals via effectful forcing". MFPS'2013. Electronic Notes in Theoretical …☆11Sep 21, 2021Updated 4 years ago
- A tutorial for anyone wanting to use CoCalc, especially for teaching☆31Mar 8, 2019Updated 7 years ago
- Shit base 8 encoder☆14Nov 20, 2023Updated 2 years ago
- Source for jump.dev☆15Jul 8, 2026Updated last week
- Implementation of the "Text Classification using String Kernels" publication by Lodhi et al. (KTH DD2434 Project)☆12Oct 25, 2017Updated 8 years ago
- (Unofficial) Gentoo Overlay for Sage- and Sage-related ebuilds☆87Updated this week
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- Fortran computing core of the TT-Toolbox☆18Feb 25, 2025Updated last year
- Get println! & panics to work in WebAssembly☆19Apr 11, 2018Updated 8 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Emacs mode for editing MiniZinc model file☆12Apr 26, 2023Updated 3 years ago
- A software package for algebraic, geometric and combinatorial problems on linear spaces. By R. Hemmecke, R. Hemmecke, M. Köppe, P. Malkin…☆47Mar 5, 2026Updated 4 months ago
- The lecture notes for my discrete mathematics classes.☆19Jul 10, 2023Updated 3 years ago
- This training module provides you with instructions on how to deploy B2SAFE and B2STAGE. It also shows you how to use these services. Mor…☆16Dec 10, 2019Updated 6 years ago
- ☆26May 23, 2022Updated 4 years ago
- The tools for proper interactions between ApproxFun.jl and DifferentialEquations.jl for pseudospectiral partial differential equation dis…☆14Nov 30, 2020Updated 5 years ago
- example to create python and R bindings for C++ library via CMake☆11Sep 16, 2021Updated 4 years ago