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 \cos(ax)\frac{\ln x}{x} \, dx = -\frac{\pi^2}{24}+\gamma\left(\frac{\gamma}{2}+\ln a\right)+\frac{\ln^2a}{2} +\sum_{n\ge 1} \frac{(-a^2)^n}{(2n)!(2n)^2} ~, }

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

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

Confidence: 0

Mathematica

Translation:

Information

Symbol info

  • (LaTeX -> Mathematica) The input LaTeX is invalid: Unable to retrieve free variables for limit expression.

Tests

Symbolic
Numeric

SymPy

Translation:

Information

Symbol info

  • (LaTeX -> SymPy) The input LaTeX is invalid: Unable to retrieve free variables for limit expression.

Tests

Symbolic
Numeric

Maple

Translation:

Information

Symbol info

  • (LaTeX -> Maple) The input LaTeX is invalid: Unable to retrieve free variables for limit expression.

Tests

Symbolic
Numeric

Dependency Graph Information

Includes

Complete translation information:

{
  "id" : "FORMULA_5754e81dcfc88c653419331ef164ffa8",
  "formula" : "\\int_1^\\infty \\cos(ax)\\frac{\\ln x}{x}  dx =\n-\\frac{\\pi^2}{24}+\\gamma\\left(\\frac{\\gamma}{2}+\\ln a\\right)+\\frac{\\ln^2a}{2}\n+\\sum_{n\\ge 1} \\frac{(-a^2)^n}{(2n)!(2n)^2} ~,",
  "semanticFormula" : "\\int_1^\\infty \\cos(ax) \\frac{\\ln x}{x} \\diff{x} = - \\frac{\\cpi^2}{24} + \\EulerConstant(\\frac{\\EulerConstant}{2} + \\ln a) + \\frac{\\ln^2a}{2} + \\sum_{n\\ge 1} \\frac{(-a^2)^n}{(2n)!(2n)^2} ,",
  "confidence" : 0.0,
  "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) The input LaTeX is invalid: Unable to retrieve free variables for limit expression."
        }
      }
    },
    "Maple" : {
      "translation" : "",
      "translationInformation" : {
        "tokenTranslations" : {
          "Error" : "(LaTeX -> Maple) The input LaTeX is invalid: Unable to retrieve free variables for limit expression."
        }
      }
    }
  },
  "positions" : [ ],
  "includes" : [ "\\int_1^\\infty \\cos(ax)\\frac{\\ln x}{x} \\, dx =-\\frac{\\pi^2}{24}+\\gamma\\left(\\frac{\\gamma}{2}+\\ln a\\right)+\\frac{\\ln^2a}{2}+\\sum_{n\\ge 1} \\frac{(-a^2)^n}{(2n)!(2n)^2}", "\\gamma", "\\pi", "x" ],
  "isPartOf" : [ ],
  "definiens" : [ ]
}

Specify your own input