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 a}
... is translated to the CAS output ...
Semantic latex: a
Confidence: 0
Mathematica
Translation: a
Information
Sub Equations
- a
Free variables
- a
Tests
Symbolic
Numeric
SymPy
Translation: a
Information
Sub Equations
- a
Free variables
- a
Tests
Symbolic
Numeric
Maple
Translation: a
Information
Sub Equations
- a
Free variables
- a
Tests
Symbolic
Numeric
Dependency Graph Information
Is part of
Description
- Pochhammer symbol
- asymptotic expansion
- Taylor coefficient
- series
- asymptotic series in the incomplete gamma function
- asymptotic series
- integral representation
- contour
- polylogarithm
- special case
- positive integer
- last formula
- Taylor series in the third variable
- digamma function
- n
- Various identity
- Hermite-like integral representation
- Lipschitz formula
- Similar representation
- integral
- point
Complete translation information:
{
"id" : "FORMULA_0cc175b9c0f1b6a831c399e269772661",
"formula" : "a",
"semanticFormula" : "a",
"confidence" : 0.0,
"translations" : {
"Mathematica" : {
"translation" : "a",
"translationInformation" : {
"subEquations" : [ "a" ],
"freeVariables" : [ "a" ]
},
"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" : "a",
"translationInformation" : {
"subEquations" : [ "a" ],
"freeVariables" : [ "a" ]
},
"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" : "a",
"translationInformation" : {
"subEquations" : [ "a" ],
"freeVariables" : [ "a" ]
},
"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" : [ {
"section" : 6,
"sentence" : 1,
"word" : 14
} ],
"includes" : [ ],
"isPartOf" : [ "\\Phi(z,s+1,a)=-\\,\\frac{1}{s}\\frac{\\partial}{\\partial a} \\Phi(z,s,a)", "|a|<1;\\Re(s)<0 ;z\\notin (-\\infty,0)", "|\\mathrm{Arg}(a)|<\\pi, s \\in \\mathbb{C}", "\\Phi(z,s,a)=\\frac{1}{a^s}+\\sum_{m=0}^\\infty (1-m-s)_m \\operatorname{Li}_{s+m}(z)\\frac{a^m}{m!}; |a|<1", "\\Phi(z,s,a)=-\\frac{\\Gamma(1-s)}{2\\pi i}\\int_0^{(+\\infty)}\\frac{(-t)^{s-1}e^{-at}}{1-ze^{-t}}\\,dt", "\\Phi(z,s,a)", "\\Phi(z,s,a)=\\frac{1}{2a^s}+\\frac{1}{z^a}\\sum_{k=1}^\\infty\\frac{e^{-2\\pi i(k-1)a}\\Gamma(1-s,a(-2\\pi i(k-1)-\\log(z)))} {(-2\\pi i(k-1)-\\log(z))^{1-s}}+\\frac{e^{2\\pi ika}\\Gamma(1-s,a(2\\pi ik-\\log(z)))}{(2\\pi ik-\\log(z))^{1-s}}", "\\Phi(z,s,a)=z^n \\Phi(z,s,a+n) + \\sum_{k=0}^{n-1} \\frac {z^k}{(k+a)^s}", "\\Re(a)>0\\wedge\\Re(s)<0\\wedge z<1", "\\Phi(-z,s,a)=z^{-a}\\Gamma(1-s)\\sum_{k=-\\infty}^\\infty[(2k+1)\\pi i-\\log(z)]^{s-1}e^{(2k+1)\\pi ai}", "\\Phi(z,s-1,a)=\\left(a+z\\frac{\\partial}{\\partial z}\\right) \\Phi(z,s,a)", "|\\log(z)|<2 \\pi;s\\neq 1,2,3,\\dots; a\\neq 0,-1,-2,\\dots", "|a|<1;\\Re(s)<0 ;z\\notin (0,\\infty)", "\\Re(a)>0\\wedge\\Re(s)>0\\wedge z<1\\vee\\Re(a)>0\\wedge\\Re(s)>1\\wedge z=1", "\\Phi(z,s,a)= \\frac{1}{2a^s} + \\int_{0}^{\\infty}\\frac{\\cos(t\\log z)\\sin\\Big(s\\arctan\\tfrac{t}{a}\\Big) - \\sin(t\\log z)\\cos\\Big(s\\arctan\\tfrac{t}{a}\\Big)}{\\big(a^2 + t^2\\big)^{\\frac{s}{2}} \\tanh\\pi t }\\,dt", "\\Phi(z,s,a)=\\frac{1}{2a^s}+\\int_0^\\infty \\frac{z^t}{(a+t)^s}\\,dt+\\frac{2}{a^{s-1}}\\int_0^\\infty\\frac{\\sin(s\\arctan(t)-ta\\log(z))}{(1+t^2)^{s/2}(e^{2\\pi at}-1)}\\,dt", "\\Re(a)>0", "\\Phi(z,n,a)=z^{-a}\\left\\{\\sum_{{k=0}\\atop k\\neq n-1}^ \\infty \\zeta(n-k,a)\\frac{\\log^k (z)}{k!}+\\left[\\psi(n)-\\psi(a)-\\log(-\\log(z))\\right]\\frac{\\log^{n-1}(z)}{(n-1)!}\\right\\}", "\\Omega_{a} \\equiv \\begin{cases}\\mathbb{C}\\setminus[1,\\infty) & \\text{if } \\Re a > 0, \\\\{z \\in \\mathbb{C}, |z|<1} & \\text{if } \\Re a \\le 0.\\end{cases}", "\\Phi(-z,s,a)= \\frac{1}{2a^s} + \\int_{0}^{\\infty}\\frac{\\cos(t\\log z)\\sin\\Big(s\\arctan\\tfrac{t}{a}\\Big) - \\sin(t\\log z)\\cos\\Big(s\\arctan\\tfrac{t}{a}\\Big)}{\\big(a^2 + t^2\\big)^{\\frac{s}{2}} \\sinh\\pi t }\\,dt", "a= -n", "\\Phi(z,s,a)=z^{-a}\\left[\\Gamma(1-s)\\left(-\\log (z)\\right)^{s-1}+\\sum_{k=0}^\\infty \\zeta(s-k,a)\\frac{\\log^k (z)}{k!}\\right]", "\\Phi(e^{i\\varphi},s,a)=L\\big(\\tfrac{\\varphi}{2\\pi},a,s\\big)= \\frac{1}{a^s} + \\frac{1}{2\\Gamma(s)}\\int_{0}^{\\infty}\\frac{t^{s-1}e^{-at}\\big(e^{i\\varphi}-e^{-t}\\big)}{\\cosh{t}-\\cos{\\varphi}}\\,dt", "z \\in \\Omega_{a}", "\\Phi(z,s,a)=\\frac{1}{\\Gamma(s)}\\int_0^\\infty\\frac{t^{s-1}e^{-at}}{1-ze^{-t}}\\,dt", "\\Phi(z,s,a)=\\frac{1}{2a^s}+\\frac{\\log^{s-1}(1/z)}{z^a}\\Gamma(1-s,a\\log(1/z))+\\frac{2}{a^{s-1}}\\int_0^\\infty\\frac{\\sin(s\\arctan(t)-ta\\log(z))}{(1+t^2)^{s/2}(e^{2\\pi at}-1)}\\,dt", "|a|<1;\\Re(s)<0", "\\Re(a)>0\\wedge |z|<1", "\\Phi(z,s,a+x)=\\sum_{k=0}^\\infty \\Phi(z,s+k,a)(s)_{k}\\frac{(-x)^k}{k!};|x|<\\Re(a)", "\\Phi(z,s,a)=\\sum_{k=0}^n \\frac{z^k}{(a+k)^s}+z^n\\sum_{m=0}^\\infty (1-m-s)_{m}\\operatorname{Li}_{s+m}(z)\\frac{(a+n)^m}{m!};\\ a\\rightarrow-n", "\\Phi(z,s,a)=z^{-a}\\Gamma(1-s)\\sum_{k=-\\infty}^\\infty[2k\\pi i-\\log(z)]^{s-1}e^{2k\\pi ai}", "\\Phi(z,s,a) = \\frac{1}{1-z} \\frac{1}{a^{s}} + \\sum_{n=1}^{N-1} \\frac{(-1)^{n} \\mathrm{Li}_{-n}(z)}{n!} \\frac{(s)_{n}}{a^{n+s}} +O(a^{-N-s})", "f(z,x,a) \\equiv \\frac{1-(z e^{-x})^{1-a}}{1-z e^{-x}}", "C_{n}(z,a)", "N \\in \\mathbb{N}, \\Re a > 1", "\\Phi(z,s,a) - \\frac{\\mathrm{Li}_{s}(z)}{z^{a}}=\\sum_{n=0}^{N-1}C_{n}(z,a) \\frac{(s)_{n}}{a^{n+s}}+O\\left( (\\Re a)^{1-N-s}+a z^{-\\Re a} \\right)", "\\Re a \\to \\infty" ],
"definiens" : [ {
"definition" : "Pochhammer symbol",
"score" : 0.7548905104911308
}, {
"definition" : "asymptotic expansion",
"score" : 0.6896778755706364
}, {
"definition" : "Taylor coefficient",
"score" : 0.5985227097189656
}, {
"definition" : "series",
"score" : 0.5564966279874104
}, {
"definition" : "asymptotic series in the incomplete gamma function",
"score" : 0.5177731136658746
}, {
"definition" : "asymptotic series",
"score" : 0.4461343001627743
}, {
"definition" : "integral representation",
"score" : 0.40617210308498164
}, {
"definition" : "contour",
"score" : 0.3970721724437041
}, {
"definition" : "polylogarithm",
"score" : 0.3960013259619435
}, {
"definition" : "special case",
"score" : 0.36931143509447967
}, {
"definition" : "positive integer",
"score" : 0.3537638004472957
}, {
"definition" : "last formula",
"score" : 0.34586835176111286
}, {
"definition" : "Taylor series in the third variable",
"score" : 0.3406665561317441
}, {
"definition" : "digamma function",
"score" : 0.32707390957983185
}, {
"definition" : "n",
"score" : 0.32707390957983185
}, {
"definition" : "Various identity",
"score" : 0.3191792258621273
}, {
"definition" : "Hermite-like integral representation",
"score" : 0.31917846089364893
}, {
"definition" : "Lipschitz formula",
"score" : 0.31917846089364893
}, {
"definition" : "Similar representation",
"score" : 0.31917846089364893
}, {
"definition" : "integral",
"score" : 0.23208734080327384
}, {
"definition" : "point",
"score" : 0.23208734080327384
} ]
}