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 \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} }
... is translated to the CAS output ...
Semantic latex: \begin{align}&\int_0^z \log \EulerGamma@{x} \diff{x} = - \int_0^z \log(\frac{1}{\EulerGamma@{x}}) \diff{x} \\ = {} & {-(z\log z-z)} &{-\frac{z^2 \gamma}{2}- \sum_{k=1}^\infty \{ (k+z)\log \left(1+\frac{z}{k}\right)-\frac{z^2}{2k}-z \}} \frac{\EulerConstant} ( )\end{align}
Confidence: 0.64660228981098
Mathematica
Translation:
Information
Symbol info
- (LaTeX -> Mathematica) Error while translating DLMF/DRMF Macro: Unable to retrieve correct number of arguments for the macro \EulerGamma [\EulerGamma]
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:
Information
Symbol info
- (LaTeX -> Maple) Error while translating DLMF/DRMF Macro: Unable to retrieve correct number of arguments for the macro \EulerGamma [\EulerGamma]
Tests
Symbolic
Numeric
Dependency Graph Information
Includes
Complete translation information:
{
"id" : "FORMULA_499cd7f2cd52ab2232a5096527fc87d0",
"formula" : "\\begin{align}\n& \\int_0^z\\log\\Gamma(x)dx=-\\int_0^z \\log\\left(\\frac{1}{\\Gamma(x)}\\right)dx \\\\\n= {} & {-(z\\log z-z)}-\\frac{z^2 \\gamma}{2}- \\sum_{k=1}^\\infty \\{ (k+z)\\log \\left(1+\\frac{z}{k}\\right)-\\frac{z^2}{2k}-z \\}\n\\end{align}",
"semanticFormula" : "\\begin{align}&\\int_0^z \\log \\EulerGamma@{x} \\diff{x} = - \\int_0^z \\log(\\frac{1}{\\EulerGamma@{x}}) \\diff{x} \\\\ = {} & {-(z\\log z-z)} &{-\\frac{z^2 \\gamma}{2}- \\sum_{k=1}^\\infty \\{ (k+z)\\log \\left(1+\\frac{z}{k}\\right)-\\frac{z^2}{2k}-z \\}} \\frac{\\EulerConstant} ( )\\end{align}",
"confidence" : 0.6466022898109791,
"translations" : {
"Mathematica" : {
"translation" : "",
"translationInformation" : {
"tokenTranslations" : {
"Error" : "(LaTeX -> Mathematica) Error while translating DLMF/DRMF Macro: Unable to retrieve correct number of arguments for the macro \\EulerGamma [\\EulerGamma]"
}
}
},
"SymPy" : {
"translation" : "",
"translationInformation" : {
"tokenTranslations" : {
"Error" : "(LaTeX -> SymPy) No translation possible for given token: Cannot extract information from feature set: \\EulerGamma [\\EulerGamma]"
}
}
},
"Maple" : {
"translation" : "",
"translationInformation" : {
"tokenTranslations" : {
"Error" : "(LaTeX -> Maple) Error while translating DLMF/DRMF Macro: Unable to retrieve correct number of arguments for the macro \\EulerGamma [\\EulerGamma]"
}
}
}
},
"positions" : [ ],
"includes" : [ "\\,\\Gamma(x)", "\\, \\gamma", "z", "\\,\\gamma" ],
"isPartOf" : [ ],
"definiens" : [ ]
}