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
- Julia package for the Singular library☆35Updated this week
- Binary blobs with on-the-fly pointer patching☆17Updated 6 years ago
- eXpression differentiation in Julia☆29Updated 5 years ago
- A basic wrapper to allow access to OEIS from within Julia.☆17Updated 4 years ago
- Interval contractors and inverse (reverse) functions for Julia☆10Updated 6 months ago
- Graph IO functionality for various formats.☆61Updated 4 months ago
- Combo.jl: Combinatorial Optimization in Julia☆16Updated 5 years ago
- Generic abstract algebra functionality in pure Julia (no C dependencies)☆55Updated 2 years ago
- Julia bindings for the FLINT number theory C library☆200Updated this week
- Julia interface to GAlgebra via PyCall☆15Updated this week
- Julia wrapper for The Z3 Theorem Prover (SMT Solver)☆24Updated 7 years ago
- Julia bindings to the SAT solver picosat☆31Updated last year
- Much faster than BigFloat at precisions up to 3,500 bits (1050 digits)☆26Updated 6 years ago
- Assorted s-expression utilities for Julia☆15Updated last year
- Read-only mirror (squashed) of the polymake project for convex geometry. For more information please visit☆79Updated 5 months ago
- An Extensible Test Matrix Collection for Julia☆75Updated 3 months ago
- An efficient symbolic term rewriting engine☆77Updated 4 years ago
- Tangent bundle, vector space and Submanifold definition☆50Updated this week
- My personal fork of the Nemo project. The official repository is at https://github.com/Nemocas/Nemo.jl☆98Updated 2 years ago
- Calculate rigorously the feasible region for a set of real-valued inequalities with Julia☆66Updated 3 months ago
- Multivectors for geometric algebra☆24Updated 2 years ago
- Structured decompositions!☆12Updated this week
- Proof-of-concept implementation of the (dual) simplex algorithm for linear programming in Julia.☆38Updated 11 years ago
- FreeTikZ☆37Updated 7 years ago
- Linear algebra done rigorously☆37Updated 7 months ago
- Simplicial sets and other combinatorial models of geometric spaces☆35Updated last week
- REPL for LispSyntax.jl☆20Updated 5 years ago
- A logarithmic number system for Julia.☆60Updated last year
- Julia package for the Singular library☆20Updated 3 years ago
- Rigorous floating-point calculations with interval arithmetic in Julia☆85Updated 3 months ago