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:
- A semantic Extension of TeX/LaTeX☆53Updated this week
- Riemann Hypothesis book☆75Updated 7 years ago
- A general purpose processing framework for corpora of scientific documents☆64Updated this week
- Metamath verifier in Python☆40Updated last month
- Python package to convert LaTeX markup to DOM☆15Updated 6 months ago
- DeepAlgebra☆25Updated 7 years ago
- Automatically exported from code.google.com/p/atlasofliegroups☆32Updated this week
- The OpenMath Content Dictionaries☆14Updated 3 years ago
- Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…☆22Updated this week
- P.D. Magnus' forallx logic textbook☆67Updated 4 months ago
- Xy-pic extension for MathJax☆62Updated 4 years ago
- Lean for the Curious Mathematician 2020☆67Updated last year
- The Design and Implementation of Probabilistic Programming Languages☆178Updated last year
- The Sage Cell Server---providing a way to embed Sage computations into any web page.☆211Updated last month
- Tag-based webview of LaTeX documents☆30Updated last year
- Tools for managing the TeX sources of the Stacks project☆16Updated last year
- More SageMath Tutorials: A place to share and evolve tutorials for Sage, with the aim to contribute them to Sage☆32Updated last year
- Main repository for sharing files and documents about OpenDreamKit☆91Updated 4 years ago
- Backend map and tile generation and webserver for the Paperscape map☆45Updated 3 weeks ago
- Let's translate works of Grothendieck☆26Updated 5 years ago
- Tear open drawing canvases inside Jupyter code. In Python, read the canvases as NumPy image data.☆37Updated 2 years ago
- Lean-independent implementation of the MM-Lean link☆32Updated 2 years ago
- The MMT Language and System☆75Updated last year
- An OpenMath 2.0 implementation in Python☆17Updated 5 years ago
- Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica☆73Updated 3 years ago
- Repository for the QED interactive text and possible extensions☆104Updated 6 months ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆29Updated 11 years ago
- Nodejs implementation of pandoc filter to turn TeX math into embedded SVG☆23Updated 2 years ago
- Source of metamath book☆48Updated last year
- some maths papers in English☆18Updated this week