dimpase Goto Github PK

1-k-2--tough

4ti2

A software package for algebraic, geometric and combinatorial problems on linear spaces. By R. Hemmecke, R. Hemmecke, M. Köppe, P. Malkin, M. Walter

abelfunctions

A library for computing with Abelian functions, Riemann surfaces, and algebraic curves.

abib

annotated bibliography for WP7 of the ODK project

ace

GAP interface for the the Advanced Coset Enumerator (ACE)

anusq

ANU SQ, compatible with GAP4

arb

C library for arbitrary-precision interval arithmetic

arpack-ng

Collection of Fortran77 subroutines designed to solve large scale eigenvalue problems.

autocliquer

autotoolized cliquer

avltree

bdwgc

The Boehm-Demers-Weiser conservative C/C++ Garbage Collector (libgc, bdwgc, boehmgc) development repo

brial

Successor to PolyBoRi

build-pkg-docs

cddlib

An efficient implementation of the Double Description Method

cha

cm

coco

coco with its Z_23 bug fixed.

cograph_modular_decomposition

cohomolo

Cohomology groups of finite groups on finite modules

conda

OS-agnostic, system-level binary package manager and ecosystem

conrey-dirichlet-characters

cpython

The Python programming language

crossingnumber

Code for the paper "New lower bounds on crossing numbers of Km,n from permutation modules and semidefinite programming"

cryptominisat

An advanced SAT solver

csdp

a clone of CSDP to provide better integration with Sage and pyCSDP

cypari2

Python interface to the number theory library PARI/GP

cysignals

cysignals: interrupt and signal handling for Cython

cython

The most widely used Python to C compiler

decomp

dedekind_2nd_def

This is a translation from the original German of an 1889 note from Dedekind's Nachlass, edited by Emmy Noether