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 \int_{-\infty}^{\infty}P_n^{(\lambda)}(x;\phi)P_m^{(\lambda)}(x;\phi)w(x; \lambda, \phi)dx=\frac{2\pi\Gamma(n+2\lambda)}{(2\sin\phi)^{2\lambda}n!}\delta_{mn},\quad \lambda>0,\quad 0<\phi<\pi.}
... is translated to the CAS output ...
Semantic latex: \int_{-\infty}^{\infty} \MeixnerPollaczekpolyP{\lambda}{n}@{x}{\phi} \MeixnerPollaczekpolyP{\lambda}{m}@{x}{\phi} w(x ; \lambda , \phi) \diff{x} = \frac{2 \cpi \Gamma(n + 2 \lambda)}{(2\sin\phi)^{2\lambda}n!} \delta_{mn} , \quad \lambda > 0 , \quad 0 < \phi < \cpi
Confidence: 0.8820248930976
Mathematica
Translation:
Information
Symbol info
- (LaTeX -> Mathematica) No translation possible for given token: Cannot extract information from feature set: \MeixnerPollaczekpolyP [\MeixnerPollaczekpolyP]
Tests
Symbolic
Numeric
SymPy
Translation:
Information
Symbol info
- (LaTeX -> SymPy) No translation possible for given token: Cannot extract information from feature set: \MeixnerPollaczekpolyP [\MeixnerPollaczekpolyP]
Tests
Symbolic
Numeric
Maple
Translation:
Information
Symbol info
- (LaTeX -> Maple) No translation possible for given token: Cannot extract information from feature set: \MeixnerPollaczekpolyP [\MeixnerPollaczekpolyP]
Tests
Symbolic
Numeric
Dependency Graph Information
Includes
Description
- orthogonality relation
- Meixner -- Pollaczek polynomial
- real line with respect
- weight function
Complete translation information:
{
"id" : "FORMULA_8eabb8bac3299d20ac4433f08df82dbf",
"formula" : "\\int_{-\\infty}^{\\infty}P_n^{(\\lambda)}(x;\\phi)P_m^{(\\lambda)}(x;\\phi)w(x; \\lambda, \\phi)dx=\\frac{2\\pi\\Gamma(n+2\\lambda)}{(2\\sin\\phi)^{2\\lambda}n!}\\delta_{mn},\\quad \\lambda>0,\\quad 0<\\phi<\\pi",
"semanticFormula" : "\\int_{-\\infty}^{\\infty} \\MeixnerPollaczekpolyP{\\lambda}{n}@{x}{\\phi} \\MeixnerPollaczekpolyP{\\lambda}{m}@{x}{\\phi} w(x ; \\lambda , \\phi) \\diff{x} = \\frac{2 \\cpi \\Gamma(n + 2 \\lambda)}{(2\\sin\\phi)^{2\\lambda}n!} \\delta_{mn} , \\quad \\lambda > 0 , \\quad 0 < \\phi < \\cpi",
"confidence" : 0.8820248930976001,
"translations" : {
"Mathematica" : {
"translation" : "",
"translationInformation" : {
"tokenTranslations" : {
"Error" : "(LaTeX -> Mathematica) No translation possible for given token: Cannot extract information from feature set: \\MeixnerPollaczekpolyP [\\MeixnerPollaczekpolyP]"
}
},
"numericResults" : {
"overallResult" : "SKIPPED",
"numberOfTests" : 0,
"numberOfFailedTests" : 0,
"numberOfSuccessfulTests" : 0,
"numberOfSkippedTests" : 0,
"numberOfErrorTests" : 0,
"wasAborted" : false,
"crashed" : false,
"testCalculationsGroups" : [ ]
},
"symbolicResults" : {
"overallResult" : "SKIPPED",
"numberOfTests" : 0,
"numberOfFailedTests" : 0,
"numberOfSuccessfulTests" : 0,
"numberOfSkippedTests" : 0,
"numberOfErrorTests" : 0,
"crashed" : false,
"testCalculationsGroup" : [ ]
}
},
"SymPy" : {
"translation" : "",
"translationInformation" : {
"tokenTranslations" : {
"Error" : "(LaTeX -> SymPy) No translation possible for given token: Cannot extract information from feature set: \\MeixnerPollaczekpolyP [\\MeixnerPollaczekpolyP]"
}
},
"numericResults" : {
"overallResult" : "SKIPPED",
"numberOfTests" : 0,
"numberOfFailedTests" : 0,
"numberOfSuccessfulTests" : 0,
"numberOfSkippedTests" : 0,
"numberOfErrorTests" : 0,
"wasAborted" : false,
"crashed" : false,
"testCalculationsGroups" : [ ]
},
"symbolicResults" : {
"overallResult" : "SKIPPED",
"numberOfTests" : 0,
"numberOfFailedTests" : 0,
"numberOfSuccessfulTests" : 0,
"numberOfSkippedTests" : 0,
"numberOfErrorTests" : 0,
"crashed" : false,
"testCalculationsGroup" : [ ]
}
},
"Maple" : {
"translation" : "",
"translationInformation" : {
"tokenTranslations" : {
"Error" : "(LaTeX -> Maple) No translation possible for given token: Cannot extract information from feature set: \\MeixnerPollaczekpolyP [\\MeixnerPollaczekpolyP]"
}
},
"numericResults" : {
"overallResult" : "SKIPPED",
"numberOfTests" : 0,
"numberOfFailedTests" : 0,
"numberOfSuccessfulTests" : 0,
"numberOfSkippedTests" : 0,
"numberOfErrorTests" : 0,
"wasAborted" : false,
"crashed" : false,
"testCalculationsGroups" : [ ]
},
"symbolicResults" : {
"overallResult" : "SKIPPED",
"numberOfTests" : 0,
"numberOfFailedTests" : 0,
"numberOfSuccessfulTests" : 0,
"numberOfSkippedTests" : 0,
"numberOfErrorTests" : 0,
"crashed" : false,
"testCalculationsGroup" : [ ]
}
}
},
"positions" : [ {
"section" : 2,
"sentence" : 0,
"word" : 26
} ],
"includes" : [ "P_{m}^{(\\lambda)}(x;\\varphi)", "w(x;\\lambda,\\varphi)" ],
"isPartOf" : [ ],
"definiens" : [ {
"definition" : "orthogonality relation",
"score" : 0.6859086196238077
}, {
"definition" : "Meixner -- Pollaczek polynomial",
"score" : 0.6460746792928004
}, {
"definition" : "real line with respect",
"score" : 0.6460746792928004
}, {
"definition" : "weight function",
"score" : 0.6460746792928004
} ]
}