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 \log G(1+z) = \frac{z}{2}\log 2\pi -\left( \frac{z+(1+\gamma)z^2}{2} \right) + \sum_{k=2}^{\infty}(-1)^k\frac{\zeta(k)}{k+1}z^{k+1}.}
... is translated to the CAS output ...
Semantic latex: \log \BarnesG@{1 + z} = \frac{z}{2} \log 2 \cpi -(\frac{z +(1 + \EulerConstant) z^2}{2}) + \sum_{k=2}^{\infty}(- 1)^k \frac{\Riemannzeta@{k}}{k+1} z^{k+1}
Confidence: 0.77338624992224
Mathematica
Translation:
Information
Symbol info
- (LaTeX -> Mathematica) Error while translating DLMF/DRMF Macro: Unable to retrieve correct number of arguments for the macro \BarnesG [\BarnesG]
Tests
Symbolic
Numeric
SymPy
Translation:
Information
Symbol info
- (LaTeX -> SymPy) No translation possible for given token: Cannot extract information from feature set: \BarnesG [\BarnesG]
Tests
Symbolic
Numeric
Maple
Translation:
Information
Symbol info
- (LaTeX -> Maple) No translation possible for given token: Cannot extract information from feature set: \BarnesG [\BarnesG]
Tests
Symbolic
Numeric
Dependency Graph Information
Includes
Description
- series expansion
- Taylor 's theorem
- logarithmic derivative of the Barnes function
Complete translation information:
{
"id" : "FORMULA_4b20d7bbf9d4541ef186889e68fda6b3",
"formula" : "\\log G(1+z) = \\frac{z}{2}\\log 2\\pi -\\left( \\frac{z+(1+\\gamma)z^2}{2} \\right) + \\sum_{k=2}^{\\infty}(-1)^k\\frac{\\zeta(k)}{k+1}z^{k+1}",
"semanticFormula" : "\\log \\BarnesG@{1 + z} = \\frac{z}{2} \\log 2 \\cpi -(\\frac{z +(1 + \\EulerConstant) z^2}{2}) + \\sum_{k=2}^{\\infty}(- 1)^k \\frac{\\Riemannzeta@{k}}{k+1} z^{k+1}",
"confidence" : 0.7733862499222388,
"translations" : {
"Mathematica" : {
"translation" : "",
"translationInformation" : {
"tokenTranslations" : {
"Error" : "(LaTeX -> Mathematica) Error while translating DLMF/DRMF Macro: Unable to retrieve correct number of arguments for the macro \\BarnesG [\\BarnesG]"
}
}
},
"SymPy" : {
"translation" : "",
"translationInformation" : {
"tokenTranslations" : {
"Error" : "(LaTeX -> SymPy) No translation possible for given token: Cannot extract information from feature set: \\BarnesG [\\BarnesG]"
}
}
},
"Maple" : {
"translation" : "",
"translationInformation" : {
"tokenTranslations" : {
"Error" : "(LaTeX -> Maple) No translation possible for given token: Cannot extract information from feature set: \\BarnesG [\\BarnesG]"
}
}
}
},
"positions" : [ {
"section" : 5,
"sentence" : 0,
"word" : 23
} ],
"includes" : [ "z", "\\, 2\\pi", "G", "\\, \\gamma", "\\, \\zeta(x)", "\\,\\gamma" ],
"isPartOf" : [ ],
"definiens" : [ {
"definition" : "series expansion",
"score" : 0.6859086196238077
}, {
"definition" : "Taylor 's theorem",
"score" : 0.6460746792928004
}, {
"definition" : "logarithmic derivative of the Barnes function",
"score" : 0.5988174995334326
} ]
}