archmageirvine / joeisLinks
Java implementations of sequences in the OEIS
☆63Updated this week
Alternatives and similar repositories for joeis
Users that are interested in joeis are comparing it to the libraries listed below
Sorting:
- Content of Online Encyclopedia of Integer Sequences (OEIS)☆83Updated this week
- metamath proof enumerators and other things☆93Updated 10 months ago
- Metamath program - source code for the Metamath executable☆82Updated 3 weeks ago
- Python implementation of the monster group☆43Updated 2 weeks ago
- LODA Programs for Integer Sequences☆33Updated this week
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆61Updated 2 years ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆81Updated last year
- ☆21Updated 3 weeks ago
- mmj2 GUI Proof Assistant for the Metamath project☆75Updated 8 months ago
- ☆19Updated 2 years ago
- plasTeX plugin to build formalization blueprints.☆219Updated 3 weeks ago
- ☆36Updated last week
- Material for PARI/GP: new functions, some scripts, and syntax highlighting.☆11Updated last year
- Source code for the nLab☆175Updated 2 months ago
- The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.☆370Updated this week
- blueprint for prime number theorem and more☆161Updated last week
- ☆23Updated 2 weeks ago
- 💧 Liquid Tensor Experiment☆196Updated last year
- Solutions to Imperial College London's Natural Number Game, a gamified formal mathematics course on the Peano axioms using an interactive…☆18Updated 3 years ago
- ☆15Updated last year
- Tag-based webview of LaTeX documents☆29Updated last year
- LODA is an assembly language, a computational model and a tool for mining integer sequence programs.☆21Updated 3 years ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆29Updated 11 years ago
- Quantomatic is a tool for doing automated graph rewriting.☆163Updated 5 years ago
- some maths papers in English☆18Updated 2 months ago
- Metamath source file for logic and set theory☆282Updated this week
- Source of metamath book☆48Updated last year
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆46Updated last month
- Natural Number Game☆167Updated 2 months ago
- Metamath verifier in Python☆39Updated last year