thoppe / Encyclopedia-of-Finite-GraphsLinks
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
Sorting:
- Metamath verifier in Python☆40Updated 3 weeks ago
- Julia package for the Singular library☆34Updated this week
- Binary blobs with on-the-fly pointer patching☆17Updated 6 years ago
- Generic abstract algebra functionality in pure Julia (no C dependencies)☆54Updated 3 years ago
- A library for graph analysis written Julia.☆41Updated 3 years ago
- Julia package for learning cellular sheaf Laplacians☆16Updated 4 years ago
- Julia bindings for the FLINT number theory C library☆203Updated this week
- An Extensible Test Matrix Collection for Julia☆82Updated 7 months ago
- REPL for LispSyntax.jl☆20Updated 5 years ago
- ConstraintSolver in Julia: Blog posts ->☆135Updated 3 years ago
- My personal fork of the Nemo project. The official repository is at https://github.com/Nemocas/Nemo.jl☆98Updated 2 years ago
- Rigorous floating-point calculations with interval arithmetic in Julia☆84Updated 6 months ago
- FreeTikZ☆37Updated 7 years ago
- Interval contractors and inverse (reverse) functions for Julia☆10Updated 10 months ago
- A collection of Kanren implementations in Julia☆24Updated 8 years ago
- ☆12Updated this week
- Ancestor/descendant tree from Mathematics Genealogy Project, rendered to HTML☆17Updated last year
- Irene is a python package that aims to be a toolkit for global optimization problems that can be realized algebraically. It generalizes L…☆15Updated 9 months ago
- Julia wrapper for The Z3 Theorem Prover (SMT Solver)☆24Updated 8 years ago
- eXpression differentiation in Julia☆29Updated 5 years ago
- Simplicial Sets and the Discrete Exterior Calculus☆37Updated this week
- Tangent bundle, vector space and Submanifold definition☆50Updated 3 months ago
- Common interface for symbolic terms, allowing symbolic libraries with different underlying structures to interact and convert☆38Updated 7 months ago
- ☆30Updated 7 years ago
- A logarithmic number system for Julia.☆63Updated 2 months ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated 2 years ago
- Much faster than BigFloat at precisions up to 3,500 bits (1050 digits)☆26Updated 6 years ago
- Assorted s-expression utilities for Julia☆16Updated last year
- Julia bindings to the SAT solver picosat☆30Updated last year
- ☆19Updated 2 years ago