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 2 weeks ago
- A semantic Extension of TeX/LaTeX☆52Updated last month
- A general purpose processing framework for corpora of scientific documents☆64Updated this week
- Tools for managing the TeX sources of the Stacks project☆16Updated last year
- Lean-independent implementation of the MM-Lean link☆30Updated 2 years ago
- Riemann Hypothesis book☆75Updated 7 years ago
- GLUT Kleinian group visualizer☆26Updated 11 years ago
- Notes on how to use the internal language of toposes in algebraic geometry☆58Updated this week
- Physics Derivation Graph: mathematical connections among equations☆20Updated last year
- Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica☆73Updated 3 years ago
- Formalization of the existence of sphere eversions☆43Updated 2 weeks ago
- ☆25Updated 2 years ago
- some maths papers in English☆18Updated last week
- P.D. Magnus' forallx logic textbook☆67Updated 2 months ago
- lecture notes for Analytic Geometry course☆11Updated 3 years ago
- IMO Grand Challenge for Artificial Intelligence☆46Updated 3 years ago
- Backend map and tile generation and webserver for the Paperscape map☆45Updated 7 years ago
- Tag-based webview of LaTeX documents☆30Updated last year
- Formalizing results about the Mandelbrot set in Lean☆21Updated 7 months ago
- Main repository for sharing files and documents about OpenDreamKit☆91Updated 4 years ago
- The OpenMath Content Dictionaries☆14Updated 2 years ago
- Downloading and displaying academic ancestry☆16Updated 9 years ago
- An English translation of Grothendieck's Fondements de la Géometrie Algébrique☆18Updated 6 months ago
- The 'Robot' theorem prover. Fork of github.com/mg262/research☆12Updated 4 years ago
- Xy-pic extension for MathJax☆62Updated 4 years ago
- Synchronization for TeX☆76Updated 5 months ago
- AutoMATES: Automated Model Assembly from Text, Equations, and Software☆25Updated last year
- multilingual dictionary of mathematical terminology☆19Updated 7 months ago
- An obsolete python library which gathers statistics and relational information about Lean 3 libraries.☆17Updated last year
- Notes on Diffy Qs, a textbook for differential equations☆69Updated this week