tscrim / coxeter
Coxeter is a library for the study of combinatorial aspects of Coxeter group theory
☆11Updated 10 months ago
Related projects ⓘ
Alternatives and complementary repositories for coxeter
- ☆9Updated last week
- C++ library for semigroups and monoids☆45Updated last week
- some maths papers in English☆18Updated last week
- A library for computing with Abelian functions, Riemann surfaces, and algebraic curves.☆25Updated last month
- Tag-based webview of LaTeX documents☆28Updated 9 months ago
- Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit☆78Updated last month
- ☆29Updated last month
- Native Jupyter kernel for GAP☆19Updated 2 months ago
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆43Updated last week
- GAP package for quivers and path algebras☆30Updated 2 weeks ago
- A short introduction to SageMath☆17Updated 11 months ago
- GAP package for Hierarchical Composition and Decomposition of Permutation Groups and Transformation Semigroups☆18Updated 4 months ago
- Alg is a program that generates all finite models of a first-order theory. It is optimized for equational theories.☆82Updated 3 years ago
- Algebra Number Theory book☆47Updated 2 years ago
- Crowdsourcing project for the database of numbers of isomorphism types of finite groups☆11Updated 9 months ago
- Python code for computation and experimentation with cut-generating functions, in particular the Gomory-Johnson infinite group problem. B…☆12Updated 2 weeks ago
- CAP project -- Categories, Algorithms, and Programming☆24Updated this week
- Library for exact real number computations☆39Updated 9 years ago
- Fast combinatorics in C++ using SSE/AVX instruction sets☆15Updated 2 months ago
- The root repository for the SpectralSequences project.☆25Updated 3 weeks ago
- SnapPy is a package for studying the topology and geometry of 3-manifolds, with a focus on hyperbolic structures. It is based on the Snap…☆87Updated this week
- a simplistic implementation of the Mathematica language in C++ (not maintained anymore, consider using Mathics instead)☆36Updated 12 years ago
- CoDi: Commutative Diagrams for TeX☆30Updated 6 months ago
- CHomP -- Computation Homology Project software☆46Updated 8 months ago
- Mathematica packages for geometric algebra☆45Updated last year
- A program for drawing knots and links, with support for importing images☆26Updated 10 months ago
- The GAP package Semigroups☆24Updated this week
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆24Updated 2 years ago
- Matroids in Lean☆18Updated 10 months ago
- Schemes in Lean (v2)☆42Updated 4 years ago