gap-packages / sgpdecLinks
GAP package for Hierarchical Composition and Decomposition of Permutation Groups and Transformation Semigroups
☆21Updated 2 weeks ago
Alternatives and similar repositories for sgpdec
Users that are interested in sgpdec are comparing it to the libraries listed below
Sorting:
- Convex optimization modeling in Lean 4☆58Updated last year
- Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)☆86Updated 9 months ago
- CAP project -- Categories, Algorithms, and Programming☆37Updated last week
- Building dynamical systems compositionally☆75Updated this week
- Conservative floating point interval arithmetic in Lean☆23Updated 3 weeks ago
- GAP package for quivers and path algebras☆33Updated 2 weeks ago
- A template for blueprint-driven formalization projects in Lean.☆80Updated last week
- Python talking to the Lean theorem prover☆46Updated 4 years ago
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆54Updated 2 years ago
- ☆51Updated last year
- LattE integrale, software for counting lattice points and integration over convex polytopes☆49Updated 7 months ago
- ☆51Updated 3 years ago
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆48Updated this week
- Lean for the Curious Mathematician 2020☆68Updated 2 years ago
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆32Updated 3 years ago
- The GAP package Semigroups☆27Updated last week
- A Haskell probabilistic programming library.☆21Updated this week
- A Lean file formatter☆69Updated 2 years ago
- Formalization of Statement of Local Langlands Correspondence for Tori☆12Updated 6 years ago
- Scientific computing in Lean 4☆441Updated 6 months ago
- Formalization of the existence of sphere eversions☆45Updated 3 weeks ago
- A tool for building Lean4 .olean files from Lean3 export data☆10Updated 4 years ago
- Formalized quantum computing in Lean theorem prover☆34Updated 4 years ago
- An interactive theorem prover for string diagrams☆123Updated last year
- CoDi: Commutative Diagrams for TeX☆31Updated 4 months ago
- 💧 Liquid Tensor Experiment☆214Updated last year
- A formal proof of the independence of the continuum hypothesis☆136Updated last year
- Advent of Code 2020 solutions in Lean 4☆26Updated 4 years ago
- Learning Algebraic Varieties from Samples☆24Updated last year
- Proof artifact co-training for Lean☆44Updated 2 years ago