Mathematics¶
4ti2: Algebraic, geometric and combinatorial problems on linear spaces
admcycles: Computation in the tautological ring of the moduli space of curves
benzene: Generate fusenes and benzenoids with a given number of faces
bliss: Computing automorphism groups and canonical forms of graphs
cbc: COIN-OR branch and cut solver for mixed-integer programs
clarabel: Clarabel Conic Interior Point Solver for Rust / Python
coxeter3: Library for Coxeter groups, Bruhat ordering, Kazhdan-Lusztig polynomials
cunningham_tables: List of the prime numbers occuring in the Cunningham table
cvxpy: Domain-specific language for modeling convex optimization problems in Python
database_cubic_hecke: Ivan Marin’s representations of the cubic Hecke algebra
database_knotinfo: Content of the KnotInfo and LinkInfo databases as lists of dictionaries
database_mutation_class: Database of exceptional mutation classes of quivers
database_odlyzko_zeta: Table of zeros of the Riemann zeta function
database_stein_watkins: Database of elliptic curves (full version)
database_stein_watkins_mini: Database of elliptic curves (small version)
database_symbolic_data: Database from the SymbolicData project
isl: Sets and relations of integer points bounded by affine constraints
kenzo: Construct topological spaces and compute homology groups
latte_int: Count lattice points, compute volumes, and integrate over convex polytopes
libnauty: Find automorphism groups of graphs, generate non-isomorphic graphs (callable library)
lrslib: Reverse search algorithm for vertex enumeration and convex hull problems
mcqd: An exact algorithm for finding a maximum clique in an undirected graph
modular_resolution: Modular cohomology rings of finite groups
mpfrcx: Arithmetic of univariate polynomials over arbitrary precision real or complex numbers
osqp_python: The Operator Splitting QP Solver (Python wrapper)
p_group_cohomology: Modular cohomology rings of finite groups
papilo: Parallel presolve for integer and linear optimization
pari_galpol: PARI data package for polynomials defining Galois extensions of the rationals
pari_seadata: PARI data package needed by ellap for large primes (full version)
polytopes_db_4d: Database of 4-dimensional reflexive polytopes
pyscipopt: Python interface and modeling environment for SCIP
qdldl_python: QDLDL, a free LDL factorization routine (Python wrapper)
qepcad: Quantifier elimination by partial cylindrical algebraic decomposition
r: A free software environment for statistical computing and graphics
sage_numerical_backends_coin: COIN-OR backend for Sage MixedIntegerLinearProgram
sage_numerical_backends_cplex: Cplex backend for Sage MixedIntegerLinearProgram
sage_numerical_backends_gurobi: Gurobi backend for Sage MixedIntegerLinearProgram
scip_sdp: Mixed integer semidefinite programming plugin for SCIP
sirocco: Compute topologically certified root continuation of bivariate polynomials
snappy: Topology and geometry of 3-manifolds, with a focus on hyperbolic structures
soplex: Linear optimization solver using the revised simplex method
tdlib: Algorithms for computing tree decompositions of graphs
topcom: Compute triangulations of point configurations and oriented matroids
Front-end, graphics, document preparation¶
Other dependencies¶
_bootstrap: Represents system packages required for running the top-level bootstrap script
_develop: Represents system packages recommended for development
_recommended: Represents system packages recommended for additional functionality
d3js: JavaScript library for manipulating documents based on data
gitpython: GitPython is a python library used to interact with Git repositories
imagemagick: A collection of tools and libraries for many image file formats
libgraphviz: Graph visualization software (callable library)
llvm: The LLVM Compiler Infrastructure, including the Clang C/C++/Objective-C compiler
pandoc_attributes: A parser and generator for pandoc block attributes
perl_cpan_polymake_prereq: Represents all Perl packages that are prerequisites for polymake
perl_term_readline_gnu: Perl extension for the GNU Readline/History libraries
pybtex: A BibTeX-compatible bibliography processor in Python
valgrind: Memory error detector, call graph generator, runtime profiler