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 \operatorname{li}(x) = \gamma + \ln \ln x + \sqrt{x} \sum_{n=1}^\infty \frac{ (-1)^{n-1} (\ln x)^n} {n! \, 2^{n-1}} \sum_{k=0}^{\lfloor (n-1)/2 \rfloor} \frac{1}{2k+1} . }
... is translated to the CAS output ...
Semantic latex: \logint@{x} = \gamma + \ln \ln x + \sqrt{x} \sum_{n=1}^\infty \frac{ (-1)^{n-1} (\ln x)^n} {n! 2^{n-1}} \sum_{k=0}^{\floor{(n - 1) / 2}} \frac{1}{2k+1}
Confidence: 0.66010384827848
Mathematica
Translation:
Information
Symbol info
- (LaTeX -> Mathematica) Error while translating DLMF/DRMF Macro: Unable to retrieve correct number of arguments for the macro \ln [\ln]
Tests
Symbolic
Numeric
SymPy
Translation:
Information
Symbol info
- (LaTeX -> SymPy) No translation possible for given token: Cannot extract information from feature set: \logint [\logint]
Tests
Symbolic
Numeric
Maple
Translation:
Information
Symbol info
- (LaTeX -> Maple) Error while translating DLMF/DRMF Macro: Unable to retrieve correct number of arguments for the macro \ln [\ln]
Tests
Symbolic
Numeric
Dependency Graph Information
Includes
Is part of
Complete translation information:
{
"id" : "FORMULA_e5015b146033db2d1a5d4890fb3eb5bd",
"formula" : "\\operatorname{li}(x) =\n \\gamma\n + \\ln \\ln x\n + \\sqrt{x} \\sum_{n=1}^\\infty\n \\frac{ (-1)^{n-1} (\\ln x)^n} {n! 2^{n-1}}\n \\sum_{k=0}^{\\lfloor (n-1)/2 \\rfloor} \\frac{1}{2k+1}",
"semanticFormula" : "\\logint@{x} = \\gamma + \\ln \\ln x + \\sqrt{x} \\sum_{n=1}^\\infty \\frac{ (-1)^{n-1} (\\ln x)^n} {n! 2^{n-1}} \\sum_{k=0}^{\\floor{(n - 1) / 2}} \\frac{1}{2k+1}",
"confidence" : 0.6601038482784843,
"translations" : {
"Mathematica" : {
"translation" : "",
"translationInformation" : {
"tokenTranslations" : {
"Error" : "(LaTeX -> Mathematica) Error while translating DLMF/DRMF Macro: Unable to retrieve correct number of arguments for the macro \\ln [\\ln]"
}
}
},
"SymPy" : {
"translation" : "",
"translationInformation" : {
"tokenTranslations" : {
"Error" : "(LaTeX -> SymPy) No translation possible for given token: Cannot extract information from feature set: \\logint [\\logint]"
}
}
},
"Maple" : {
"translation" : "",
"translationInformation" : {
"tokenTranslations" : {
"Error" : "(LaTeX -> Maple) Error while translating DLMF/DRMF Macro: Unable to retrieve correct number of arguments for the macro \\ln [\\ln]"
}
}
}
},
"positions" : [ ],
"includes" : [ "\\operatorname{li}(x) = \\gamma + \\ln \\ln x + \\sqrt{x} \\sum_{n=1}^\\infty \\frac{ (-1)^{n-1} (\\ln x)^n} {n! \\, 2^{n-1}} \\sum_{k=0}^{\\lfloor (n-1)/2 \\rfloor} \\frac{1}{2k+1}", "x)", "x" ],
"isPartOf" : [ "\\operatorname{li}(x) = \\gamma + \\ln \\ln x + \\sqrt{x} \\sum_{n=1}^\\infty \\frac{ (-1)^{n-1} (\\ln x)^n} {n! \\, 2^{n-1}} \\sum_{k=0}^{\\lfloor (n-1)/2 \\rfloor} \\frac{1}{2k+1}" ],
"definiens" : [ ]
}