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 \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, }
... is translated to the CAS output ...
Semantic latex: \Phi(z , s , a) = \frac{1}{2a^s} + \int_{0}^{\infty} \frac{{\cos(t\log z)\sin(s\arctan\tfrac{t}{a}) - \sin(t\log z)\cos(s\arctan\tfrac{t}{a})} (a^2 + t^2)^{\frac{s}{2}} \tanh \cpi t} \diff{t}
Confidence: 0
Mathematica
Translation:
Information
Symbol info
- (LaTeX -> Mathematica) No translation possible for given token: Cannot extract information from feature set: \diff [\diff]
Tests
Symbolic
Numeric
SymPy
Translation:
Information
Symbol info
- (LaTeX -> SymPy) No translation possible for given token: Cannot extract information from feature set: \diff [\diff]
Tests
Symbolic
Numeric
Maple
Translation:
Information
Symbol info
- (LaTeX -> Maple) No translation possible for given token: Cannot extract information from feature set: \diff [\diff]
Tests
Symbolic
Numeric
Dependency Graph Information
Includes
Is part of
Complete translation information:
{
"id" : "FORMULA_f2381bb02e0ee3d8c02d8b0e7214c020",
"formula" : "\\Phi(z,s,a)= \\frac{1}{2a^s} + \\int_{0}^{\\infty}\\frac{\\cos(t\\log z)\\sin(s\\arctan\\tfrac{t}{a}) - \\sin(t\\log z)\\cos(s\\arctan\\tfrac{t}{a})}{(a^2 + t^2)^{\\frac{s}{2}} \\tanh\\pi t }dt",
"semanticFormula" : "\\Phi(z , s , a) = \\frac{1}{2a^s} + \\int_{0}^{\\infty} \\frac{{\\cos(t\\log z)\\sin(s\\arctan\\tfrac{t}{a}) - \\sin(t\\log z)\\cos(s\\arctan\\tfrac{t}{a})} (a^2 + t^2)^{\\frac{s}{2}} \\tanh \\cpi t} \\diff{t}",
"confidence" : 0.0,
"translations" : {
"Mathematica" : {
"translation" : "",
"translationInformation" : {
"tokenTranslations" : {
"Error" : "(LaTeX -> Mathematica) No translation possible for given token: Cannot extract information from feature set: \\diff [\\diff]"
}
}
},
"SymPy" : {
"translation" : "",
"translationInformation" : {
"tokenTranslations" : {
"Error" : "(LaTeX -> SymPy) No translation possible for given token: Cannot extract information from feature set: \\diff [\\diff]"
}
}
},
"Maple" : {
"translation" : "",
"translationInformation" : {
"tokenTranslations" : {
"Error" : "(LaTeX -> Maple) No translation possible for given token: Cannot extract information from feature set: \\diff [\\diff]"
}
}
}
},
"positions" : [ ],
"includes" : [ "a", "\\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", "z", "s" ],
"isPartOf" : [ "\\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" ],
"definiens" : [ ]
}