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☆68Updated 3 months ago
- GAP package for quivers and path algebras☆30Updated this week
- CAP project -- Categories, Algorithms, and Programming☆25Updated 3 weeks ago
- ☆43Updated 8 months ago
- Convex optimization modeling in Lean 4☆43Updated 8 months ago
- A collaborative environment for formal, interoperable, conceptual modeling☆43Updated this week
- The GAP package Semigroups☆24Updated last month
- A graphical editor for graph-like structures☆98Updated last year
- Python talking to the Lean theorem prover☆41Updated 3 years ago
- some maths papers in English☆18Updated 2 months ago
- Learning Algebraic Varieties from Samples☆24Updated last year
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆53Updated last year
- Relational Algebra, now with more algebra!☆49Updated 3 months ago
- Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)☆83Updated last year
- A Lean file formatter☆64Updated last year
- Template for blueprint-driven formalization projects in Lean.☆37Updated this week
- Mathport is a tool for porting Lean3 projects to Lean4☆43Updated 2 months ago
- A framework for composing and simulating multiphysics systems☆56Updated this week
- Formalization of the existence of sphere eversions☆37Updated last week
- Very controlled natural language tactics for Lean☆62Updated last year
- Lean mathzoo☆24Updated 2 years ago
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition☆50Updated 3 years ago
- Implementation of higher-order logic in Python☆62Updated last year
- Matroids in Lean☆18Updated last year
- Schemes in Lean (v2)☆42Updated 4 years ago
- Formalization of Statement of Local Langlands Correspondence for Tori☆11Updated 6 years ago
- ☆29Updated 10 months ago
- Probabilistic programming system for fast and exact symbolic inference☆77Updated 6 months ago
- Build Petri net models compositionally☆79Updated 3 months ago
- Conservative floating point interval arithmetic in Lean☆11Updated 3 weeks ago