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 E_n(x)}
... is translated to the CAS output ...
Semantic latex: \EulerpolyE{n}@{x}
Confidence: 0.90733333333333
Mathematica
Translation: EulerE[n, x]
Information
Sub Equations
- EulerE[n, x]
Free variables
- n
- x
Symbol info
- Euler polynomial; Example: \EulerpolyE{n}@{x}
Will be translated to: EulerE[$0, $1] Relevant links to definitions: DLMF: http://dlmf.nist.gov/24.2#ii Mathematica: https://reference.wolfram.com/language/ref/EulerE.html
Tests
Symbolic
Numeric
SymPy
Translation:
Information
Symbol info
- (LaTeX -> SymPy) No translation possible for given token: Cannot extract information from feature set: \EulerpolyE [\EulerpolyE]
Tests
Symbolic
Numeric
Maple
Translation: euler(n, x)
Information
Sub Equations
- euler(n, x)
Free variables
- n
- x
Symbol info
- Euler polynomial; Example: \EulerpolyE{n}@{x}
Will be translated to: euler($0, $1) Relevant links to definitions: DLMF: http://dlmf.nist.gov/24.2#ii Maple: https://www.maplesoft.com/support/help/maple/view.aspx?path=euler
Tests
Symbolic
Numeric
Dependency Graph Information
Includes
Is part of
Description
- Euler polynomial
- value in term
- series
- Bernoulli polynomial
- real part
- Stieltjes constant
- function
- Laurent series expansion
Complete translation information:
{
"id" : "FORMULA_24c8a5615d9c6cad23d79d448c7b848c",
"formula" : "E_n(x)",
"semanticFormula" : "\\EulerpolyE{n}@{x}",
"confidence" : 0.9073333333333333,
"translations" : {
"Mathematica" : {
"translation" : "EulerE[n, x]",
"translationInformation" : {
"subEquations" : [ "EulerE[n, x]" ],
"freeVariables" : [ "n", "x" ],
"tokenTranslations" : {
"\\EulerpolyE" : "Euler polynomial; Example: \\EulerpolyE{n}@{x}\nWill be translated to: EulerE[$0, $1]\nRelevant links to definitions:\nDLMF: http://dlmf.nist.gov/24.2#ii\nMathematica: https://reference.wolfram.com/language/ref/EulerE.html"
}
},
"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: \\EulerpolyE [\\EulerpolyE]"
}
},
"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" : "euler(n, x)",
"translationInformation" : {
"subEquations" : [ "euler(n, x)" ],
"freeVariables" : [ "n", "x" ],
"tokenTranslations" : {
"\\EulerpolyE" : "Euler polynomial; Example: \\EulerpolyE{n}@{x}\nWill be translated to: euler($0, $1)\nRelevant links to definitions:\nDLMF: http://dlmf.nist.gov/24.2#ii\nMaple: https://www.maplesoft.com/support/help/maple/view.aspx?path=euler"
}
},
"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" : 14,
"sentence" : 1,
"word" : 10
} ],
"includes" : [ "n", "H_{n}", "C_{n}", "G_{n}" ],
"isPartOf" : [ "\\zeta(s,q)=\\frac{1}{s-1}+\\sum_{n=0}^\\infty \\frac{(-1)^n}{n!} \\gamma_n(q) \\; (s-1)^n", "B_n(x) = -\\Re \\left[ (-i)^n \\beta(x;n) \\right]", "E_{2n-1}\\left(\\frac{p}{q}\\right) =(-1)^n \\frac{4(2n-1)!}{(2\\pi q)^{2n}}\\sum_{k=1}^q \\zeta\\left(2n,\\frac{2k-1}{2q}\\right)\\cos \\frac{(2k-1)\\pi p}{q}", "E_{2n}\\left(\\frac{p}{q}\\right) =(-1)^n \\frac{4(2n)!}{(2\\pi q)^{2n+1}}\\sum_{k=1}^q \\zeta\\left(2n+1,\\frac{2k-1}{2q}\\right)\\sin \\frac{(2k-1)\\pi p}{q}" ],
"definiens" : [ {
"definition" : "Euler polynomial",
"score" : 0.722
}, {
"definition" : "value in term",
"score" : 0.6859086196238077
}, {
"definition" : "series",
"score" : 0.37819047619047685
}, {
"definition" : "Bernoulli polynomial",
"score" : 0.36878898668675075
}, {
"definition" : "real part",
"score" : 0.34209909581928694
}, {
"definition" : "Stieltjes constant",
"score" : 0.34209909581428444
}, {
"definition" : "function",
"score" : 0.3022651554882797
}, {
"definition" : "Laurent series expansion",
"score" : 0.20628571428571488
} ]
}