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