gap-packages / qpaLinks
GAP package for quivers and path algebras
☆33Updated this week
Alternatives and similar repositories for qpa
Users that are interested in qpa are comparing it to the libraries listed below
Sorting:
- CAP project -- Categories, Algorithms, and Programming☆39Updated 3 weeks ago
- The GAP package Semigroups☆29Updated last week
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆50Updated this week
- Perfectoid spaces in the Lean formal theorem prover.☆129Updated last year
- Schemes in Lean (v2)☆43Updated 5 years ago
- some maths papers in English☆19Updated 2 months ago
- Notes on how to use the internal language of toposes in algebraic geometry☆60Updated last month
- Formalization of the existence of sphere eversions☆46Updated this week
- Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica☆74Updated 4 years ago
- Lean for the Curious Mathematician 2020☆68Updated 2 years ago
- The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.☆406Updated last week
- LaTeX version of Grothendieck's Pursuing Stacks☆53Updated 4 years ago
- Tag-based webview of LaTeX documents☆32Updated 2 years ago
- Let's translate works of Grothendieck☆32Updated 6 years ago
- Quantomatic is a tool for doing automated graph rewriting.☆170Updated 6 years ago
- GAP package for Hierarchical Composition and Decomposition of Permutation Groups and Transformation Semigroups☆21Updated 2 weeks ago
- Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit☆86Updated 4 months ago
- Kan: A browser extension for reading nLab☆33Updated 7 years ago
- 💧 Liquid Tensor Experiment☆220Updated 2 years ago
- ☆51Updated last year
- A partial formalization of Geometric Algebra in the Lean formal proof verification system.☆56Updated 2 years ago
- A heuristic procedure for proving inequalities☆34Updated 7 years ago
- An English translation of the Séminaire de Géométrie Algébrique du Bois Marie☆40Updated 6 months ago
- Deposited packages of the homalg project☆17Updated last month
- A topological data analysis library for Haskell☆29Updated 4 years ago
- Jupyter kernels for GAP☆12Updated 7 years 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…☆114Updated this week
- Johan's clone of the cring repository from http://cring.adeel.ru/☆30Updated 12 years ago
- A Lean file formatter☆71Updated 2 years ago
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆122Updated last year