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
- P.D. Magnus' forallx logic textbook☆69Updated 10 months ago
- A semantic Extension of TeX/LaTeX☆55Updated 3 weeks ago
- A general purpose processing framework for corpora of scientific documents☆65Updated 3 weeks ago
- Metamath verifier in Python☆41Updated 7 months ago
- DeepAlgebra☆25Updated 8 years ago
- GLUT Kleinian group visualizer☆28Updated 11 years ago
- Automatically exported from code.google.com/p/atlasofliegroups☆32Updated this week
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated last year
- working my way through Sussman and Wisdom's Functional Differential Geometry and implementing it in Python☆46Updated 11 years ago
- Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica☆74Updated 4 years ago
- Source of metamath book☆55Updated 2 years ago
- The Design and Implementation of Probabilistic Programming Languages☆180Updated 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…☆24Updated 2 weeks ago
- Tools for managing the TeX sources of the Stacks project☆16Updated last year
- Let's translate works of Grothendieck☆32Updated 6 years ago
- Tear open drawing canvases inside Jupyter code. In Python, read the canvases as NumPy image data.☆37Updated 3 years ago
- Xy-pic extension for MathJax☆63Updated 5 years ago
- A collection of MathJax extensions provided by third-party contributors☆77Updated 5 years ago
- Tim Button's open textbook on set theory☆41Updated 7 months ago
- Python package to convert LaTeX markup to DOM☆15Updated last year
- Repository for the QED interactive text and possible extensions☆117Updated last year
- Applied Combinatorics by Mitchel T. Keller and William T. Trotter☆32Updated last week
- PreTeXt: an authoring and publishing system for scholarly documents☆311Updated 3 weeks ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆30Updated 12 years ago
- Backend map and tile generation and webserver for the Paperscape map☆44Updated 6 months ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆69Updated last year
- Commutative diagrams with TikZ☆53Updated 3 years ago
- Multiroom meeting app integrating web tools☆46Updated last year
- Tag-based webview of LaTeX documents☆32Updated 2 years ago