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
- Automatically exported from code.google.com/p/atlasofliegroups☆32Updated this week
- Metamath verifier in Python☆40Updated 7 months ago
- A semantic Extension of TeX/LaTeX☆55Updated last week
- Tools for managing the TeX sources of the Stacks project☆16Updated last year
- Tear open drawing canvases inside Jupyter code. In Python, read the canvases as NumPy image data.☆37Updated 3 years ago
- Main repository for sharing files and documents about OpenDreamKit☆91Updated 5 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…☆23Updated 2 weeks ago
- Python package to convert LaTeX markup to DOM☆15Updated 11 months ago
- P.D. Magnus' forallx logic textbook☆69Updated 9 months ago
- A Binder repo for SageMath computing environment☆35Updated this week
- Commutative diagrams with TikZ☆53Updated 3 years ago
- DeepAlgebra☆25Updated 8 years ago
- Mathematical Genealogy Grapher — a tool to build graphs of mathematician advisor-advisee networks☆56Updated last year
- Johan's clone of the cring repository from http://cring.adeel.ru/☆30Updated 12 years ago
- A system for computational category theory and applications☆40Updated 9 years ago
- Xy-pic extension for MathJax☆63Updated 5 years ago
- A general purpose processing framework for corpora of scientific documents☆65Updated this week
- The Design and Implementation of Probabilistic Programming Languages☆180Updated last year
- Let's translate works of Grothendieck☆32Updated 6 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆69Updated last year
- GLUT Kleinian group visualizer☆28Updated 11 years ago
- Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.☆50Updated this week
- Some CSS experiments for arXiv HTML documents converted via latexml☆20Updated last month
- Repository for the QED interactive text and possible extensions☆114Updated 11 months ago
- Browser client for the Paperscape map☆103Updated 6 months ago
- working my way through Sussman and Wisdom's Functional Differential Geometry and implementing it in Python☆46Updated 11 years ago
- The MMT Language and System☆79Updated 4 months ago
- some maths papers in English☆19Updated 2 months ago
- Interactive Computer Algebra System. Augmenting how we *do* mathematics using computers☆56Updated 6 years ago