oerpub / mathconverterLinks
Converts from AsciiMath, LaTeX, MathML to LaTeX, MathML
☆59Updated 5 years ago
Alternatives and similar repositories for mathconverter
Users that are interested in mathconverter are comparing it to the libraries listed below
Sorting:
- Converts MathML to LaTeX☆98Updated 2 months ago
- A Haskell library for converting LaTeX math to MathML.☆381Updated 2 weeks ago
- Tag-based webview of LaTeX documents☆31Updated last year
- Xy-pic extension for MathJax version 3☆38Updated 3 years ago
- Metamath verifier in Python☆39Updated 4 months ago
- 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…☆323Updated 7 months ago
- TikZ/PGF package for manipulating soft paths, includes the knots and calligraphy TikZ libraries.☆24Updated 3 weeks ago
- Java Geometry Expert☆44Updated 3 months ago
- Pure Python library for LaTeX to MathML conversion☆228Updated 2 weeks ago
- The root repository for the SpectralSequences project.☆31Updated last month
- mmj2 GUI Proof Assistant for the Metamath project☆75Updated last year
- GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and for automated p…☆63Updated last month
- A program for drawing knots and links, with support for importing images☆32Updated last year
- ☆38Updated 2 years ago
- PreTeXt: an authoring and publishing system for scholarly documents☆298Updated this week
- bookdown flavoured GitBook port for LaTeXML☆22Updated this week
- Examples of technical drawing with John Hobby's MetaPost language☆54Updated 2 months ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆35Updated 5 months ago
- Parse LaTeX math expressions☆404Updated 6 years ago
- M4 algebraic geometry course in Lean☆59Updated 5 years ago
- PRolog Equation Solving System☆29Updated 9 years ago
- A heuristic procedure for proving inequalities☆34Updated 7 years ago
- Typeset version of EGA and SGA by Grothendieck.☆12Updated 11 years ago
- Matroids in Lean☆18Updated last year
- Python package to convert LaTeX markup to DOM☆15Updated 8 months ago
- Synchronization for TeX☆78Updated 2 months ago
- Xy-pic extension for MathJax☆62Updated 4 years ago
- ☆10Updated this week
- LALR Javascript LaTeX-to-MathML converter compatible with Unicode☆145Updated 11 months ago
- A file-based mirror of the nLab wiki (HTML format).☆25Updated this week