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☆54Updated last month
- Metamath verifier in Python☆40Updated 3 months ago
- Automatically exported from code.google.com/p/atlasofliegroups☆32Updated last week
- P.D. Magnus' forallx logic textbook☆67Updated 5 months ago
- DeepAlgebra☆25Updated 7 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆67Updated last year
- Xy-pic extension for MathJax☆62Updated 4 years ago
- A general purpose processing framework for corpora of scientific documents☆64Updated 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 2 years ago
- Python package to convert LaTeX markup to DOM☆15Updated 7 months ago
- Source of metamath book☆50Updated last year
- A repository of mathematical knowledge written in the Mathlingua language.☆17Updated 9 months ago
- Notes on how to use the internal language of toposes in algebraic geometry☆59Updated this week
- Main repository for sharing files and documents about OpenDreamKit☆91Updated 4 years ago
- Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica☆73Updated 4 years ago
- The MMT Language and System☆76Updated last week
- 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 last month
- More SageMath Tutorials: A place to share and evolve tutorials for Sage, with the aim to contribute them to Sage☆32Updated last year
- AutoMATES: Automated Model Assembly from Text, Equations, and Software☆25Updated last year
- FreeTikZ☆39Updated 7 years ago
- some maths papers in English☆19Updated last month
- A system for computational category theory and applications☆39Updated 9 years ago
- Fungrim: the Mathematical Functions Grimoire☆123Updated 3 years ago
- Commutative diagrams with TikZ☆53Updated 2 years ago
- A cellular automaton for studying self-modifying agents which are embedded in their environment☆130Updated 11 years ago
- GLUT Kleinian group visualizer☆28Updated 11 years ago
- A Binder repo for SageMath computing environment☆32Updated this week
- Physics Derivation Graph: mathematical connections among equations☆21Updated last year