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 \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" : [ ]
}