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 \begin{align}&\sum_{n=0}^{\infty}\frac{\Gamma(n+a+b+c+d)\,\Gamma(a+c+1)\,\Gamma(a+d+1)}{\Gamma(a+b+c+d)\,\Gamma(n+a+c+1)\,\Gamma(n+a+d+1)}(-it)^n p_n(x;a,b,c,d)\\ &\qquad=(1-t)^{1-a-b-c-d}{}_3F_2\left( \begin{array}{c} \frac12(a+b+c+d-1), \frac12(a+b+c+d), a+ix\\ a+c, a+d\end{array} ; -\frac{4t}{(1-t)^2} \right).\end{align}}
... is translated to the CAS output ...
Semantic latex: \begin{align}&\sum_{n=0}^{\infty} \frac{\Gamma(n+a+b+c+d)\Gamma(a+c+1)\Gamma(a+d+1)}{\Gamma(a+b+c+d)\Gamma(n+a+c+1)\Gamma(n+a+d+1)}(- \iunit t)^n \contHahnpolyp{n}@{x}{a}{b}{c}{d} \\ &\qquad =(1 - t)^{1-a-b-c-d}{}_3 F_2(\begin{array}{column-style}\frac12(a + b + c + d - 1) , \frac12(a + b + c + d) , a + \iunit x a+c, a+d\end{array} ; - \frac{4t}{(1-t)^2}) .\end{align}
Confidence: 0.71685960350077
Mathematica
Translation:
Information
Symbol info
- (LaTeX -> Mathematica) An unknown or missing element occurred: Empty expression tag. Unable to translate:
Tests
Symbolic
Numeric
SymPy
Translation:
Information
Symbol info
- (LaTeX -> SymPy) No translation possible for given token: Cannot extract information from feature set: \contHahnpolyp [\contHahnpolyp]
Tests
Symbolic
Numeric
Maple
Translation:
Information
Symbol info
- (LaTeX -> Maple) No translation possible for given token: Cannot extract information from feature set: \contHahnpolyp [\contHahnpolyp]
Tests
Symbolic
Numeric
Dependency Graph Information
Includes
Is part of
Complete translation information:
{
"id" : "FORMULA_ff9bdd4b96bdba48a9d65d7c8161a35c",
"formula" : "\\begin{align}&\\sum_{n=0}^{\\infty}\\frac{\\Gamma(n+a+b+c+d)\\Gamma(a+c+1)\\Gamma(a+d+1)}{\\Gamma(a+b+c+d)\\Gamma(n+a+c+1)\\Gamma(n+a+d+1)}(-it)^n p_n(x;a,b,c,d)\\\\\n&\\qquad=(1-t)^{1-a-b-c-d}{}_3F_2\\left( \\begin{array}{c} \\frac12(a+b+c+d-1), \\frac12(a+b+c+d), a+ix\\\\ a+c, a+d\\end{array} ; -\\frac{4t}{(1-t)^2} \\right).\\end{align}",
"semanticFormula" : "\\begin{align}&\\sum_{n=0}^{\\infty} \\frac{\\Gamma(n+a+b+c+d)\\Gamma(a+c+1)\\Gamma(a+d+1)}{\\Gamma(a+b+c+d)\\Gamma(n+a+c+1)\\Gamma(n+a+d+1)}(- \\iunit t)^n \\contHahnpolyp{n}@{x}{a}{b}{c}{d} \\\\ &\\qquad =(1 - t)^{1-a-b-c-d}{}_3 F_2(\\begin{array}{column-style}\\frac12(a + b + c + d - 1) , \\frac12(a + b + c + d) , a + \\iunit x a+c, a+d\\end{array} ; - \\frac{4t}{(1-t)^2}) .\\end{align}",
"confidence" : 0.7168596035007688,
"translations" : {
"Mathematica" : {
"translation" : "",
"translationInformation" : {
"tokenTranslations" : {
"Error" : "(LaTeX -> Mathematica) An unknown or missing element occurred: Empty expression tag. Unable to translate: "
}
},
"numericResults" : {
"overallResult" : "SKIPPED",
"numberOfTests" : 0,
"numberOfFailedTests" : 0,
"numberOfSuccessfulTests" : 0,
"numberOfSkippedTests" : 0,
"numberOfErrorTests" : 0,
"wasAborted" : false,
"crashed" : false,
"testCalculationsGroups" : [ ]
},
"symbolicResults" : {
"overallResult" : "SKIPPED",
"numberOfTests" : 0,
"numberOfFailedTests" : 0,
"numberOfSuccessfulTests" : 0,
"numberOfSkippedTests" : 0,
"numberOfErrorTests" : 0,
"crashed" : false,
"testCalculationsGroup" : [ ]
}
},
"SymPy" : {
"translation" : "",
"translationInformation" : {
"tokenTranslations" : {
"Error" : "(LaTeX -> SymPy) No translation possible for given token: Cannot extract information from feature set: \\contHahnpolyp [\\contHahnpolyp]"
}
},
"numericResults" : {
"overallResult" : "SKIPPED",
"numberOfTests" : 0,
"numberOfFailedTests" : 0,
"numberOfSuccessfulTests" : 0,
"numberOfSkippedTests" : 0,
"numberOfErrorTests" : 0,
"wasAborted" : false,
"crashed" : false,
"testCalculationsGroups" : [ ]
},
"symbolicResults" : {
"overallResult" : "SKIPPED",
"numberOfTests" : 0,
"numberOfFailedTests" : 0,
"numberOfSuccessfulTests" : 0,
"numberOfSkippedTests" : 0,
"numberOfErrorTests" : 0,
"crashed" : false,
"testCalculationsGroup" : [ ]
}
},
"Maple" : {
"translation" : "",
"translationInformation" : {
"tokenTranslations" : {
"Error" : "(LaTeX -> Maple) No translation possible for given token: Cannot extract information from feature set: \\contHahnpolyp [\\contHahnpolyp]"
}
},
"numericResults" : {
"overallResult" : "SKIPPED",
"numberOfTests" : 0,
"numberOfFailedTests" : 0,
"numberOfSuccessfulTests" : 0,
"numberOfSkippedTests" : 0,
"numberOfErrorTests" : 0,
"wasAborted" : false,
"crashed" : false,
"testCalculationsGroups" : [ ]
},
"symbolicResults" : {
"overallResult" : "SKIPPED",
"numberOfTests" : 0,
"numberOfFailedTests" : 0,
"numberOfSuccessfulTests" : 0,
"numberOfSkippedTests" : 0,
"numberOfErrorTests" : 0,
"crashed" : false,
"testCalculationsGroup" : [ ]
}
}
},
"positions" : [ ],
"includes" : [ "p_{n}(x;a,b,c,d)", "\\begin{align}&\\sum_{n=0}^{\\infty}\\frac{\\Gamma(n+a+b+c+d)\\,\\Gamma(a+c+1)\\,\\Gamma(a+d+1)}{\\Gamma(a+b+c+d)\\,\\Gamma(n+a+c+1)\\,\\Gamma(n+a+d+1)}(-it)^n p_n(x;a,b,c,d)\\\\&\\qquad=(1-t)^{1-a-b-c-d}{}_3F_2\\left( \\begin{array}{c} \\frac12(a+b+c+d-1), \\frac12(a+b+c+d), a+ix\\\\ a+c, a+d\\end{array} ; -\\frac{4t}{(1-t)^2} \\right).\\end{align}", "F_{n}" ],
"isPartOf" : [ "\\begin{align}&\\sum_{n=0}^{\\infty}\\frac{\\Gamma(n+a+b+c+d)\\,\\Gamma(a+c+1)\\,\\Gamma(a+d+1)}{\\Gamma(a+b+c+d)\\,\\Gamma(n+a+c+1)\\,\\Gamma(n+a+d+1)}(-it)^n p_n(x;a,b,c,d)\\\\&\\qquad=(1-t)^{1-a-b-c-d}{}_3F_2\\left( \\begin{array}{c} \\frac12(a+b+c+d-1), \\frac12(a+b+c+d), a+ix\\\\ a+c, a+d\\end{array} ; -\\frac{4t}{(1-t)^2} \\right).\\end{align}" ],
"definiens" : [ ]
}