archmageirvine / joeisLinks
Java implementations of sequences in the OEIS
☆65Updated this week
Alternatives and similar repositories for joeis
Users that are interested in joeis are comparing it to the libraries listed below
Sorting:
- metamath proof enumerators and other things☆91Updated this week
- Content of Online Encyclopedia of Integer Sequences (OEIS)☆105Updated last week
- Metamath program - source code for the Metamath executable☆88Updated 3 months ago
- mmj2 GUI Proof Assistant for the Metamath project☆75Updated last year
- Python implementation of the monster group☆53Updated 2 weeks ago
- Swing, divide and conquer the factorial!☆81Updated 3 years ago
- ☆20Updated 2 years ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆81Updated last year
- Metamath source file for logic and set theory☆296Updated this week
- Metamath verifier in Python☆39Updated 4 months ago
- Mathematical proofs of the bbchallenge project.☆24Updated last month
- A computer algebra system for research in combinatorial game theory☆50Updated last year
- Compiler Technologies for Mathematica/Wolfram Language.☆36Updated 5 years ago
- LODA Programs for Integer Sequences☆36Updated this week
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 4 years ago
- ☆25Updated last week
- PRolog Equation Solving System☆29Updated 9 years ago
- Busy Beaver deciders backed by Coq proof☆57Updated 7 months ago
- Data files containing the Cremona Database of all elliptic curves over Q of bounded conductor: see also http://www.lmfdb.org/EllipticCurv…☆21Updated last year
- ☆93Updated last year
- Source of metamath book☆51Updated last year
- Repository for the QED interactive text and possible extensions☆106Updated 9 months ago
- 💧 Liquid Tensor Experiment☆208Updated last year
- ⚙️ A conflict-driven nogood learning answer set solver☆127Updated this week
- ☆153Updated last week
- Tools for finding Busy Beaver Turing Machines and Proving others as non-halting☆44Updated last week
- Exponent pair database☆62Updated last week
- Algorithmic Information Theory, using Binary Lambda Calculus☆172Updated last week
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆35Updated 5 months ago
- GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…☆63Updated last month