thoppe / Encyclopedia-of-Finite-Graphs
Set of tools and data to compute all known invariants for simple connected graphs
☆13Updated 7 years ago
Alternatives and similar repositories for Encyclopedia-of-Finite-Graphs:
Users that are interested in Encyclopedia-of-Finite-Graphs are comparing it to the libraries listed below
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆46Updated last month
- ☆23Updated 2 years ago
- FreeTikZ☆38Updated 7 years ago
- A software package for algebraic, geometric and combinatorial problems on linear spaces. By R. Hemmecke, R. Hemmecke, M. Köppe, P. Malkin…☆38Updated last year
- Interval contractors and inverse (reverse) functions for Julia☆10Updated 8 months ago
- Applied Combinatorics by Mitchel T. Keller and William T. Trotter☆29Updated last year
- A program for drawing knots and links, with support for importing images☆31Updated last year
- Tangent bundle, vector space and Submanifold definition☆50Updated last month
- reduce-algebra: a portable general-purpose computer algebra system, automatically mirrored from https://svn.code.sf.net/p/reduce-algebra/…☆40Updated this week
- Simplicial sets and other combinatorial models of geometric spaces☆35Updated this week
- Deposited packages of the homalg project☆13Updated 4 months ago
- ☆13Updated 2 years ago
- Tensor algebra abstract type interoperability setup☆43Updated 5 months ago
- GUI for tlmgr written in Scala☆27Updated 3 years ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated 2 years ago
- Metamath verifier in Python☆38Updated last year
- GAP package guava - computations relative to error-correcting codes☆16Updated last month
- A python tool to create drawings in the hyperbolic disk (e.g. for inclusion in LaTex documents). The output is either a Tikz figure (a .…☆10Updated last year
- Julia package for learning cellular sheaf Laplacians☆16Updated 4 years ago
- Julia bindings to the SAT solver picosat☆31Updated last year
- Julia wrapper for The Z3 Theorem Prover (SMT Solver)☆24Updated 7 years ago
- Binary blobs with on-the-fly pointer patching☆17Updated 6 years ago
- ☆19Updated 2 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated 9 months ago
- Assorted s-expression utilities for Julia☆16Updated last year
- Julia package for the Singular library☆35Updated this week
- Modeling and Programming with Gecode☆45Updated 2 years ago
- Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.☆12Updated last year
- Automorphism groups for CSets - generalizing the nauty algorithm to a broad class of data structures☆13Updated last year
- Finite fields for Julia☆48Updated 2 weeks ago