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 w^{\prime\prime}+\xi\sin(2z)w^{\prime}+(\eta-p\xi\cos(2z))w=0. \, }

${\displaystyle {\displaystyle w^{\prime \prime }+\xi \sin(2z)w^{\prime }+(\eta -p\xi \cos(2z))w=0.\,}}$

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

Semantic latex: w^{\prime\prime}+\xi\sin(2z)w^{\prime}+(\eta-p\xi\cos(2z))w=0

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_e799d5e5391cf9b6c693063541c83bad",
  "formula" : "w^{\\prime\\prime}+\\xi\\sin(2z)w^{\\prime}+(\\eta-p\\xi\\cos(2z))w=0",
  "semanticFormula" : "w^{\\prime\\prime}+\\xi\\sin(2z)w^{\\prime}+(\\eta-p\\xi\\cos(2z))w=0",
  "confidence" : 0.0,
  "translations" : {
    "Mathematica" : {
      "translation" : "",
      "translationInformation" : {
        "tokenTranslations" : {
          "Error" : "(LaTeX -> Mathematica) The input LaTeX is invalid: Primes can only be translated behind semantic macros (differentiation primes) but not in other places."
        }
      }
    },
    "SymPy" : {
      "translation" : "",
      "translationInformation" : {
        "tokenTranslations" : {
          "Error" : "(LaTeX -> SymPy) The input LaTeX is invalid: Primes can only be translated behind semantic macros (differentiation primes) but not in other places."
        }
      }
    },
    "Maple" : {
      "translation" : "",
      "translationInformation" : {
        "tokenTranslations" : {
          "Error" : "(LaTeX -> Maple) The input LaTeX is invalid: Primes can only be translated behind semantic macros (differentiation primes) but not in other places."
        }
      }
    }
  },
  "positions" : [ ],
  "includes" : [ "w^{\\prime\\prime}+\\xi\\sin(2z)w^{\\prime}+(\\eta-p\\xi\\cos(2z))w=0.", "p" ],
  "isPartOf" : [ "w^{\\prime\\prime}+\\xi\\sin(2z)w^{\\prime}+(\\eta-p\\xi\\cos(2z))w=0." ],
  "definiens" : [ ]
}