thoppe / Encyclopedia-of-Finite-Graphs
Set of tools and data to compute all known invariants for simple connected graphs
☆13Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for Encyclopedia-of-Finite-Graphs
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆43Updated last week
- ☆21Updated 2 years ago
- Interval contractors and inverse (reverse) functions for Julia☆10Updated 3 months ago
- FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package☆57Updated 2 months ago
- PRolog Equation Solving System☆29Updated 8 years ago
- LinBox - C++ library for exact, high-performance linear algebra☆84Updated last month
- A heuristic procedure for proving inequalities☆32Updated 6 years ago
- Metamath verifier in Python☆34Updated 7 months ago
- Generic abstract algebra functionality in pure Julia (no C dependencies)☆55Updated 2 years ago
- Deposited packages of the homalg project☆12Updated last week
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆20Updated last year
- Tag-based webview of LaTeX documents☆28Updated 9 months ago
- Applied Combinatorics by Mitchel T. Keller and William T. Trotter☆27Updated 7 months ago
- Library for Polynomial System Solving through Algebraic Methods☆96Updated last month
- More SageMath Tutorials: A place to share and evolve tutorials for Sage, with the aim to contribute them to Sage☆32Updated last year
- Tensor algebra abstract type interoperability setup☆43Updated this week
- Assorted s-expression utilities for Julia☆15Updated 8 months ago
- Tangent bundle, vector space and Submanifold definition☆50Updated last month
- Julia package for the Singular library☆33Updated this week
- Tim Button's open textbook on set theory☆30Updated last year
- Julia wrapper for The Z3 Theorem Prover (SMT Solver)☆24Updated 7 years ago
- Correctly-rounded mathematical functions for Julia☆8Updated last year
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated last year
- Much faster than BigFloat at precisions up to 3,500 bits (1050 digits)☆26Updated 5 years ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆16Updated 6 years ago
- Julia package for the Singular library☆20Updated 3 years ago
- Binary blobs with on-the-fly pointer patching☆17Updated 6 years ago
- We compute the Brumer-Stark units and the polynomial required to generate the Hilbert class field of some real quadratic fields, as compu…☆32Updated 3 years ago
- Automatically exported from code.google.com/p/atlasofliegroups☆31Updated this week
- Julia bindings to the SAT solver picosat☆29Updated 10 months ago