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 \begin{align} \mathrm{Gi}(x) &{}= \mathrm{Bi}(x) \int_x^\infty \mathrm{Ai}(t) \, dt + \mathrm{Ai}(x) \int_0^x \mathrm{Bi}(t) \, dt, \\ \mathrm{Hi}(x) &{}= \mathrm{Bi}(x) \int_{-\infty}^x \mathrm{Ai}(t) \, dt - \mathrm{Ai}(x) \int_{-\infty}^x \mathrm{Bi}(t) \, dt. \end{align} }

${\displaystyle {\displaystyle {\begin{aligned}\mathrm {Gi} (x)&{}=\mathrm {Bi} (x)\int _{x}^{\infty }\mathrm {Ai} (t)\,dt+\mathrm {Ai} (x)\int _{0}^{x}\mathrm {Bi} (t)\,dt,\\\mathrm {Hi} (x)&{}=\mathrm {Bi} (x)\int _{-\infty }^{x}\mathrm {Ai} (t)\,dt-\mathrm {Ai} (x)\int _{-\infty }^{x}\mathrm {Bi} (t)\,dt.\end{aligned}}}}$

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

Semantic latex: \begin{align}\ScorerGi@{x} &= \AiryBi@{x} \int_x^\infty \AiryAi@{t} dt + \AiryAi@{x} \int_0^x \AiryBi@{t} dt , \\ \ScorerHi@{x} &= \AiryBi@{x} \int_{-\infty}^x \AiryAi@{t} dt - \AiryAi@{x} \int_{-\infty}^x \AiryBi@{t} dt .\end{align}

Confidence: 0.68286767083225

Mathematica

Translation:

Information

Tests

Symbolic

Numeric

SymPy

Translation:

Information

Tests

Symbolic

Numeric

Maple

Translation:

Information

Tests

Symbolic

Numeric

Dependency Graph Information

{
  "id" : "FORMULA_e06a03de1ccdc48bb5c53f04d3abb7f7",
  "formula" : "\\begin{align}\n \\mathrm{Gi}(x) &{}= \\mathrm{Bi}(x) \\int_x^\\infty \\mathrm{Ai}(t)  dt + \\mathrm{Ai}(x) \\int_0^x \\mathrm{Bi}(t)  dt, \\\\\n \\mathrm{Hi}(x) &{}= \\mathrm{Bi}(x) \\int_{-\\infty}^x \\mathrm{Ai}(t)  dt - \\mathrm{Ai}(x) \\int_{-\\infty}^x \\mathrm{Bi}(t)  dt. \\end{align}",
  "semanticFormula" : "\\begin{align}\\ScorerGi@{x} &= \\AiryBi@{x} \\int_x^\\infty \\AiryAi@{t} dt + \\AiryAi@{x} \\int_0^x \\AiryBi@{t} dt , \\\\ \\ScorerHi@{x} &= \\AiryBi@{x} \\int_{-\\infty}^x \\AiryAi@{t} dt - \\AiryAi@{x} \\int_{-\\infty}^x \\AiryBi@{t} dt .\\end{align}",
  "confidence" : 0.6828676708322513,
  "translations" : {
    "Mathematica" : {
      "translation" : "",
      "translationInformation" : {
        "tokenTranslations" : {
          "Error" : "(LaTeX -> Mathematica) The input LaTeX is invalid: Unable to retrieve free variables for limit expression."
        }
      }
    },
    "SymPy" : {
      "translation" : "",
      "translationInformation" : {
        "tokenTranslations" : {
          "Error" : "(LaTeX -> SymPy) No translation possible for given token: Cannot extract information from feature set: \\ScorerGi [\\ScorerGi]"
        }
      }
    },
    "Maple" : {
      "translation" : "",
      "translationInformation" : {
        "tokenTranslations" : {
          "Error" : "(LaTeX -> Maple) The input LaTeX is invalid: Unable to retrieve free variables for limit expression."
        }
      }
    }
  },
  "positions" : [ ],
  "includes" : [ "x", "\\begin{align} \\mathrm{Gi}(x) &{}= \\mathrm{Bi}(x) \\int_x^\\infty \\mathrm{Ai}(t) \\, dt + \\mathrm{Ai}(x) \\int_0^x \\mathrm{Bi}(t) \\, dt, \\\\ \\mathrm{Hi}(x) &{}= \\mathrm{Bi}(x) \\int_{-\\infty}^x \\mathrm{Ai}(t) \\, dt - \\mathrm{Ai}(x) \\int_{-\\infty}^x \\mathrm{Bi}(t) \\, dt. \\end{align}", "x)" ],
  "isPartOf" : [ "\\begin{align} \\mathrm{Gi}(x) &{}= \\mathrm{Bi}(x) \\int_x^\\infty \\mathrm{Ai}(t) \\, dt + \\mathrm{Ai}(x) \\int_0^x \\mathrm{Bi}(t) \\, dt, \\\\ \\mathrm{Hi}(x) &{}= \\mathrm{Bi}(x) \\int_{-\\infty}^x \\mathrm{Ai}(t) \\, dt - \\mathrm{Ai}(x) \\int_{-\\infty}^x \\mathrm{Bi}(t) \\, dt. \\end{align}" ],
  "definiens" : [ ]
}