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:
- Metamath verifier in Python☆39Updated 4 months ago
- A semantic Extension of TeX/LaTeX☆54Updated last week
- Riemann Hypothesis book☆75Updated 7 years ago
- Tools for managing the TeX sources of the Stacks project☆16Updated last year
- A general purpose processing framework for corpora of scientific documents☆65Updated last week
- P.D. Magnus' forallx logic textbook☆68Updated 6 months ago
- Johan's clone of the cring repository from http://cring.adeel.ru/☆28Updated 12 years ago
- Tear open drawing canvases inside Jupyter code. In Python, read the canvases as NumPy image data.☆37Updated 2 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆68Updated last year
- some maths papers in English☆19Updated this week
- Source of metamath book☆51Updated last year
- Python package to convert LaTeX markup to DOM☆15Updated 9 months ago
- GLUT Kleinian group visualizer☆28Updated 11 years ago
- Nodejs implementation of pandoc filter to turn TeX math into embedded SVG☆23Updated 2 years ago
- "A First Course in Linear Algebra" open source textbook☆68Updated last week
- Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica☆73Updated 4 years ago
- Main repository for sharing files and documents about OpenDreamKit☆91Updated 5 years ago
- The Sage Cell Server---providing a way to embed Sage computations into any web page.☆217Updated last week
- Let's translate works of Grothendieck☆30Updated 6 years ago
- Automatically exported from code.google.com/p/atlasofliegroups☆32Updated this week
- Tag-based webview of LaTeX documents☆31Updated last year
- The Design and Implementation of Probabilistic Programming Languages☆179Updated last year
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 11 months ago
- The MMT Language and System☆76Updated last month
- Tim Button's open textbook on set theory☆39Updated 4 months ago
- 🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.☆83Updated 2 years ago
- GeoGebra Discovery☆26Updated 4 months ago
- Interactive Computer Algebra System. Augmenting how we *do* mathematics using computers☆56Updated 6 years ago
- Lean for the Curious Mathematician 2020☆67Updated 2 years ago
- A LaTeX package that incorporates sympy code, and it's output into your LaTeX documents☆35Updated 11 years ago