LaTeX to CAS translator
Jump to navigation
Jump to search
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 \pi^{1/2}H(y) = -2e^{-y^2} \operatorname{Im} i \int_y^{i\infty+y} du\ e^{u^2} }
... is translated to the CAS output ...
Semantic latex: \cpi^{1/2} \HeavisideH@{y} = - 2 \expe^{-y^2} \imagpart i \int_y^{i\infty+y} \diff u \expe^{u^2}
Confidence: 0.52589992733497
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: \HeavisideH [\HeavisideH]
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_73df7e25c70cdd0ca347af45e3399239",
"formula" : "\\pi^{1/2}H(y) = -2e^{-y^2} \\operatorname{Im} i \\int_y^{i\\infty+y} due^{u^2}",
"semanticFormula" : "\\cpi^{1/2} \\HeavisideH@{y} = - 2 \\expe^{-y^2} \\imagpart i \\int_y^{i\\infty+y} \\diff u \\expe^{u^2}",
"confidence" : 0.5258999273349684,
"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: \\HeavisideH [\\HeavisideH]"
}
}
},
"Maple" : {
"translation" : "",
"translationInformation" : {
"tokenTranslations" : {
"Error" : "(LaTeX -> Maple) No translation possible for given token: Cannot extract information from feature set: \\diff [\\diff]"
}
}
}
},
"positions" : [ ],
"includes" : [ "H(y)", "y", "\\pi^{1/2}H(y) = -2e^{-y^2} \\operatorname{Im} i \\int_y^{i\\infty+y} du\\ e^{u^2}", "\\pi^{1/2}" ],
"isPartOf" : [ "\\pi^{1/2}H(y) = -2e^{-y^2} \\operatorname{Im} i \\int_y^{i\\infty+y} du\\ e^{u^2}" ],
"definiens" : [ ]
}