Kroneckera / bunkbed-counterexampleLinks
☆16Updated 11 months ago
Alternatives and similar repositories for bunkbed-counterexample
Users that are interested in bunkbed-counterexample are comparing it to the libraries listed below
Sorting:
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆81Updated last year
- Content of Online Encyclopedia of Integer Sequences (OEIS)☆97Updated this week
- Python implementation of the monster group☆53Updated last month
- Java implementations of sequences in the OEIS☆65Updated this week
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆44Updated last week
- Fungrim: the Mathematical Functions Grimoire☆124Updated 3 years ago
- ☆24Updated last month
- The main source code for Regina☆39Updated this week
- metamath proof enumerators and other things☆94Updated last year
- ☆11Updated 3 years ago
- Python bindings for Flint and Arb☆138Updated 2 weeks ago
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆48Updated last week
- A Rule-Based Integrator Built On An If-Then-Else Decision Tree☆37Updated 4 years ago
- ☆92Updated last year
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated 2 years ago
- Busy Beaver deciders backed by Coq proof☆57Updated 6 months ago
- ☆20Updated 2 years ago
- Metamath verifier in Python☆40Updated 3 months ago
- The codebase that computed the Ninth Dedekind Number☆14Updated 5 months ago
- blueprint for prime number theorem and more☆189Updated last week
- A framework for composing and simulating multiphysics systems☆73Updated 2 weeks ago
- Code to download, process, and analyse the Online Encyclopedia of Integer Sequences☆48Updated 7 months ago
- Macaulay2 web app with support for KaTeX and HTML output☆19Updated last month
- A program for drawing knots and links, with support for importing images☆32Updated last year
- Tag-based webview of LaTeX documents☆31Updated last year
- Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…☆21Updated last month
- LODA Programs for Integer Sequences☆37Updated this week
- Methods for accelerating and proving theorems about 5-state Busy Beaver candidates☆20Updated 3 years ago
- Robert Munafo's reverse equation solver☆15Updated 2 years ago
- Solutions to math olympiad problems in Isabelle/HOL☆11Updated 4 years ago