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 L(s,\chi) = \sum_{n=1}^\infty \frac {\chi(n)}{n^s} = \frac {1}{k^s} \sum_{m=1}^k \chi(m)\; \zeta \left(s,\frac{m}{k}\right).}
... is translated to the CAS output ...
Semantic latex: \DirichletL@{s}{\Dirichletchar@{n}{k}} = \sum_{n=1}^\infty \frac{\Dirichletchar@@{n}{k}}{n^s} = \frac {1}{k^s} \sum_{m=1}^k \Dirichletchar@@{m}{k} \zeta(s , \frac{m}{k})
Confidence: 0.58695128210806
Mathematica
Translation:
Information
Symbol info
- (LaTeX -> Mathematica) No translation possible for given token: Cannot extract information from feature set: \DirichletL [\DirichletL]
Tests
Symbolic
Numeric
SymPy
Translation:
Information
Symbol info
- (LaTeX -> SymPy) No translation possible for given token: Cannot extract information from feature set: \DirichletL [\DirichletL]
Tests
Symbolic
Numeric
Maple
Translation:
Information
Symbol info
- (LaTeX -> Maple) No translation possible for given token: Cannot extract information from feature set: \DirichletL [\DirichletL]
Tests
Symbolic
Numeric
Dependency Graph Information
Includes
Is part of
Complete translation information:
{
"id" : "FORMULA_93246bbaca37a9ff25d8383909799076",
"formula" : "L(s,\\chi) = \\sum_{n=1}^\\infty \\frac {\\chi(n)}{n^s}\n= \\frac {1}{k^s} \\sum_{m=1}^k \\chi(m) \\zeta \\left(s,\\frac{m}{k}\\right)",
"semanticFormula" : "\\DirichletL@{s}{\\Dirichletchar@{n}{k}} = \\sum_{n=1}^\\infty \\frac{\\Dirichletchar@@{n}{k}}{n^s} = \\frac {1}{k^s} \\sum_{m=1}^k \\Dirichletchar@@{m}{k} \\zeta(s , \\frac{m}{k})",
"confidence" : 0.5869512821080592,
"translations" : {
"Mathematica" : {
"translation" : "",
"translationInformation" : {
"tokenTranslations" : {
"Error" : "(LaTeX -> Mathematica) No translation possible for given token: Cannot extract information from feature set: \\DirichletL [\\DirichletL]"
}
}
},
"SymPy" : {
"translation" : "",
"translationInformation" : {
"tokenTranslations" : {
"Error" : "(LaTeX -> SymPy) No translation possible for given token: Cannot extract information from feature set: \\DirichletL [\\DirichletL]"
}
}
},
"Maple" : {
"translation" : "",
"translationInformation" : {
"tokenTranslations" : {
"Error" : "(LaTeX -> Maple) No translation possible for given token: Cannot extract information from feature set: \\DirichletL [\\DirichletL]"
}
}
}
},
"positions" : [ ],
"includes" : [ "\\chi", "L", "s", "\\zeta(s,q)", "L(s, \\chi)", "L(s,\\chi) = \\sum_{n=1}^\\infty \\frac {\\chi(n)}{n^s}= \\frac {1}{k^s} \\sum_{m=1}^k \\chi(m)\\; \\zeta \\left(s,\\frac{m}{k}\\right)", "L(s,\\chi)", "L(s,\\chi) = \\sum_{n=1}^\\infty \\frac{\\chi(n)}{n^s}", "k" ],
"isPartOf" : [ "L(s,\\chi) = \\sum_{n=1}^\\infty \\frac {\\chi(n)}{n^s}= \\frac {1}{k^s} \\sum_{m=1}^k \\chi(m)\\; \\zeta \\left(s,\\frac{m}{k}\\right)" ],
"definiens" : [ ]
}