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 \Phi(z,s,a)}
... is translated to the CAS output ...
Semantic latex: \Phi(z,s,a)
Confidence: 0
Mathematica
Translation: \[CapitalPhi][z , s , a]
Information
Sub Equations
- \[CapitalPhi][z , s , a]
Free variables
- \[CapitalPhi]
- a
- s
- z
Symbol info
- Function without DLMF-Definition. We keep it like it is (but delete prefix \ if necessary).
Tests
Symbolic
Numeric
SymPy
Translation: Symbol('Phi')(z , s , a)
Information
Sub Equations
- Symbol('Phi')(z , s , a)
Free variables
- Symbol('Phi')
- a
- s
- z
Symbol info
- Function without DLMF-Definition. We keep it like it is (but delete prefix \ if necessary).
Tests
Symbolic
Numeric
Maple
Translation: Phi(z , s , a)
Information
Sub Equations
- Phi(z , s , a)
Free variables
- Phi
- a
- s
- z
Symbol info
- Function without DLMF-Definition. We keep it like it is (but delete prefix \ if necessary).
Tests
Symbolic
Numeric
Dependency Graph Information
Includes
Is part of
Description
- asymptotic expansion
- Pochhammer symbol
- series
- asymptotic series in the incomplete gamma function
- special case
- polylogarithm
- asymptotic series
- integral representation
- contour
- Various identity
- positive integer
- special case of the Lerch Zeta
- last formula
- Taylor series in the third variable
- digamma function
- n
- series representation for the Lerch
- Dirichlet eta function
- Riemann zeta function
- Legendre chi function
- Hurwitz zeta function
- Hermite-like integral representation
- Lipschitz formula
- related function
- Similar representation
- integral
- point
Complete translation information:
{
"id" : "FORMULA_106f068968f367c7805e517f6bed4bc8",
"formula" : "\\Phi(z,s,a)",
"semanticFormula" : "\\Phi(z,s,a)",
"confidence" : 0.0,
"translations" : {
"Mathematica" : {
"translation" : "\\[CapitalPhi][z , s , a]",
"translationInformation" : {
"subEquations" : [ "\\[CapitalPhi][z , s , a]" ],
"freeVariables" : [ "\\[CapitalPhi]", "a", "s", "z" ],
"tokenTranslations" : {
"\\Phi" : "Function without DLMF-Definition. We keep it like it is (but delete prefix \\ if necessary)."
}
},
"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" : "Symbol('Phi')(z , s , a)",
"translationInformation" : {
"subEquations" : [ "Symbol('Phi')(z , s , a)" ],
"freeVariables" : [ "Symbol('Phi')", "a", "s", "z" ],
"tokenTranslations" : {
"\\Phi" : "Function without DLMF-Definition. We keep it like it is (but delete prefix \\ if necessary)."
}
},
"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" : "Phi(z , s , a)",
"translationInformation" : {
"subEquations" : [ "Phi(z , s , a)" ],
"freeVariables" : [ "Phi", "a", "s", "z" ],
"tokenTranslations" : {
"\\Phi" : "Function without DLMF-Definition. We keep it like it is (but delete prefix \\ if necessary)."
}
},
"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" : 11
} ],
"includes" : [ "z", "s", "a" ],
"isPartOf" : [ "\\,\\chi_n(z)=2^{-n}z \\Phi (z^2,n,1/2)", "\\Phi(z,s+1,a)=-\\,\\frac{1}{s}\\frac{\\partial}{\\partial a} \\Phi(z,s,a)", "\\,\\eta(s)=\\Phi (-1,s,1)", "\\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", "\\,\\textrm{Li}_s(z)=z\\Phi(z,s,1)", "\\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}", "\\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)", "\\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", "\\,\\Phi(e^{2\\pi i\\lambda}, s,\\alpha)=L(\\lambda, \\alpha,s)", "\\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)= \\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", "\\Phi(\\omega, s, \\alpha) = \\sum_{n=0}^\\infty\\frac {\\omega^n} {(n+\\alpha)^s} = \\sum_{m=0}^{q-1} \\sum_{n=0}^\\infty \\frac {\\omega^{qn + m}}{(qn + m + \\alpha)^s} = \\sum_{m=0}^{q-1} \\omega^m q^{-s} \\zeta(s,\\frac{m + \\alpha}{q})", "\\,\\zeta(s,\\alpha)=L(0, \\alpha,s)=\\Phi(1,s,\\alpha)", "\\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", "\\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", "\\,\\zeta(s)=\\Phi (1,s,1)", "\\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}", "\\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}}", "\\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" : "asymptotic expansion",
"score" : 0.6896778755706364
}, {
"definition" : "Pochhammer symbol",
"score" : 0.6677993904007556
}, {
"definition" : "series",
"score" : 0.5503994115509001
}, {
"definition" : "asymptotic series in the incomplete gamma function",
"score" : 0.5177731136658746
}, {
"definition" : "special case",
"score" : 0.5106962510977742
}, {
"definition" : "polylogarithm",
"score" : 0.48299496815327947
}, {
"definition" : "asymptotic series",
"score" : 0.4461343001627743
}, {
"definition" : "integral representation",
"score" : 0.40617210308498164
}, {
"definition" : "contour",
"score" : 0.3970721724437041
}, {
"definition" : "Various identity",
"score" : 0.3552706062383197
}, {
"definition" : "positive integer",
"score" : 0.3537638004472957
}, {
"definition" : "special case of the Lerch Zeta",
"score" : 0.3458683517611271
}, {
"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" : "series representation for the Lerch",
"score" : 0.3191837070106504
}, {
"definition" : "Dirichlet eta function",
"score" : 0.3191784609677646
}, {
"definition" : "Riemann zeta function",
"score" : 0.31917846089865204
}, {
"definition" : "Legendre chi function",
"score" : 0.3191784608939384
}, {
"definition" : "Hurwitz zeta function",
"score" : 0.31917846089364954
}, {
"definition" : "Hermite-like integral representation",
"score" : 0.31917846089364893
}, {
"definition" : "Lipschitz formula",
"score" : 0.31917846089364893
}, {
"definition" : "related function",
"score" : 0.31917846089364893
}, {
"definition" : "Similar representation",
"score" : 0.31917846089364893
}, {
"definition" : "integral",
"score" : 0.23208734080327384
}, {
"definition" : "point",
"score" : 0.23208734080327384
} ]
}