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 x^{2n}e^{-x^2}}
... is translated to the CAS output ...
Semantic latex: x^{2n} \expe^{-x^2}
Confidence: 0
Mathematica
Translation: (x)^(2*n)* Exp[- (x)^(2)]
Information
Sub Equations
- (x)^(2*n)* Exp[- (x)^(2)]
Free variables
- n
- x
Symbol info
- Recognizes e with power as the exponential function. It was translated as a function.
Tests
Symbolic
Numeric
SymPy
Translation: (x)**(2*n)* exp(- (x)**(2))
Information
Sub Equations
- (x)**(2*n)* exp(- (x)**(2))
Free variables
- n
- x
Symbol info
- Recognizes e with power as the exponential function. It was translated as a function.
Tests
Symbolic
Numeric
Maple
Translation: (x)^(2*n)* exp(- (x)^(2))
Information
Sub Equations
- (x)^(2*n)* exp(- (x)^(2))
Free variables
- n
- x
Symbol info
- Recognizes e with power as the exponential function. It was translated as a function.
Tests
Symbolic
Numeric
Dependency Graph Information
Includes
Is part of
Description
- Hilbert
- derivative
- Dawson function
- result
Complete translation information:
{
"id" : "FORMULA_fa3737f9ec659d81743dac7d937e4a88",
"formula" : "x^{2n}e^{-x^2}",
"semanticFormula" : "x^{2n} \\expe^{-x^2}",
"confidence" : 0.0,
"translations" : {
"Mathematica" : {
"translation" : "(x)^(2*n)* Exp[- (x)^(2)]",
"translationInformation" : {
"subEquations" : [ "(x)^(2*n)* Exp[- (x)^(2)]" ],
"freeVariables" : [ "n", "x" ],
"tokenTranslations" : {
"\\expe" : "Recognizes e with power as the exponential function. It was translated as a function."
}
},
"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" : "(x)**(2*n)* exp(- (x)**(2))",
"translationInformation" : {
"subEquations" : [ "(x)**(2*n)* exp(- (x)**(2))" ],
"freeVariables" : [ "n", "x" ],
"tokenTranslations" : {
"\\expe" : "Recognizes e with power as the exponential function. It was translated as a function."
}
},
"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" : "(x)^(2*n)* exp(- (x)^(2))",
"translationInformation" : {
"subEquations" : [ "(x)^(2*n)* exp(- (x)^(2))" ],
"freeVariables" : [ "n", "x" ],
"tokenTranslations" : {
"\\expe" : "Recognizes e with power as the exponential function. It was translated as a function."
}
},
"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" : 5,
"word" : 4
} ],
"includes" : [ "x", "n" ],
"isPartOf" : [ "H_n = \\pi^{-1} \\operatorname{P.V.} \\int_{-\\infty}^\\infty \\frac{x^{2n}e^{-x^2}}{y-x} \\, dx" ],
"definiens" : [ {
"definition" : "Hilbert",
"score" : 0.6687181434333315
}, {
"definition" : "derivative",
"score" : 0.6494398354310194
}, {
"definition" : "Dawson function",
"score" : 0.5816270233429564
}, {
"definition" : "result",
"score" : 0.441749596053091
} ]
}