mkoeppe
Professor of Mathematics, @sagemath core developer.
University of California, DavisDavis, CA, USA
Pinned Repositories
latte
LattE integrale, software for counting lattice points and integration over convex polytopes
bliss
bliss - compute graph automorphisms - by Tommi Junttila, Petteri Kaski - with patches from Debian and for SageMath. Archived because upstream has become active again in 2021.
cl-bibtex
A compatible re-implementation of the BibTeX program in Common Lisp, with a BST-to-CL compiler. By Matthias Köppe
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
cysignals
cysignals: interrupt and signal handling for Cython
fpylll
A Python interface for https://github.com/fplll/fplll (personal fork)
LiDIA
LiDIA --- A library for computational number theory, developed 1994-2004 by Johannes Buchmann's group at TU Darmstadt, relicensed to GPL 2+ in 2006/2010. Not under active development. Minimal patches for using it within the LattE integrale project.
lrslib
Reverse search algorithm for vertex enumeration/convex hull problems by David Avis (http://cgm.cs.mcgill.ca/~avis/C/lrs.html). Git history on branch "upstream" created from release archives. Branch "autoconfiscation" adds autotools build system by Matthias Köppe.
SageMath.jl
Julia package providing SageMath
sage-numerical-backends-gurobi
Gurobi mixed integer linear programming backend for SageMath. Source repository for https://pypi.org/project/sage-numerical-backends-gurobi/, can be installed on top of distributions providing SageMath. See also https://github.com/sagemath/sage-numerical-backends-cplex and https://github.com/sagemath/sage-numerical-backends-coin
mkoeppe's Repositories
mkoeppe/LiDIA
LiDIA --- A library for computational number theory, developed 1994-2004 by Johannes Buchmann's group at TU Darmstadt, relicensed to GPL 2+ in 2006/2010. Not under active development. Minimal patches for using it within the LattE integrale project.
mkoeppe/cl-bibtex
A compatible re-implementation of the BibTeX program in Common Lisp, with a BST-to-CL compiler. By Matthias Köppe
mkoeppe/libgap
mkoeppe/sage_binary_tester
mkoeppe/sage_sample
A sample project illustrating how to write and distribute SageMath extensions
mkoeppe/topcom
TOPCOM - Triangulations Of Point Configurations and Oriented Matroids, by Jörg Rambau
mkoeppe/b2
Bertini 2.0: The redevelopment of Bertini in C++.
mkoeppe/bdwgc
The Boehm-Demers-Weiser conservative C/C++ Garbage Collector (libgc, bdwgc, boehmgc)
mkoeppe/deformation
An implementation of the deformation algorithm for point counting in smooth projective families of hypersurfaces over finite fields
mkoeppe/demo-julia
mkoeppe/docker-images
Dockerfiles for Sage
mkoeppe/LiDIA-history
LiDIA --- A library for computational number theory, developed 1994-2004 by Johannes Buchmann's group at TU Darmstadt. Not under active development. This repository has been converted from the SVN repository at TU Darmstadt. For maintenance, see https://github.com/mkoeppe/LiDIA
mkoeppe/polymake
The polymake project for convex geometry. For more information please visit
mkoeppe/pplpy-old
A Python wrapper for the Parma Polyhedra Library (PPL)
mkoeppe/PyQNormaliz
Python wrapper for QNormaliz with e-antic real embedded number fields
mkoeppe/slime
The Superior Lisp Interaction Mode for Emacs
mkoeppe/ThirdParty-SCIP
This is a mirror of the subversion repository on COIN-OR
mkoeppe/ThirdParty-SoPlex
This is a mirror of the subversion repository on COIN-OR