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:
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated 2 years ago
- A software package for algebraic, geometric and combinatorial problems on linear spaces. By R. Hemmecke, R. Hemmecke, M. Köppe, P. Malkin…☆39Updated 3 weeks ago
- Fungrim: the Mathematical Functions Grimoire☆123Updated 3 years ago
- Assorted s-expression utilities for Julia☆16Updated last year
- ☆13Updated this week
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆80Updated last year
- reduce-algebra: a portable general-purpose computer algebra system, automatically mirrored from https://svn.code.sf.net/p/reduce-algebra/…☆41Updated this week
- Automorphism groups for CSets - generalizing the nauty algorithm to a broad class of data structures☆14Updated last year
- mandi LaTeX package☆9Updated 10 months ago
- Generic abstract algebra functionality in pure Julia (no C dependencies)☆55Updated 3 years ago
- Metamath verifier in Python☆40Updated 2 months ago
- REPL for LispSyntax.jl☆20Updated 5 years ago
- Julia bindings for the FLINT number theory C library☆204Updated this week
- ☆67Updated 3 years ago
- Leveraging AlgebraicJulia to provide an interface for scientists to explore spaces of models.☆12Updated last year
- Much faster than BigFloat at precisions up to 3,500 bits (1050 digits)☆26Updated 6 years ago
- Jupyter Kernel for Mathics☆20Updated 8 years ago
- Locate local installations of the Wolfram Language.☆17Updated 5 months ago
- Tokenizer, and operator and character tables, and conversion routines for the Wolfram Language.☆21Updated 2 weeks ago
- My personal fork of the Nemo project. The official repository is at https://github.com/Nemocas/Nemo.jl☆98Updated 3 years ago
- Tangent bundle, vector space and Submanifold definition☆50Updated last month
- A collection of Kanren implementations in Julia☆24Updated 8 years ago
- Julia wrapper for The Z3 Theorem Prover (SMT Solver)☆24Updated 8 years ago
- Latex source for geometric algebra and physics notes.☆37Updated this week
- An efficient symbolic term rewriting engine☆77Updated 4 years ago
- Tools for finding and analyzing Busy Beaver programs for Turing machines☆12Updated this week
- FFLAS-FFPACK - Finite Field Linear Algebra Subroutines / Package☆62Updated 2 weeks ago
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆48Updated 3 weeks ago
- ☆14Updated 5 years ago
- Like `which`, for dynamic libraries☆40Updated 7 months ago