archmageirvine / joeisLinks
Java implementations of sequences in the OEIS
☆68Updated 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☆92Updated 2 months ago
- Python implementation of the monster group☆57Updated 3 weeks ago
- Metamath program - source code for the Metamath executable☆91Updated last month
- Content of Online Encyclopedia of Integer Sequences (OEIS)☆116Updated this week
- Mathematical proofs of the bbchallenge project.☆24Updated 4 months ago
- Metamath verifier in Python☆40Updated 7 months ago
- ☆22Updated 3 years ago
- Compiler Technologies for Mathematica/Wolfram Language.☆36Updated 5 years ago
- mmj2 GUI Proof Assistant for the Metamath project☆77Updated last year
- ☆27Updated this week
- Source of metamath book☆53Updated 2 years ago
- Antic has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆62Updated 2 years ago
- Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead☆82Updated 2 years ago
- LODA Programs for Integer Sequences☆37Updated last week
- Metamath source file for logic and set theory☆302Updated this week
- 💧 Liquid Tensor Experiment☆220Updated 2 years ago
- A computer algebra system for research in combinatorial game theory☆54Updated 2 years ago
- Busy Beaver deciders backed by Coq proof☆59Updated 10 months ago
- Swing, divide and conquer the factorial!☆81Updated 3 years ago
- The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.☆406Updated last week
- ☆162Updated this week
- This project converts structured Lean code into an interactive browser game.☆77Updated 2 years ago
- Formalizing geometry in Lean : IGL/UniHigh Summer 2020 research project☆31Updated 4 years ago
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆50Updated this week
- PRolog Equation Solving System☆29Updated 9 years ago
- Robert Munafo's reverse equation solver☆19Updated 2 years ago
- ⚙️ A conflict-driven nogood learning answer set solver☆135Updated 2 weeks ago
- GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…☆63Updated 2 weeks ago
- Fungrim: the Mathematical Functions Grimoire☆124Updated 3 years ago
- Automated Theorem Prover for Automatic Words☆21Updated 4 years ago