oerpub / mathconverterLinks
Converts from AsciiMath, LaTeX, MathML to LaTeX, MathML
☆59Updated 6 years ago
Alternatives and similar repositories for mathconverter
Users that are interested in mathconverter are comparing it to the libraries listed below
Sorting:
- A Haskell library for converting LaTeX math to MathML.☆386Updated 3 weeks ago
- Pure Python library for LaTeX to MathML conversion☆234Updated 3 weeks ago
- Tag-based webview of LaTeX documents☆31Updated last year
- Converts MathML to LaTeX☆100Updated this week
- plasTeX is a Python package that processes LaTeX documents into an XML-DOM-like object which can be used to generate various types of out…☆329Updated this week
- Metamath verifier in Python☆40Updated 7 months ago
- WOFF/WOFF2 math fonts and sample CSS stylesheets☆99Updated 3 months ago
- LALR Javascript LaTeX-to-MathML converter compatible with Unicode☆146Updated last year
- Xy-pic extension for MathJax version 3☆38Updated 3 years ago
- Tree Proof Generator☆177Updated 10 months ago
- An English translation of the Séminaire de Géométrie Algébrique du Bois Marie☆40Updated 5 months ago
- A database of small finite categories☆14Updated 2 years ago
- Java Geometry Expert☆46Updated 6 months ago
- An English translation of Grothendieck's Fondements de la Géometrie Algébrique☆28Updated last year
- Python package to convert LaTeX markup to DOM☆15Updated 11 months ago
- Book about using Lean with How To Prove It☆25Updated 3 weeks ago
- Commutative diagrams with TikZ☆54Updated 3 years ago
- bookdown flavoured GitBook port for LaTeXML☆23Updated this week
- Mirror of ocaml-forester☆49Updated last year
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆39Updated 8 months ago
- The Slate Interactive Theorem Prover☆23Updated 3 years ago
- Synchronization for TeX☆81Updated 5 months ago
- TikZ/PGF package for manipulating soft paths, includes the knots and calligraphy TikZ libraries.☆25Updated 3 months ago
- Examples of technical drawing with John Hobby's MetaPost language☆55Updated last week
- XSLT and javascript code intended mostly for manipulating MathML and OpenMath.☆73Updated 4 years ago
- A modern string diagram editor for the web.☆25Updated 8 months ago
- Xy-pic extension for MathJax☆63Updated 4 years ago
- A heuristic procedure for proving inequalities☆34Updated 7 years ago
- Euclidean plane and its relatives; a minimalist introduction.☆19Updated 3 weeks ago
- The Universal Algebra Calculator☆16Updated 3 years ago