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 \operatorname{Ei}}
... is translated to the CAS output ...
Semantic latex: \operatorname{Ei}
Confidence: 0
Mathematica
Translation: E*i
Information
Sub Equations
- E*i
Free variables
- E
- i
Symbol info
- Was interpreted as a function call because of a leading \operatorname.
Tests
Symbolic
Numeric
SymPy
Translation: E*i
Information
Sub Equations
- E*i
Free variables
- E
- i
Symbol info
- Was interpreted as a function call because of a leading \operatorname.
Tests
Symbolic
Numeric
Maple
Translation: E*i
Information
Sub Equations
- E*i
Free variables
- E
- i
Symbol info
- Was interpreted as a function call because of a leading \operatorname.
Tests
Symbolic
Numeric
Dependency Graph Information
Is part of
Description
- series in the above definition
- entire function
- note
- series
- formula
- non-zero real value
- exponential time
- function
- logarithmic integral function li
- good asymptotic bound for small x
- Ramanujan
- form to the ordinary generating function
- indefinite integral
- number of divisor
- behaviour
- relation
- positive value
- exponential integral
- e.g.
- connexion with the confluent hypergeometric function
- branch cut
- ei
- notation
Complete translation information:
{
"id" : "FORMULA_3a4cfb3e1b9de7276ce1158c9b10f9cb",
"formula" : "\\operatorname{Ei}",
"semanticFormula" : "\\operatorname{Ei}",
"confidence" : 0.0,
"translations" : {
"Mathematica" : {
"translation" : "E*i",
"translationInformation" : {
"subEquations" : [ "E*i" ],
"freeVariables" : [ "E", "i" ],
"tokenTranslations" : {
"Ei" : "Was interpreted as a function call because of a leading \\operatorname."
}
},
"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" : "E*i",
"translationInformation" : {
"subEquations" : [ "E*i" ],
"freeVariables" : [ "E", "i" ],
"tokenTranslations" : {
"Ei" : "Was interpreted as a function call because of a leading \\operatorname."
}
},
"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" : "E*i",
"translationInformation" : {
"subEquations" : [ "E*i" ],
"freeVariables" : [ "E", "i" ],
"tokenTranslations" : {
"Ei" : "Was interpreted as a function call because of a leading \\operatorname."
}
},
"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" : 6,
"sentence" : 0,
"word" : 1
} ],
"includes" : [ ],
"isPartOf" : [ "-E_1(x) = \\operatorname{Ei}(-x)", "{\\rm Ei} (x) = \\gamma + \\ln x + \\exp{(x/2)} \\sum_{n=1}^\\infty \\frac{ (-1)^{n-1} x^n} {n! \\, 2^{n-1}} \\sum_{k=0}^{\\lfloor (n-1)/2 \\rfloor} \\frac{1}{2k+1}", "1-\\frac{3 x}{4}\\le{\\rm Ei} (x) - \\gamma - \\ln x \\le 1-\\frac{3 x}{4}+\\frac{11 x^2}{36}", "\\lim_{\\delta\\to0+} E_1(-x \\pm i\\delta) = -\\operatorname{Ei}(x) \\mp i\\pi,\\qquad x>0", "\\operatorname{Ei}(x) \\,=\\, \\gamma+\\ln x - \\operatorname{Ein}(-x)\\qquad x>0", "\\operatorname{li}(e^x) = \\operatorname{Ei}(x)", "\\operatorname{Ei}(a \\cdot b) = \\iint e^{a b} \\, da \\, db" ],
"definiens" : [ {
"definition" : "series in the above definition",
"score" : 0.6687181434333315
}, {
"definition" : "entire function",
"score" : 0.6288842031023242
}, {
"definition" : "note",
"score" : 0.6282466340947184
}, {
"definition" : "series",
"score" : 0.42330552869481397
}, {
"definition" : "formula",
"score" : 0.3688954486861829
}, {
"definition" : "non-zero real value",
"score" : 0.3594939591774544
}, {
"definition" : "exponential time",
"score" : 0.33280406830999054
}, {
"definition" : "function",
"score" : 0.33280406830999054
}, {
"definition" : "logarithmic integral function li",
"score" : 0.33280406830999054
}, {
"definition" : "good asymptotic bound for small x",
"score" : 0.32739553012332934
}, {
"definition" : "Ramanujan",
"score" : 0.32739553012332934
}, {
"definition" : "form to the ordinary generating function",
"score" : 0.3249394612202381
}, {
"definition" : "indefinite integral",
"score" : 0.3249394612202381
}, {
"definition" : "number of divisor",
"score" : 0.3249394612202381
}, {
"definition" : "behaviour",
"score" : 0.3249087152448675
}, {
"definition" : "relation",
"score" : 0.3249087152448675
}, {
"definition" : "positive value",
"score" : 0.32490861969792334
}, {
"definition" : "exponential integral",
"score" : 0.29297012797898336
}, {
"definition" : "e.g.",
"score" : 0.28756158979232216
}, {
"definition" : "connexion with the confluent hypergeometric function",
"score" : 0.2457129482196155
}, {
"definition" : "branch cut",
"score" : 0.23781759515449236
}, {
"definition" : "ei",
"score" : 0.2378174996075483
}, {
"definition" : "notation",
"score" : 0.2378174996075483
} ]
}