MathWebSearch / mwsLinks
MathWebSearch Implementation
☆48Updated 2 years ago
Alternatives and similar repositories for mws
Users that are interested in mws are comparing it to the libraries listed below
Sorting:
- Physics Derivation Graph: mathematical connections among equations☆20Updated last year
- Tools for managing the TeX sources of the Stacks project☆16Updated 11 months ago
- A semantic Extension of TeX/LaTeX☆52Updated 2 weeks ago
- Metamath verifier in Python☆39Updated last year
- A general purpose processing framework for corpora of scientific documents☆63Updated 3 weeks ago
- Lean-independent implementation of the MM-Lean link☆30Updated 2 years ago
- Commutative diagrams with TikZ☆52Updated 2 years ago
- The OpenMath Content Dictionaries☆12Updated 2 years ago
- ☆25Updated 2 years ago
- The 'Robot' theorem prover. Fork of github.com/mg262/research☆12Updated 4 years ago
- Notes on how to use the internal language of toposes in algebraic geometry☆58Updated last month
- Source of metamath book☆48Updated last year
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated 11 months ago
- This ontology is a Linked Data Hub for mathematics☆57Updated last year
- Tear open drawing canvases inside Jupyter code. In Python, read the canvases as NumPy image data.☆37Updated 2 years ago
- An OpenMath 2.0 implementation in Python☆16Updated 5 years ago
- P.D. Magnus' forallx logic textbook☆67Updated 2 months ago
- Xy-pic extension for MathJax☆62Updated 4 years ago
- Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"☆32Updated 4 years ago
- DeepAlgebra☆25Updated 7 years ago
- Archive of CQL's predecessor, by Patrick Schultz, David Spivak, and Ryan Wisnesky☆10Updated 5 years ago
- lecture notes for Analytic Geometry course☆11Updated 3 years ago
- Python package to convert LaTeX markup to DOM☆14Updated 4 months ago
- FreeTikZ☆37Updated 7 years ago
- Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica☆73Updated 3 years ago
- Backend map and tile generation and webserver for the Paperscape map☆45Updated 7 years ago
- Nodejs implementation of pandoc filter to turn TeX math into embedded SVG☆22Updated 2 years ago
- Data Science Ontology☆38Updated 3 weeks ago
- IMO Grand Challenge for Artificial Intelligence☆46Updated 3 years ago
- Repository for the QED interactive text and possible extensions☆100Updated 4 months ago