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 \sum_{\ell=0}^\infty \frac{2\ell + 1}{2} P_\ell(x)P_\ell(y) = \delta(x-y), }
... is translated to the CAS output ...
Semantic latex: \sum_{\ell=0}^\infty \frac{2\ell + 1}{2} \LegendrepolyP{\ell}@{x} \LegendrepolyP{\ell}@{y} = \deltaDistribution(x - y)
Confidence: 0.65990097822024
Mathematica
Translation:
Information
Symbol info
- (LaTeX -> Mathematica) No translation possible for given token: Cannot extract information from feature set: \deltaDistribution [\deltaDistribution]
Tests
Symbolic
Numeric
SymPy
Translation:
Information
Symbol info
- (LaTeX -> SymPy) No translation possible for given token: Cannot extract information from feature set: \LegendrepolyP [\LegendrepolyP]
Tests
Symbolic
Numeric
Maple
Translation:
Information
Symbol info
- (LaTeX -> Maple) No translation possible for given token: Cannot extract information from feature set: \deltaDistribution [\deltaDistribution]
Tests
Symbolic
Numeric
Dependency Graph Information
Includes
Description
- form
- completeness property
- expansion
- article
Complete translation information:
{
"id" : "FORMULA_cd0c3bb3fd0afafed3c0970ccbd1f675",
"formula" : "\\sum_{\\ell=0}^\\infty \\frac{2\\ell + 1}{2} P_\\ell(x)P_\\ell(y) = \\delta(x-y)",
"semanticFormula" : "\\sum_{\\ell=0}^\\infty \\frac{2\\ell + 1}{2} \\LegendrepolyP{\\ell}@{x} \\LegendrepolyP{\\ell}@{y} = \\deltaDistribution(x - y)",
"confidence" : 0.6599009782202441,
"translations" : {
"Mathematica" : {
"translation" : "",
"translationInformation" : {
"tokenTranslations" : {
"Error" : "(LaTeX -> Mathematica) No translation possible for given token: Cannot extract information from feature set: \\deltaDistribution [\\deltaDistribution]"
}
}
},
"SymPy" : {
"translation" : "",
"translationInformation" : {
"tokenTranslations" : {
"Error" : "(LaTeX -> SymPy) No translation possible for given token: Cannot extract information from feature set: \\LegendrepolyP [\\LegendrepolyP]"
}
}
},
"Maple" : {
"translation" : "",
"translationInformation" : {
"tokenTranslations" : {
"Error" : "(LaTeX -> Maple) No translation possible for given token: Cannot extract information from feature set: \\deltaDistribution [\\deltaDistribution]"
}
}
}
},
"positions" : [ {
"section" : 4,
"sentence" : 5,
"word" : 19
} ],
"includes" : [ "P_n(x)", "P_n", "x", "P_{n}(x)", "P_m", "P" ],
"isPartOf" : [ ],
"definiens" : [ {
"definition" : "form",
"score" : 0.722
}, {
"definition" : "completeness property",
"score" : 0.6460746792928004
}, {
"definition" : "expansion",
"score" : 0.6460746792928004
}, {
"definition" : "article",
"score" : 0.5500952380952381
} ]
}