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(e)}
... is translated to the CAS output ...
Semantic latex: \compellintEk@{e}
Confidence: 0.67626271186441
Mathematica
Translation: EllipticE[(e)^2]
Information
Sub Equations
- EllipticE[(e)^2]
Free variables
- e
Symbol info
- You use a typical letter for a constant [the mathematical constant e == Napier's constant == 2.71828182845...].
We keep it like it is! But you should know that Mathematica uses E for this constant. If you want to translate it as a constant, use the corresponding DLMF macro \expe
- Legendre's complete elliptic integral of the second kind; Example: \compellintEk@{k}
Will be translated to: EllipticE[($0)^2] Relevant links to definitions: DLMF: http://dlmf.nist.gov/19.2#E8 Mathematica: https://reference.wolfram.com/language/ref/EllipticE.html
Tests
Symbolic
Numeric
SymPy
Translation:
Information
Symbol info
- (LaTeX -> SymPy) No translation possible for given token: Cannot extract information from feature set: \compellintEk [\compellintEk]
Tests
Symbolic
Numeric
Maple
Translation: EllipticE(e)
Information
Sub Equations
- EllipticE(e)
Free variables
- e
Symbol info
- You use a typical letter for a constant [the mathematical constant e == Napier's constant == 2.71828182845...].
We keep it like it is! But you should know that Maple uses exp(1) for this constant. If you want to translate it as a constant, use the corresponding DLMF macro \expe
- Legendre's complete elliptic integral of the second kind; Example: \compellintEk@{k}
Will be translated to: EllipticE($0) Relevant links to definitions: DLMF: http://dlmf.nist.gov/19.2#E8 Maple: https://www.maplesoft.com/support/help/maple/view.aspx?path=EllipticE
Tests
Symbolic
Numeric
Dependency Graph Information
Includes
Is part of
Description
- term
- circumference
- length of the semi-major axis
- complete elliptic integral of the second kind
- eccentricity
- elementary function
- ellipse
- circumference of the ellipse
- iterative method
- function
- Gauss 's arithmetic-geometric mean
- incomplete elliptic integral of the second kind
- parameter
Complete translation information:
{
"id" : "FORMULA_63abcabc4e167c774b1bb9d292b85ede",
"formula" : "E(e)",
"semanticFormula" : "\\compellintEk@{e}",
"confidence" : 0.6762627118644068,
"translations" : {
"Mathematica" : {
"translation" : "EllipticE[(e)^2]",
"translationInformation" : {
"subEquations" : [ "EllipticE[(e)^2]" ],
"freeVariables" : [ "e" ],
"tokenTranslations" : {
"e" : "You use a typical letter for a constant [the mathematical constant e == Napier's constant == 2.71828182845...].\nWe keep it like it is! But you should know that Mathematica uses E for this constant.\nIf you want to translate it as a constant, use the corresponding DLMF macro \\expe\n",
"\\compellintEk" : "Legendre's complete elliptic integral of the second kind; Example: \\compellintEk@{k}\nWill be translated to: EllipticE[($0)^2]\nRelevant links to definitions:\nDLMF: http://dlmf.nist.gov/19.2#E8\nMathematica: https://reference.wolfram.com/language/ref/EllipticE.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: \\compellintEk [\\compellintEk]"
}
},
"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" : "EllipticE(e)",
"translationInformation" : {
"subEquations" : [ "EllipticE(e)" ],
"freeVariables" : [ "e" ],
"tokenTranslations" : {
"e" : "You use a typical letter for a constant [the mathematical constant e == Napier's constant == 2.71828182845...].\nWe keep it like it is! But you should know that Maple uses exp(1) for this constant.\nIf you want to translate it as a constant, use the corresponding DLMF macro \\expe\n",
"\\compellintEk" : "Legendre's complete elliptic integral of the second kind; Example: \\compellintEk@{k}\nWill be translated to: EllipticE($0)\nRelevant links to definitions:\nDLMF: http://dlmf.nist.gov/19.2#E8\nMaple: https://www.maplesoft.com/support/help/maple/view.aspx?path=EllipticE"
}
},
"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" : 37,
"sentence" : 1,
"word" : 11
} ],
"includes" : [ "E", "e" ],
"isPartOf" : [ "E(e) \\,=\\, \\int_0^{\\pi/2}\\sqrt {1 - e^2 \\sin^2\\theta}\\ d\\theta", "C \\,=\\, 4a\\int_0^{\\pi/2}\\sqrt {1 - e^2 \\sin^2\\theta}\\ d\\theta \\,=\\, 4 a \\,E(e)", "E(z \\mid m)" ],
"definiens" : [ {
"definition" : "term",
"score" : 0.7125985104912714
}, {
"definition" : "circumference",
"score" : 0.6871135306205209
}, {
"definition" : "length of the semi-major axis",
"score" : 0.6871135306205209
}, {
"definition" : "complete elliptic integral of the second kind",
"score" : 0.660423639753057
}, {
"definition" : "eccentricity",
"score" : 0.660423639753057
}, {
"definition" : "elementary function",
"score" : 0.660423639753057
}, {
"definition" : "ellipse",
"score" : 0.660423639753057
}, {
"definition" : "circumference of the ellipse",
"score" : 0.6460746792928004
}, {
"definition" : "iterative method",
"score" : 0.6460746792928004
}, {
"definition" : "function",
"score" : 0.6205896994220499
}, {
"definition" : "Gauss 's arithmetic-geometric mean",
"score" : 0.5500952380952381
}, {
"definition" : "incomplete elliptic integral of the second kind",
"score" : 0.3712758971812694
}, {
"definition" : "parameter",
"score" : 0.30475206598279825
} ]
}