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 \,\Gamma(x)}
... is translated to the CAS output ...
Semantic latex: \EulerGamma@{x}
Confidence: 0.64660228981098
Mathematica
Translation: Gamma[x]
Information
Sub Equations
- Gamma[x]
Free variables
- x
Symbol info
- Euler Gamma function; Example: \EulerGamma@{z}
Will be translated to: Gamma[$0] Relevant links to definitions: DLMF: http://dlmf.nist.gov/5.2#E1 Mathematica: https://reference.wolfram.com/language/ref/Gamma.html
Tests
Symbolic
Numeric
SymPy
Translation:
Information
Symbol info
- (LaTeX -> SymPy) No translation possible for given token: Cannot extract information from feature set: \EulerGamma [\EulerGamma]
Tests
Symbolic
Numeric
Maple
Translation: GAMMA(x)
Information
Sub Equations
- GAMMA(x)
Free variables
- x
Symbol info
- Euler Gamma function; Example: \EulerGamma@{z}
Will be translated to: GAMMA($0) Relevant links to definitions: DLMF: http://dlmf.nist.gov/5.2#E1 Maple: https://www.maplesoft.com/support/help/maple/view.aspx?path=GAMMA
Tests
Symbolic
Numeric
Dependency Graph Information
Includes
Is part of
Complete translation information:
{
"id" : "FORMULA_8be828d17d0827e1866c485bdf10f2f0",
"formula" : "\\Gamma(x)",
"semanticFormula" : "\\EulerGamma@{x}",
"confidence" : 0.6466022898109791,
"translations" : {
"Mathematica" : {
"translation" : "Gamma[x]",
"translationInformation" : {
"subEquations" : [ "Gamma[x]" ],
"freeVariables" : [ "x" ],
"tokenTranslations" : {
"\\EulerGamma" : "Euler Gamma function; Example: \\EulerGamma@{z}\nWill be translated to: Gamma[$0]\nRelevant links to definitions:\nDLMF: http://dlmf.nist.gov/5.2#E1\nMathematica: https://reference.wolfram.com/language/ref/Gamma.html"
}
},
"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: \\EulerGamma [\\EulerGamma]"
}
},
"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" : "GAMMA(x)",
"translationInformation" : {
"subEquations" : [ "GAMMA(x)" ],
"freeVariables" : [ "x" ],
"tokenTranslations" : {
"\\EulerGamma" : "Euler Gamma function; Example: \\EulerGamma@{z}\nWill be translated to: GAMMA($0)\nRelevant links to definitions:\nDLMF: http://dlmf.nist.gov/5.2#E1\nMaple: https://www.maplesoft.com/support/help/maple/view.aspx?path=GAMMA"
}
},
"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" : [ "\\,\\Gamma(x)" ],
"isPartOf" : [ "\\begin{align}& \\int_0^z\\log\\Gamma(x)\\,dx=-\\int_0^z \\log\\left(\\frac{1}{\\Gamma(x)}\\right)\\,dx \\\\[5pt]= {} & {-(z\\log z-z)}-\\frac{z^2 \\gamma}{2}- \\sum_{k=1}^\\infty \\Bigg\\{ (k+z)\\log \\left(1+\\frac{z}{k}\\right)-\\frac{z^2}{2k}-z \\Bigg\\}\\end{align}", "\\log\\left( \\frac{G(1-z)}{G(z)} \\right)= z\\log\\left(\\frac{\\sin\\pi z}{\\pi}\\right)+\\log\\Gamma(z)+\\frac{1}{2\\pi}\\operatorname{Cl}_2(2\\pi z)", "\\Gamma(z+1)=z \\, \\Gamma(z)", "\\,\\Gamma(x)", "G(z+1)=\\Gamma(z)\\, G(z)", "z\\log \\Gamma(z)-\\log G(1+z)", "\\int_0^z \\log \\Gamma(x)\\,dx=\\frac{z(1-z)}{2}+\\frac{z}{2}\\log 2\\pi +z\\log\\Gamma(z) -\\log G(1+z)", "\\int_0^z \\log \\Gamma(x)\\,dx=\\frac{z(1-z)}{2}+\\frac{z}{2}\\log 2\\pi -(1-z)\\log\\Gamma(z) -\\log G(z)\\,", "G(n)=\\frac{(\\Gamma(n))^{n-1}}{K(n)}", "\\frac{1}{\\Gamma(z)}= z e^{\\gamma z} \\prod_{k=1}^\\infty \\left\\{ \\left(1+\\frac{z}{k}\\right)e^{-z/k} \\right\\}", "\\, G(1+z)=\\Gamma(z)\\, G(z)", "\\begin{align}& z\\log \\Gamma(z)-\\log G(1+z)=-z \\log\\left(\\frac{1}{\\Gamma (z)}\\right)-\\log G(1+z) \\\\[5pt]= {} & {-z} \\left[ \\log z+\\gamma z +\\sum_{k=1}^\\infty \\Bigg\\{ \\log\\left(1+\\frac{z}{k} \\right) -\\frac{z}{k} \\Bigg\\} \\right] \\\\[5pt]& {} -\\left[ \\frac{z}{2}\\log 2\\pi -\\frac{z}{2}-\\frac{z^2}{2} -\\frac{z^2 \\gamma}{2} + \\sum_{k=1}^\\infty \\Bigg\\{k\\log\\left(1+\\frac{z}{k}\\right) +\\frac{z^2}{2k} -z \\Bigg\\} \\right]\\end{align}", "\\log \\Gamma \\left(\\frac{1}{2}-z \\right) + B_1(z) \\log 2\\pi+\\frac{1}{2}\\log 2+\\pi \\int_0^z B_1(x) \\tan \\pi x \\,dx" ],
"definiens" : [ ]
}