digraphs / DigraphsLinks
The GAP package Digraphs
☆43Updated last week
Alternatives and similar repositories for Digraphs
Users that are interested in Digraphs are comparing it to the libraries listed below
Sorting:
- The GAP package Semigroups☆27Updated last week
- Python bindings for Flint and Arb☆141Updated last week
- A community database of topological counterexamples☆132Updated this week
- sources for the Singular computer algebra system☆293Updated this week
- Source code for the Mathematics in Lean tutorial.☆175Updated 3 months ago
- The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.☆396Updated last week
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆48Updated 3 weeks ago
- C++ library for semigroups and monoids☆62Updated last week
- Basic package manager for GAP☆12Updated 2 weeks ago
- Embedded algebraic number fields☆14Updated last week
- Theorem Proving in Lean 4☆219Updated 3 weeks ago
- Main development repository for GAP - Groups, Algorithms, Programming, a System for Computational Discrete Algebra☆921Updated last week
- Embed code, results of computations, and plots from the Sage mathematics software suite (https://www.sagemath.org) into LaTeX documents. …☆69Updated 2 years ago
- Mathematical Components compliant Analysis Library☆229Updated 2 weeks ago
- A computer algebra system for research in combinatorial game theory☆51Updated last year
- ☆37Updated this week
- Crowdsourcing project for the database of numbers of isomorphism types of finite groups☆12Updated last year
- Multi platform setup for Coq, Coq libraries and tools☆215Updated 2 weeks ago
- CAP project -- Categories, Algorithms, and Programming☆36Updated 2 months ago
- FLINT (Fast Library for Number Theory)☆538Updated last week
- Visual Studio Code extension for the Lean 4 proof assistant☆238Updated last week
- Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean☆61Updated this week
- The "batteries included" extended library for the Lean programming language and theorem prover☆339Updated this week
- General purpose mathematical software system, compatible fork of https://github.com/sagemath/sage supporting modularized installation wit…☆48Updated this week
- Source code for the nLab☆189Updated 8 months ago
- Data files containing the Cremona Database of all elliptic curves over Q of bounded conductor: see also http://www.lmfdb.org/EllipticCurv…☆21Updated last year
- PreTeXt: an authoring and publishing system for scholarly documents☆301Updated last week
- Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit☆84Updated last month
- Find and view documentation in TeX Live☆52Updated 7 months ago
- Metamath source file for logic and set theory☆297Updated this week