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 \pi^{1/2}}
... is translated to the CAS output ...
Semantic latex: \cpi^{1/2}
Confidence: 0
Mathematica
Translation: (Pi)^(1/2)
Information
Sub Equations
- (Pi)^(1/2)
Symbol info
- Pi was translated to: Pi
Tests
Symbolic
Numeric
SymPy
Translation: (pi)**(1/2)
Information
Sub Equations
- (pi)**(1/2)
Symbol info
- Pi was translated to: pi
Tests
Symbolic
Numeric
Maple
Translation: (Pi)^(1/2)
Information
Sub Equations
- (Pi)^(1/2)
Symbol info
- Pi was translated to: Pi
Tests
Symbolic
Numeric
Dependency Graph Information
Is part of
Description
- respect
- distribution
- exponential representation
- Fourier representation
- function
- principal value
- real axis
- integral
- contour
- variable
- rectangle in the complex plane
Complete translation information:
{
"id" : "FORMULA_723c86e81fd839b4d466bff5711b22d5",
"formula" : "\\pi^{1/2}",
"semanticFormula" : "\\cpi^{1/2}",
"confidence" : 0.0,
"translations" : {
"Mathematica" : {
"translation" : "(Pi)^(1/2)",
"translationInformation" : {
"subEquations" : [ "(Pi)^(1/2)" ],
"tokenTranslations" : {
"\\cpi" : "Pi was translated to: Pi"
}
},
"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" : "(pi)**(1/2)",
"translationInformation" : {
"subEquations" : [ "(pi)**(1/2)" ],
"tokenTranslations" : {
"\\cpi" : "Pi was translated to: pi"
}
},
"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" : "(Pi)^(1/2)",
"translationInformation" : {
"subEquations" : [ "(Pi)^(1/2)" ],
"tokenTranslations" : {
"\\cpi" : "Pi was translated to: Pi"
}
},
"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" : 2,
"word" : 59
} ],
"includes" : [ ],
"isPartOf" : [ "\\pi^{1/2} H(y) = \\operatorname{Im} \\int_0^\\infty dk \\, \\exp[-k^2/4+iky]", "\\pi^{1/2}H(y) = e^{-y^2} \\operatorname{Im} \\int_0^\\infty dk \\, \\exp[-(k/2-iy)^2]", "\\pi^{1/2}H(y) = -2e^{-y^2} \\operatorname{Im} i \\int_y^{i\\infty+y} du\\ e^{u^2}" ],
"definiens" : [ {
"definition" : "respect",
"score" : 0.8634700854766569
}, {
"definition" : "distribution",
"score" : 0.6954080343007951
}, {
"definition" : "exponential representation",
"score" : 0.6954080343007951
}, {
"definition" : "Fourier representation",
"score" : 0.6954080343007951
}, {
"definition" : "function",
"score" : 0.6954080343007951
}, {
"definition" : "principal value",
"score" : 0.6954080343007951
}, {
"definition" : "real axis",
"score" : 0.6954080343007951
}, {
"definition" : "integral",
"score" : 0.6699230544300447
}, {
"definition" : "contour",
"score" : 0.6432331635625809
}, {
"definition" : "variable",
"score" : 0.6432331635625809
}, {
"definition" : "rectangle in the complex plane",
"score" : 0.6033992232315736
} ]
}