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 [-1, 1]}
... is translated to the CAS output ...
Semantic latex: [-1, 1]
Confidence: 0
Mathematica
Translation: [- 1 , 1]
Information
Sub Equations
- [- 1 , 1]
Tests
Symbolic
Numeric
SymPy
Translation: [- 1 , 1]
Information
Sub Equations
- [- 1 , 1]
Tests
Symbolic
Numeric
Maple
Translation: [- 1 , 1]
Information
Sub Equations
- [- 1 , 1]
Tests
Symbolic
Numeric
Dependency Graph Information
Includes
Description
- interval
- rule
- polynomial of degree
- common domain of integration
- accurate approximation to the integral
- quadrature rule
- polynomial
- other interval
- section
- Lobatto quadrature of function
- low-order quadrature rule
- i.e.
- Gaussian quadrature rule
- integrand
- positive weight function
- simplest integration problem
- general way
- integration problem
- Legendre polynomial
- orthogonal polynomial
Complete translation information:
{
"id" : "FORMULA_7dec1d46e68831c4eca28b020fcb1604",
"formula" : "[-1, 1]",
"semanticFormula" : "[-1, 1]",
"confidence" : 0.0,
"translations" : {
"Mathematica" : {
"translation" : "[- 1 , 1]",
"translationInformation" : {
"subEquations" : [ "[- 1 , 1]" ]
},
"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" : "[- 1 , 1]",
"translationInformation" : {
"subEquations" : [ "[- 1 , 1]" ]
},
"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" : "[- 1 , 1]",
"translationInformation" : {
"subEquations" : [ "[- 1 , 1]" ]
},
"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" : 0,
"sentence" : 4,
"word" : 13
}, {
"section" : 0,
"sentence" : 6,
"word" : 26
}, {
"section" : 1,
"sentence" : 0,
"word" : 16
}, {
"section" : 1,
"sentence" : 2,
"word" : 10
}, {
"section" : 2,
"sentence" : 0,
"word" : 11
}, {
"section" : 3,
"sentence" : 0,
"word" : 29
}, {
"section" : 12,
"sentence" : 3,
"word" : 7
} ],
"includes" : [ "1" ],
"isPartOf" : [ ],
"definiens" : [ {
"definition" : "interval",
"score" : 0.9211540575170223
}, {
"definition" : "rule",
"score" : 0.7687941485698011
}, {
"definition" : "polynomial of degree",
"score" : 0.7063424851338946
}, {
"definition" : "common domain of integration",
"score" : 0.6629879847031728
}, {
"definition" : "accurate approximation to the integral",
"score" : 0.4360194373229323
}, {
"definition" : "quadrature rule",
"score" : 0.39083162480914363
}, {
"definition" : "polynomial",
"score" : 0.34589919335754316
}, {
"definition" : "other interval",
"score" : 0.3191792258621273
}, {
"definition" : "section",
"score" : 0.3191792258621273
}, {
"definition" : "Lobatto quadrature of function",
"score" : 0.31917846089364893
}, {
"definition" : "low-order quadrature rule",
"score" : 0.2793452855311201
}, {
"definition" : "i.e.",
"score" : 0.23211818239970422
}, {
"definition" : "Gaussian quadrature rule",
"score" : 0.2320874364243336
}, {
"definition" : "integrand",
"score" : 0.23208734087738955
}, {
"definition" : "positive weight function",
"score" : 0.23208734087738955
}, {
"definition" : "simplest integration problem",
"score" : 0.18339592096150972
}, {
"definition" : "general way",
"score" : 0.18336507943919506
}, {
"definition" : "integration problem",
"score" : 0.18336507943919506
}, {
"definition" : "Legendre polynomial",
"score" : 0.13820810844772108
}, {
"definition" : "orthogonal polynomial",
"score" : 0.09985999034790026
} ]
}