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 \mu}
... is translated to the CAS output ...
Semantic latex: \mu
Confidence: 0
Mathematica
Translation: \[Mu]
Information
Sub Equations
- \[Mu]
Free variables
- \[Mu]
Tests
Symbolic
Numeric
SymPy
Translation: Symbol('mu')
Information
Sub Equations
- Symbol('mu')
Free variables
- Symbol('mu')
Tests
Symbolic
Numeric
Maple
Translation: mu
Information
Sub Equations
- mu
Free variables
- mu
Tests
Symbolic
Numeric
Dependency Graph Information
Is part of
Description
- continuous part of the measure
- measure
- polynomial
- probability measure on the unit circle
- respect to the measure
- Schur parameter of the function
- Verblunsky coefficient of the measure
- orthogonal polynomial
- term
- complex plane
- support
- equation
- convergent series
- moment
- continuous part
- Verblunsky coefficient
- weight function
- Geronimus 's theorem
- Szegő 's theorem
- Rakhmanov 's theorem
- Baxter 's theorem
Complete translation information:
{
"id" : "FORMULA_c9faf6ead2cd2c2187bd943488de1d0a",
"formula" : "\\mu",
"semanticFormula" : "\\mu",
"confidence" : 0.0,
"translations" : {
"Mathematica" : {
"translation" : "\\[Mu]",
"translationInformation" : {
"subEquations" : [ "\\[Mu]" ],
"freeVariables" : [ "\\[Mu]" ]
},
"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" : "Symbol('mu')",
"translationInformation" : {
"subEquations" : [ "Symbol('mu')" ],
"freeVariables" : [ "Symbol('mu')" ]
},
"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" : "mu",
"translationInformation" : {
"subEquations" : [ "mu" ],
"freeVariables" : [ "mu" ]
},
"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" : 1,
"sentence" : 0,
"word" : 2
}, {
"section" : 1,
"sentence" : 1,
"word" : 5
}, {
"section" : 1,
"sentence" : 1,
"word" : 22
}, {
"section" : 4,
"sentence" : 0,
"word" : 11
}, {
"section" : 5,
"sentence" : 0,
"word" : 20
}, {
"section" : 6,
"sentence" : 0,
"word" : 16
}, {
"section" : 7,
"sentence" : 0,
"word" : 14
} ],
"includes" : [ ],
"isPartOf" : [ "\\frac{1+zf(z)}{1-zf(z)}=F(z)=\\int\\frac{e^{i\\theta}+z}{e^{i\\theta}-z}d\\mu" ],
"definiens" : [ {
"definition" : "continuous part of the measure",
"score" : 0.722
}, {
"definition" : "measure",
"score" : 0.722
}, {
"definition" : "polynomial",
"score" : 0.722
}, {
"definition" : "probability measure on the unit circle",
"score" : 0.722
}, {
"definition" : "respect to the measure",
"score" : 0.722
}, {
"definition" : "Schur parameter of the function",
"score" : 0.722
}, {
"definition" : "Verblunsky coefficient of the measure",
"score" : 0.722
}, {
"definition" : "orthogonal polynomial",
"score" : 0.6432331635625809
}, {
"definition" : "term",
"score" : 0.6432331635625809
}, {
"definition" : "complex plane",
"score" : 0.6288842031023242
}, {
"definition" : "support",
"score" : 0.5329047619047619
}, {
"definition" : "equation",
"score" : 0.4111329742008307
}, {
"definition" : "convergent series",
"score" : 0.3757874168456006
}, {
"definition" : "moment",
"score" : 0.3730866057293667
}, {
"definition" : "continuous part",
"score" : 0.35408542099079315
}, {
"definition" : "Verblunsky coefficient",
"score" : 0.30952905234765915
}, {
"definition" : "weight function",
"score" : 0.2593055947715278
}, {
"definition" : "Geronimus 's theorem",
"score" : 0.2392282122960688
}, {
"definition" : "Szegő 's theorem",
"score" : 0.1518028742676323
}, {
"definition" : "Rakhmanov 's theorem",
"score" : 0.14639433608097108
}, {
"definition" : "Baxter 's theorem",
"score" : 0.12704740271972384
} ]
}