Alternatives and similar repositories for RamanujanMachine

Users that are interested in RamanujanMachine are comparing it to the libraries listed below

• RamanujanMachine / RamanujanMachine
  ☆342Updated 2 years ago
• nathancarter / group-explorer
  Group theory visualization software in the browser
  ☆260Updated last year
• princeton-vl / CoqGym
  A Learning Environment for Theorem Proving with the Coq proof assistant
  ☆415Updated 2 years ago
• facebookresearch / SymbolicMathematics
  Deep Learning for Symbolic Mathematics
  ☆547Updated 4 years ago
• grey-area / complex-power-tower
  ☆14Updated 2 years ago
• stacks / stacks-project
  Repository for the Stacks Project
  ☆968Updated last week
• LMFDB / lmfdb
  L-Functions and Modular Forms Database
  ☆278Updated this week
• leanprover-community / lean
  Lean 3 Theorem Prover (community fork)
  ☆433Updated 2 years ago
• leanprover-community / lean-liquid
  💧 Liquid Tensor Experiment
  ☆211Updated last year
• teorth / erdosproblems
  A community database for the problems on the erdosproblems.com site
  ☆106Updated this week
• teorth / equational_theories
  A project to map out the relations between different equational theories of Magmas.
  ☆445Updated last week
• spacetimeengineer / spacetimeengine
  A Python utility for analyzing a given solution to the Einstein's field equations. Built on Sympy.
  ☆153Updated 7 months ago
• ryankeleti / ega
  amateur translation project of Grothendieck's EGA.
  ☆368Updated last month
• InertialObservr / twitter_gifs
  source code for math gifs posted to twitter
  ☆128Updated 5 years ago
• bollu / bollu.github.io
  code + contents of my website, and programming life
  ☆369Updated last week
• leanprover-community / lean-perfectoid-spaces
  Perfectoid spaces in the Lean formal theorem prover.
  ☆127Updated last year
• flyspeck / flyspeck
  The formal proof of the Kepler conjecture
  ☆165Updated last year
• weightagnostic / weightagnostic.github.io
  repo for interactive article
  ☆459Updated 3 years ago
• ImperialCollegeLondon / FLT
  Ongoing Lean formalisation of the proof of Fermat's Last Theorem
  ☆741Updated last week
• neldredge / mathgen
  Generate random nonsense math papers
  ☆612Updated 5 years ago
• km-git-acc / dbn_upper_bound
  Computational effort to upper bound the de Bruijn-Newman constant as part of a Polymath project
  ☆13Updated 2 years ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆91Updated this week
• mathematical-tours / mathematical-tours.github.io
  Site web of the Mathematical Tours
  ☆506Updated 11 months ago
• approach0 / search-engine
  A math-aware search engine.
  ☆348Updated 2 years ago
• metamath / set.mm
  Metamath source file for logic and set theory
  ☆297Updated last week
• idrori / mathQ
  Data and code for the paper "A Neural Network Solves, Explains, and Generates University Math Problems by Program Synthesis and Few-Shot …
  ☆184Updated 2 years ago
• maxitg / SetReplace
  C++/Wolfram Language package for exploring set and graph rewriting systems
  ☆235Updated 4 months ago
• teorth / estimates
  Code to automatically prove or verify estimates in analysis
  ☆314Updated 4 months ago
• RuleBasedIntegration / Rubi
  Rubi for Mathematica
  ☆251Updated last year
• superpermutators / superperm
  ☆127Updated 2 years ago