MathWebSearch / mwsLinks
MathWebSearch Implementation
☆48Updated 3 years ago
Alternatives and similar repositories for mws
Users that are interested in mws are comparing it to the libraries listed below
Sorting:
- Riemann Hypothesis book☆74Updated 8 years ago
- A semantic Extension of TeX/LaTeX☆54Updated last week
- A general purpose processing framework for corpora of scientific documents☆65Updated this week
- Metamath verifier in Python☆40Updated 6 months ago
- P.D. Magnus' forallx logic textbook☆69Updated 8 months ago
- Tear open drawing canvases inside Jupyter code. In Python, read the canvases as NumPy image data.☆37Updated 3 years ago
- some maths papers in English☆19Updated last month
- Automatically exported from code.google.com/p/atlasofliegroups☆32Updated this week
- Tim Button's open textbook on set theory☆40Updated 6 months ago
- An OpenMath 2.0 implementation in Python☆17Updated 5 years ago
- Nodejs implementation of pandoc filter to turn TeX math into embedded SVG☆23Updated 3 years ago
- Let's translate works of Grothendieck☆32Updated 6 years ago
- DeepAlgebra☆25Updated 8 years ago
- The Design and Implementation of Probabilistic Programming Languages☆180Updated last year
- Xy-pic extension for MathJax☆63Updated 4 years ago
- Tools for managing the TeX sources of the Stacks project☆16Updated last year
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated last year
- Spherogram is a Python module for dealing with the kind of planar diagrams that arise in 3-dimensional topology, such as link and Heegaar…☆23Updated 2 weeks ago
- The MMT Language and System☆79Updated 3 months ago
- GLUT Kleinian group visualizer☆28Updated 11 years ago
- Perfectoid spaces in the Lean formal theorem prover.☆128Updated last year
- Commutative diagrams with TikZ☆53Updated 3 years ago
- Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica☆74Updated 4 years ago
- Collection of animals and other beings drawn in TikZ☆97Updated last week
- IMO Grand Challenge for Artificial Intelligence☆47Updated 3 years ago
- Python package to convert LaTeX markup to DOM☆15Updated 10 months ago
- FreeTikZ☆41Updated 7 years ago
- Tag-based webview of LaTeX documents☆31Updated last year
- Notes on how to use the internal language of toposes in algebraic geometry☆60Updated last week
- Johan's clone of the cring repository from http://cring.adeel.ru/☆30Updated 12 years ago