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 E_1(z) =-\gamma-\ln z-\sum_{k=1}^{\infty}\frac{(-z)^k}{k\; k!} \qquad (|\operatorname{Arg}(z)| < \pi)}
... is translated to the CAS output ...
Semantic latex: \EulerpolyE{1}@{z} = - \EulerConstant - \ln z - \sum_{k=1}^{\infty} \frac{(-z)^k}{k k!} \qquad(\abs{\operatorname{Arg}(z)} < \cpi)
Confidence: 0.65121620744905
Mathematica
Translation:
Information
Symbol info
- (LaTeX -> Mathematica) Parenthesis mismatch in expression: Open and close parentheses does not match!
Tests
Symbolic
Numeric
SymPy
Translation:
Information
Symbol info
- (LaTeX -> SymPy) No translation possible for given token: Cannot extract information from feature set: \EulerpolyE [\EulerpolyE]
Tests
Symbolic
Numeric
Maple
Translation:
Information
Symbol info
- (LaTeX -> Maple) Parenthesis mismatch in expression: Open and close parentheses does not match!
Tests
Symbolic
Numeric
Dependency Graph Information
Includes
Is part of
Complete translation information:
{
"id" : "FORMULA_17eac11afbba464ea347f53a322b811b",
"formula" : "E_1(z) =-\\gamma-\\ln z-\\sum_{k=1}^{\\infty}\\frac{(-z)^k}{k k!} \\qquad (|\\operatorname{Arg}(z)| < \\pi)",
"semanticFormula" : "\\EulerpolyE{1}@{z} = - \\EulerConstant - \\ln z - \\sum_{k=1}^{\\infty} \\frac{(-z)^k}{k k!} \\qquad(\\abs{\\operatorname{Arg}(z)} < \\cpi)",
"confidence" : 0.6512162074490504,
"translations" : {
"Mathematica" : {
"translation" : "",
"translationInformation" : {
"tokenTranslations" : {
"Error" : "(LaTeX -> Mathematica) Parenthesis mismatch in expression: Open and close parentheses does not match!"
}
}
},
"SymPy" : {
"translation" : "",
"translationInformation" : {
"tokenTranslations" : {
"Error" : "(LaTeX -> SymPy) No translation possible for given token: Cannot extract information from feature set: \\EulerpolyE [\\EulerpolyE]"
}
}
},
"Maple" : {
"translation" : "",
"translationInformation" : {
"tokenTranslations" : {
"Error" : "(LaTeX -> Maple) Parenthesis mismatch in expression: Open and close parentheses does not match!"
}
}
}
},
"positions" : [ ],
"includes" : [ "E_1(x)", "\\gamma", "E_1", "\\mathrm{E}_1(ix)", "\\infty", "E_n", "z", "E_{1}", "E_1(z) =-\\gamma-\\ln z-\\sum_{k=1}^{\\infty}\\frac{(-z)^k}{k\\; k!} \\qquad (|\\operatorname{Arg}(z)| < \\pi)", "_{1}(", "E_1(z)" ],
"isPartOf" : [ "E_1(z) =-\\gamma-\\ln z-\\sum_{k=1}^{\\infty}\\frac{(-z)^k}{k\\; k!} \\qquad (|\\operatorname{Arg}(z)| < \\pi)" ],
"definiens" : [ ]
}