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 z}
... is translated to the CAS output ...
Semantic latex: z
Confidence: 0
Mathematica
Translation: z
Information
Sub Equations
- z
Free variables
- z
Tests
Symbolic
Numeric
SymPy
Translation: z
Information
Sub Equations
- z
Free variables
- z
Tests
Symbolic
Numeric
Maple
Translation: z
Information
Sub Equations
- z
Free variables
- z
Tests
Symbolic
Numeric
Dependency Graph Information
Is part of
Description
- contour
- integral representation
- Similar representation
- Hermite-like integral representation
- integral
- point
- polylogarithm
- series
- special case
- special case of the Lerch Zeta
- Pochhammer symbol
- Legendre chi function
- Re
- polylogarithm function
- positive integer
- asymptotic series
- asymptotic series in the incomplete gamma function
- asymptotic expansion
- Taylor coefficient
- related function
- Various identity
- series representation for the Lerch
- digamma function
- n
- Taylor series in the third variable
Complete translation information:
{
"id" : "FORMULA_fbade9e36a3f36d3d676c1b808451dd7",
"formula" : "z",
"semanticFormula" : "z",
"confidence" : 0.0,
"translations" : {
"Mathematica" : {
"translation" : "z",
"translationInformation" : {
"subEquations" : [ "z" ],
"freeVariables" : [ "z" ]
},
"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" : "z",
"translationInformation" : {
"subEquations" : [ "z" ],
"freeVariables" : [ "z" ]
},
"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" : "z",
"translationInformation" : {
"subEquations" : [ "z" ],
"freeVariables" : [ "z" ]
},
"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" : 2,
"sentence" : 3,
"word" : 11
}, {
"section" : 5,
"sentence" : 2,
"word" : 11
}, {
"section" : 6,
"sentence" : 1,
"word" : 19
} ],
"includes" : [ ],
"isPartOf" : [ "\\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", "\\Re(a)>0\\wedge\\Re(s)<0\\wedge z<1", "\\Re(a)>0\\wedge |z|<1", "t=\\log(z)+2k\\pi i,k\\in Z", "\\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", "\\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{\\Gamma(1-s)}{2\\pi i}\\int_0^{(+\\infty)}\\frac{(-t)^{s-1}e^{-at}}{1-ze^{-t}}\\,dt", "\\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, \\alpha) = \\sum_{n=0}^\\infty\\frac { z^n} {(n+\\alpha)^s}", "\\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", "\\,\\textrm{Li}_s(z)=z\\Phi(z,s,1)", "\\,\\chi_n(z)=2^{-n}z \\Phi (z^2,n,1/2)", "z = \\omega = e^{2 \\pi i \\frac{p}{q}}", "\\Phi(z,s,a)=z^n \\Phi(z,s,a+n) + \\sum_{k=0}^{n-1} \\frac {z^k}{(k+a)^s}", "\\Phi(z,s-1,a)=\\left(a+z\\frac{\\partial}{\\partial z}\\right) \\Phi(z,s,a)", "\\Phi(z,s+1,a)=-\\,\\frac{1}{s}\\frac{\\partial}{\\partial a} \\Phi(z,s,a)", "\\Phi(z,s,q)=\\frac{1}{1-z} \\sum_{n=0}^\\infty \\left(\\frac{-z}{1-z} \\right)^n\\sum_{k=0}^n (-1)^k \\binom{n}{k} (q+k)^{-s}", "z)<1/2", "|\\log(z)|<2 \\pi;s\\neq 1,2,3,\\dots; a\\neq 0,-1,-2,\\dots", "\\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(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\\}", "\\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)=\\frac{1}{a^s}+\\sum_{m=0}^\\infty (1-m-s)_m \\operatorname{Li}_{s+m}(z)\\frac{a^m}{m!}; |a|<1", "\\operatorname{Li}_s(z)", "\\Phi(z,s,a)=z^{-a}\\Gamma(1-s)\\sum_{k=-\\infty}^\\infty[2k\\pi i-\\log(z)]^{s-1}e^{2k\\pi ai}", "|a|<1;\\Re(s)<0 ;z\\notin (-\\infty,0)", "\\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}", "|a|<1;\\Re(s)<0 ;z\\notin (0,\\infty)", "\\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}}", "\\mathrm{Li}_n(z)", "\\mathrm{Li}_0(z)=\\frac{z}{1-z}, \\qquad \\mathrm{Li}_{-n}(z)=z \\frac{d}{dz} \\mathrm{Li}_{1-n}(z)", "\\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}", "z \\in \\Omega_{a}", "\\Phi(z,s,a)", "\\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)", "\\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)" ],
"definiens" : [ {
"definition" : "contour",
"score" : 0.7004053803698408
}, {
"definition" : "integral representation",
"score" : 0.6910583354599118
}, {
"definition" : "Similar representation",
"score" : 0.6601229053380933
}, {
"definition" : "Hermite-like integral representation",
"score" : 0.6346379254673428
}, {
"definition" : "integral",
"score" : 0.6202889650070861
}, {
"definition" : "point",
"score" : 0.6050591198626147
}, {
"definition" : "polylogarithm",
"score" : 0.5054960735672942
}, {
"definition" : "series",
"score" : 0.49947044947197916
}, {
"definition" : "special case",
"score" : 0.4759557737974169
}, {
"definition" : "special case of the Lerch Zeta",
"score" : 0.4432692207976948
}, {
"definition" : "Pochhammer symbol",
"score" : 0.39913290873405927
}, {
"definition" : "Legendre chi function",
"score" : 0.36644635572940026
}, {
"definition" : "Re",
"score" : 0.3524048575258217
}, {
"definition" : "polylogarithm function",
"score" : 0.35240476190476183
}, {
"definition" : "positive integer",
"score" : 0.3430032724701491
}, {
"definition" : "asymptotic series",
"score" : 0.3430032723960478
}, {
"definition" : "asymptotic series in the incomplete gamma function",
"score" : 0.343003272396034
}, {
"definition" : "asymptotic expansion",
"score" : 0.3430032723960334
}, {
"definition" : "Taylor coefficient",
"score" : 0.3430032723960334
}, {
"definition" : "related function",
"score" : 0.3378014767666648
}, {
"definition" : "Various identity",
"score" : 0.316344223125
}, {
"definition" : "series representation for the Lerch",
"score" : 0.31631862764557106
}, {
"definition" : "digamma function",
"score" : 0.31631338160268524
}, {
"definition" : "n",
"score" : 0.31631338160268524
}, {
"definition" : "Taylor series in the third variable",
"score" : 0.31631338153357264
} ]
}