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 general purpose processing framework for corpora of scientific documents☆65Updated this week
- A semantic Extension of TeX/LaTeX☆54Updated last week
- Automatically exported from code.google.com/p/atlasofliegroups☆32Updated this week
- Tools for managing the TeX sources of the Stacks project☆16Updated last year
- Riemann Hypothesis book☆75Updated 7 years ago
- P.D. Magnus' forallx logic textbook☆67Updated 6 months ago
- Metamath verifier in Python☆40Updated 4 months ago
- Let's translate works of Grothendieck☆29Updated 6 years ago
- Xy-pic extension for MathJax☆62Updated 4 years ago
- Python package to convert LaTeX markup to DOM☆15Updated 8 months ago
- Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica☆73Updated 4 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆68Updated last year
- The Design and Implementation of Probabilistic Programming Languages☆178Updated last year
- A system for computational category theory and applications☆40Updated 9 years ago
- GLUT Kleinian group visualizer☆28Updated 11 years ago
- Tim Button's open textbook on set theory☆39Updated 3 months ago
- L-Functions and Modular Forms Database☆276Updated last week
- some maths papers in English☆19Updated this week
- Tear open drawing canvases inside Jupyter code. In Python, read the canvases as NumPy image data.☆37Updated 2 years ago
- Reasonable Python is a module which adds F-Logic to Python☆25Updated 14 years ago
- Nodejs implementation of pandoc filter to turn TeX math into embedded SVG☆23Updated 2 years ago
- Source of metamath book☆51Updated last year
- Main repository for sharing files and documents about OpenDreamKit☆91Updated 4 years ago
- Lean-independent implementation of the MM-Lean link☆32Updated 2 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…☆21Updated 2 months ago
- The MMT Language and System☆76Updated last month
- deep learning for math☆28Updated 6 years ago
- Repository for the QED interactive text and possible extensions☆105Updated 8 months ago
- ☆43Updated 2 months ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆28Updated 12 years ago