Kroneckera / bunkbed-counterexampleLinks
☆15Updated last year
Alternatives and similar repositories for bunkbed-counterexample
Users that are interested in bunkbed-counterexample are comparing it to the libraries listed below
Sorting:
- A C++20 library for the symbolic manipulation of sparse polynomials & co.☆29Updated last year
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆82Updated 2 years ago
- Set of tools and data to compute all known invariants for simple connected graphs☆14Updated 7 years ago
- Robert Munafo's reverse equation solver☆18Updated 2 years ago
- Java implementations of sequences in the OEIS☆68Updated this week
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆47Updated 2 months ago
- This app twXiv gives arXiv daily new submissions by tweets. We use python3 scripts. twXiv is not affiliated with arXiv.☆26Updated last week
- Source code for GpuShareSat, a library for SAT solvers to use the GPU for clause sharing between CPU threads.☆34Updated 4 years ago
- C++ compiler☆26Updated last year
- Fungrim: the Mathematical Functions Grimoire☆123Updated 3 years ago
- ☆22Updated 2 years ago
- The codebase that computed the Ninth Dedekind Number☆14Updated 2 months ago
- Basic Polynomial Algebra Subprograms☆15Updated 5 months ago
- Content of Online Encyclopedia of Integer Sequences (OEIS)☆113Updated this week
- Binary Lambda Calculus evaluation engine written in Malbolge.☆17Updated 3 years ago
- Python implementation of the monster group☆56Updated this week
- A formal proof of an exponentially better upper bound on Ramsey numbers☆18Updated 2 years ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆62Updated 2 years ago
- Tools for finding and analyzing Busy Beaver programs for Turing machines☆13Updated this week
- yorick interpreted language☆82Updated 9 months ago
- Colormap for visualizing amplitude and phase of complex functions (e.g. filter design) using hue and lightness in a perceptually-uniform …☆44Updated last year
- feyntrop integrates Feynman graphs using tropical sampling☆15Updated 5 months ago
- Multihreaded 64 bit c++ files for processing numba arrays☆17Updated last year
- Metamath verifier in Python☆40Updated 7 months ago
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆48Updated 3 weeks ago
- Tokenizer, and operator and character tables, and conversion routines for the Wolfram Language.☆22Updated 4 months ago
- ☆14Updated 7 years ago
- ☆27Updated 2 months ago
- Terminal CLI to Mathics3☆60Updated 2 weeks ago
- Challenging SAT benchmarks for matrix multiplication☆11Updated 4 years ago