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:
- Riemann Hypothesis book☆75Updated 7 years ago
- A semantic Extension of TeX/LaTeX☆53Updated last week
- A general purpose processing framework for corpora of scientific documents☆64Updated 2 weeks ago
- Tools for managing the TeX sources of the Stacks project☆16Updated last year
- Tag-based webview of LaTeX documents☆30Updated last year
- Automatically exported from code.google.com/p/atlasofliegroups☆32Updated this week
- Metamath verifier in Python☆40Updated last month
- Python package to convert LaTeX markup to DOM☆15Updated 5 months ago
- Commutative diagrams with TikZ☆53Updated 2 years ago
- An English translation of Grothendieck's Fondements de la Géometrie Algébrique☆18Updated 6 months ago
- A Binder repo for SageMath computing environment☆28Updated last week
- SnapPy is a package for studying the topology and geometry of 3-manifolds, with a focus on hyperbolic structures. It is based on the Snap…☆105Updated last week
- GLUT Kleinian group visualizer☆26Updated 11 years ago
- Perfectoid spaces in the Lean formal theorem prover.☆125Updated last year
- A program for drawing knots and links, with support for importing images☆32Updated last year
- 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☆30Updated 2 years ago
- Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica☆73Updated 3 years ago
- Nodejs implementation of pandoc filter to turn TeX math into embedded SVG☆23Updated 2 years ago
- Repository for the QED interactive text and possible extensions☆102Updated 5 months ago
- lecture notes for Analytic Geometry course☆11Updated 3 years ago
- Notes on how to use the internal language of toposes in algebraic geometry☆59Updated 3 weeks ago
- Formalization of the existence of sphere eversions☆43Updated 2 weeks ago
- DeepAlgebra☆25Updated 7 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 last week
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated last year
- Collection of animals and other beings drawn in TikZ☆97Updated last month
- Some CSS experiments for arXiv HTML documents converted via latexml☆20Updated this week
- Johan's clone of the cring repository from http://cring.adeel.ru/☆29Updated 11 years ago
- Latex source for geometric algebra and physics notes.☆37Updated last week