archmageirvine / joeisLinks
Java implementations of sequences in the OEIS
☆66Updated 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
- LODA Programs for Integer Sequences☆36Updated this week
- Metamath program - source code for the Metamath executable☆89Updated 3 months ago
- Content of Online Encyclopedia of Integer Sequences (OEIS)☆107Updated this week
- Compiler Technologies for Mathematica/Wolfram Language.☆36Updated 5 years ago
- mmj2 GUI Proof Assistant for the Metamath project☆75Updated last year
- Metamath verifier in Python☆40Updated 5 months ago
- Python implementation of the monster group☆54Updated this week
- Source of metamath book☆51Updated last year
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆82Updated 2 years ago
- ☆20Updated 2 years ago
- Metamath source file for logic and set theory☆297Updated this week
- Swing, divide and conquer the factorial!☆81Updated 3 years ago
- ⚙️ A conflict-driven nogood learning answer set solver☆129Updated this week
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆62Updated 2 years ago
- Mathematical proofs of the bbchallenge project.☆24Updated 2 months ago
- 💧 Liquid Tensor Experiment☆211Updated last year
- 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 2 years ago
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 4 years ago
- Repository for the QED interactive text and possible extensions☆106Updated 9 months ago
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆50Updated 3 weeks ago
- Group theory visualization software in the browser☆260Updated last year
- sources for the Singular computer algebra system☆294Updated last week
- ☆155Updated 3 weeks ago
- Formalization of the existence of sphere eversions☆45Updated this week
- Material for PARI/GP: new functions, some scripts, and syntax highlighting.☆11Updated 2 years ago
- Parse Wolfram Language source code as abstract syntax trees (ASTs) or concrete syntax trees (CSTs)☆145Updated last year
- Pedagogical first-order prover in Python☆77Updated 5 months ago
- Automatically exported from code.google.com/p/atlasofliegroups☆32Updated this week