LaTeX to CAS translator

Jump to navigation Jump to search

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 \int_1^\infty e^{iax}\frac{\ln x}{x^2}\, \operatorname{d}x = 1 + ia\left[ -\frac{\;\pi^2}{24} + \gamma \left( \frac{\gamma}{2} + \ln a - 1 \right) + \frac{\ln^2 a}{2} - \ln a + 1 \right] + \frac{\pi a}{2} \Bigl( \gamma+\ln a - 1 \Bigr) + \sum_{n\ge 1}\frac{(ia)^{n+1}}{(n+1)!n^2}~. }

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

Semantic latex: \int_1^\infty \expe^{\iunit ax} \frac{\ln x}{x^2} \operatorname \diff{x} = 1 + \iunit a [- \frac{\cpi^2}{24} + \EulerConstant(\frac{\EulerConstant}{2} + \ln a - 1) + \frac{\ln^2 a}{2} - \ln a + 1] + \frac{\cpi a}{2}(\EulerConstant + \ln a - 1) + \sum_{n\ge 1} \frac{(\iunit a)^{n+1}}{(n+1)!n^2}

Confidence: 0

Mathematica

Translation:

Information

Symbol info

  • (LaTeX -> Mathematica) The input LaTeX is invalid: \operatorname has no argument

Tests

Symbolic
Numeric

SymPy

Translation:

Information

Symbol info

  • (LaTeX -> SymPy) The input LaTeX is invalid: \operatorname has no argument

Tests

Symbolic
Numeric

Maple

Translation:

Information

Symbol info

  • (LaTeX -> Maple) The input LaTeX is invalid: \operatorname has no argument

Tests

Symbolic
Numeric

Dependency Graph Information

Includes

Is part of

Complete translation information:

{
  "id" : "FORMULA_85082ce70fac25a462ba6642a1c35409",
  "formula" : "\\int_1^\\infty e^{iax}\\frac{\\ln x}{x^2} \\operatorname{d}x = \n 1 + ia\\left[ -\\frac{\\pi^2}{24} + \\gamma \\left( \\frac{\\gamma}{2} + \\ln a - 1 \\right) + \\frac{\\ln^2 a}{2} - \\ln a + 1 \\right]\n+ \\frac{\\pi a}{2} ( \\gamma+\\ln a - 1 ) \n + \\sum_{n\\ge 1}\\frac{(ia)^{n+1}}{(n+1)!n^2}~",
  "semanticFormula" : "\\int_1^\\infty \\expe^{\\iunit ax} \\frac{\\ln x}{x^2} \\operatorname \\diff{x} = 1 + \\iunit a [- \\frac{\\cpi^2}{24} + \\EulerConstant(\\frac{\\EulerConstant}{2} + \\ln a - 1) + \\frac{\\ln^2 a}{2} - \\ln a + 1] + \\frac{\\cpi a}{2}(\\EulerConstant + \\ln a - 1) + \\sum_{n\\ge 1} \\frac{(\\iunit a)^{n+1}}{(n+1)!n^2}",
  "confidence" : 0.0,
  "translations" : {
    "Mathematica" : {
      "translation" : "",
      "translationInformation" : {
        "tokenTranslations" : {
          "Error" : "(LaTeX -> Mathematica) The input LaTeX is invalid: \\operatorname has no argument"
        }
      }
    },
    "SymPy" : {
      "translation" : "",
      "translationInformation" : {
        "tokenTranslations" : {
          "Error" : "(LaTeX -> SymPy) The input LaTeX is invalid: \\operatorname has no argument"
        }
      }
    },
    "Maple" : {
      "translation" : "",
      "translationInformation" : {
        "tokenTranslations" : {
          "Error" : "(LaTeX -> Maple) The input LaTeX is invalid: \\operatorname has no argument"
        }
      }
    }
  },
  "positions" : [ ],
  "includes" : [ "\\int_1^\\infty e^{iax}\\frac{\\ln x}{x^2}\\, \\operatorname{d}x =  1 + ia\\left[ -\\frac{\\;\\pi^2}{24} + \\gamma \\left( \\frac{\\gamma}{2} + \\ln a - 1 \\right) + \\frac{\\ln^2 a}{2} - \\ln a + 1 \\right]+ \\frac{\\pi a}{2} \\Bigl( \\gamma+\\ln a - 1 \\Bigr)  + \\sum_{n\\ge 1}\\frac{(ia)^{n+1}}{(n+1)!n^2}", "\\gamma", "\\pi", "x" ],
  "isPartOf" : [ "\\int_1^\\infty e^{iax}\\frac{\\ln x}{x^2}\\, \\operatorname{d}x =  1 + ia\\left[ -\\frac{\\;\\pi^2}{24} + \\gamma \\left( \\frac{\\gamma}{2} + \\ln a - 1 \\right) + \\frac{\\ln^2 a}{2} - \\ln a + 1 \\right]+ \\frac{\\pi a}{2} \\Bigl( \\gamma+\\ln a - 1 \\Bigr)  + \\sum_{n\\ge 1}\\frac{(ia)^{n+1}}{(n+1)!n^2}" ],
  "definiens" : [ ]
}

Specify your own input