gap-packages / sgpdec
GAP package for Hierarchical Composition and Decomposition of Permutation Groups and Transformation Semigroups
☆19Updated last month
Alternatives and similar repositories for sgpdec:
Users that are interested in sgpdec are comparing it to the libraries listed below
- Building dynamical systems compositionally☆69Updated 4 months ago
- Convex optimization modeling in Lean 4☆43Updated 9 months ago
- GAP package for quivers and path algebras☆31Updated last month
- CAP project -- Categories, Algorithms, and Programming☆25Updated last week
- Template for blueprint-driven formalization projects in Lean.☆44Updated this week
- A collaborative environment for formal, interoperable, conceptual modeling☆63Updated this week
- The GAP package Semigroups☆24Updated 2 weeks ago
- Learning Algebraic Varieties from Samples☆24Updated last year
- A graphical editor for graph-like structures☆98Updated last year
- Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)☆83Updated last year
- Build Petri net models compositionally☆81Updated 4 months ago
- ☆46Updated 9 months ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆53Updated last year
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆45Updated this week
- lecture notes for Analytic Geometry course☆11Updated 3 years ago
- Python talking to the Lean theorem prover☆42Updated 3 years ago
- Julia library for homological persistence☆117Updated last month
- Deposited packages of the homalg project☆13Updated 2 months ago
- some maths papers in English☆18Updated 2 weeks ago
- Lean for the Curious Mathematician 2020☆66Updated last year
- Material from M1P1, formalised in Lean☆15Updated 5 years ago
- ☆31Updated 11 months ago
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆28Updated 3 months ago
- GATlab: a computer algebra system based on generalized algebraic theories (GATs)☆27Updated 3 weeks ago
- C++ library for semigroups and monoids☆45Updated this week
- A Lean 4 Jupyter kernel via repl☆22Updated 3 months ago
- Probabilistic programming system for fast and exact symbolic inference☆79Updated 7 months ago
- Julia package for learning cellular sheaf Laplacians☆16Updated 3 years ago
- Relational Algebra, now with more algebra!☆51Updated this week
- The Complex Number Game. Make the complex numbers in Lean.☆36Updated 2 years ago