LaTeX to CAS translator

This mockup demonstrates the concept of TeX to Computer Algebra System (CAS) conversion.

The demo-application converts LaTeX functions which directly translate to CAS counterparts.

Functions without explicit CAS support are available for translation via a DRMF package (under development).

The following LaTeX input ...

{\displaystyle {\rm Gi} (z)=\frac{1}{\pi}\int^\infty_0{\rm sin}\left(uz+\frac 13 u^3\right)du}

${\displaystyle {\displaystyle {\rm {Gi}}(z)={\frac {1}{\pi }}\int _{0}^{\infty }{\rm {sin}}\left(uz+{\frac {1}{3}}u^{3}\right)du}}$

... is translated to the CAS output ...

Semantic latex: {\rm Gi}(z) = \frac{1}{\cpi} \int_0^\infty{\rm sin}(uz + \frac 13 u^3) \diff{u}

Confidence: 0

Mathematica

Translation:

Information

Tests

Symbolic

Numeric

SymPy

Translation:

Information

Tests

Symbolic

Numeric

Maple

Translation:

Information

Tests

Symbolic

Numeric

Dependency Graph Information

{
  "id" : "FORMULA_f8f887f132e8c6fbb15f1a78dd0995a7",
  "formula" : "{\\rm Gi} (z)=\\frac{1}{\\pi}\\int^\\infty_0{\\rm sin}\\left(uz+\\frac 13 u^3\\right)du",
  "semanticFormula" : "{\\rm Gi}(z) = \\frac{1}{\\cpi} \\int_0^\\infty{\\rm sin}(uz + \\frac 13 u^3) \\diff{u}",
  "confidence" : 0.0,
  "translations" : {
    "Mathematica" : {
      "translation" : "",
      "translationInformation" : {
        "tokenTranslations" : {
          "Error" : "(LaTeX -> Mathematica) Unknown LaTeX Command: Reached unknown latex-command \\rm [\\rm]"
        }
      }
    },
    "SymPy" : {
      "translation" : "",
      "translationInformation" : {
        "tokenTranslations" : {
          "Error" : "(LaTeX -> SymPy) Unknown LaTeX Command: Reached unknown latex-command \\rm [\\rm]"
        }
      }
    },
    "Maple" : {
      "translation" : "",
      "translationInformation" : {
        "tokenTranslations" : {
          "Error" : "(LaTeX -> Maple) Unknown LaTeX Command: Reached unknown latex-command \\rm [\\rm]"
        }
      }
    }
  },
  "positions" : [ ],
  "includes" : [ ],
  "isPartOf" : [ ],
  "definiens" : [ ]
}