gap-packages / sgpdecLinks
GAP package for Hierarchical Composition and Decomposition of Permutation Groups and Transformation Semigroups
☆19Updated 3 weeks ago
Alternatives and similar repositories for sgpdec
Users that are interested in sgpdec are comparing it to the libraries listed below
Sorting:
- Building dynamical systems compositionally☆72Updated 8 months ago
- Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)☆84Updated 4 months ago
- Convex optimization modeling in Lean 4☆49Updated last year
- Learning Algebraic Varieties from Samples☆24Updated last year
- Conservative floating point interval arithmetic in Lean☆17Updated 3 weeks ago
- A template for blueprint-driven formalization projects in Lean.☆60Updated last week
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆53Updated last year
- GAP package for quivers and path algebras☆32Updated 3 weeks ago
- ☆49Updated last year
- Lean for the Curious Mathematician 2020☆67Updated last year
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆49Updated last week
- A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.☆26Updated 3 years ago
- ☆50Updated 3 years ago
- A collaborative environment for formal, interoperable, conceptual modeling☆92Updated this week
- CAP project -- Categories, Algorithms, and Programming☆28Updated this week
- LattE integrale, software for counting lattice points and integration over convex polytopes☆48Updated 2 months ago
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆31Updated last week
- A graphical editor for graph-like structures☆99Updated last year
- Implementation of higher-order logic in Python☆65Updated 2 years ago
- Very controlled natural language tactics for Lean☆64Updated last year
- Python talking to the Lean theorem prover☆45Updated 3 years ago
- The Complex Number Game. Make the complex numbers in Lean.☆40Updated 2 years ago
- Python code for computation and experimentation with cut-generating functions, in particular the Gomory-Johnson infinite group problem. B…☆12Updated 6 months ago
- plasTeX plugin to build formalization blueprints.☆225Updated 3 weeks ago
- C++ library for semigroups and monoids☆47Updated last week
- This project converts structured Lean code into an interactive browser game.☆77Updated last year
- Build Petri net models compositionally☆87Updated 8 months ago
- A toolkit for higher-dimensional diagram rewriting.☆17Updated 2 years ago
- Tag-based webview of LaTeX documents☆30Updated last year
- Notes on how to use the internal language of toposes in algebraic geometry☆59Updated 3 weeks ago