thoppe / Encyclopedia-of-Finite-Graphs
Set of tools and data to compute all known invariants for simple connected graphs
☆13Updated 6 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
- Tag-based webview of LaTeX documents☆28Updated 11 months ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated last year
- Julia wrapper for The Z3 Theorem Prover (SMT Solver)☆24Updated 7 years ago
- A heuristic procedure for proving inequalities☆32Updated 6 years ago
- FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package☆57Updated 4 months ago
- Binary blobs with on-the-fly pointer patching☆17Updated 6 years ago
- ☆22Updated 2 years ago
- Build Petri net models compositionally☆79Updated 2 months ago
- Tangent bundle, vector space and Submanifold definition☆50Updated last month
- Deposited packages of the homalg project☆12Updated last month
- Assorted s-expression utilities for Julia☆15Updated 10 months ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆80Updated last year
- REPL for LispSyntax.jl☆20Updated 5 years ago
- Julia package for the Singular library☆35Updated this week
- Simplicial sets and other combinatorial models of geometric spaces☆32Updated this week
- Building dynamical systems compositionally☆67Updated 2 months ago
- Interval contractors and inverse (reverse) functions for Julia☆10Updated 4 months ago
- LattE integrale, software for counting lattice points and integration over convex polytopes☆40Updated last year
- Much faster than BigFloat at precisions up to 3,500 bits (1050 digits)☆26Updated 5 years ago
- Jupyter kernel for PARI/GP. Source repository for https://pypi.org/project/pari-jupyter/☆11Updated 4 months ago
- LinBox - C++ library for exact, high-performance linear algebra☆84Updated last month
- Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.☆12Updated last year
- A framework for composing and simulating multiphysics systems☆55Updated this week
- Learn Lean and topology☆21Updated 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…☆14Updated 3 months ago
- An encyclopedia of proofs☆57Updated 2 months ago
- Julia bindings to the SAT solver picosat☆30Updated last year
- ☆19Updated 2 years ago
- M4 algebraic geometry course in Lean☆58Updated 4 years ago
- Source of metamath book☆46Updated last year