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 l}
... is translated to the CAS output ...
Semantic latex: l
Confidence: 0
Mathematica
Translation: l
Information
Sub Equations
- l
Free variables
- l
Tests
Symbolic
Numeric
SymPy
Translation: l
Information
Sub Equations
- l
Free variables
- l
Tests
Symbolic
Numeric
Maple
Translation: l
Information
Sub Equations
- l
Free variables
- l
Tests
Symbolic
Numeric
Dependency Graph Information
Is part of
Description
- line
- directrix
- ellipse
- point
- converse
- definition of a parabola
- focus
- locus of point
- manner
- quotient of the distance
- real number
- proof for the pair
- equation
- fact
- diagram
Complete translation information:
{
"id" : "FORMULA_2db95e8e1a9267b7a1188556b2013b33",
"formula" : "l",
"semanticFormula" : "l",
"confidence" : 0.0,
"translations" : {
"Mathematica" : {
"translation" : "l",
"translationInformation" : {
"subEquations" : [ "l" ],
"freeVariables" : [ "l" ]
},
"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" : "l",
"translationInformation" : {
"subEquations" : [ "l" ],
"freeVariables" : [ "l" ]
},
"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" : "l",
"translationInformation" : {
"subEquations" : [ "l" ],
"freeVariables" : [ "l" ]
},
"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" : 16,
"sentence" : 4,
"word" : 36
}, {
"section" : 16,
"sentence" : 9,
"word" : 2
} ],
"includes" : [ ],
"isPartOf" : [ "F_1, l_1", "F_1,\\, l_1" ],
"definiens" : [ {
"definition" : "line",
"score" : 0.8869384888466118
}, {
"definition" : "directrix",
"score" : 0.874766426651254
}, {
"definition" : "ellipse",
"score" : 0.8214845700845856
}, {
"definition" : "point",
"score" : 0.8214845700845856
}, {
"definition" : "converse",
"score" : 0.6601229053380933
}, {
"definition" : "definition of a parabola",
"score" : 0.6601229053380933
}, {
"definition" : "focus",
"score" : 0.6601229053380933
}, {
"definition" : "locus of point",
"score" : 0.6601229053380933
}, {
"definition" : "manner",
"score" : 0.6601229053380933
}, {
"definition" : "quotient of the distance",
"score" : 0.6601229053380933
}, {
"definition" : "real number",
"score" : 0.6601229053380933
}, {
"definition" : "proof for the pair",
"score" : 0.5956576303538863
}, {
"definition" : "equation",
"score" : 0.5761488571312587
}, {
"definition" : "fact",
"score" : 0.5291337991554153
}, {
"definition" : "diagram",
"score" : 0.3163133815285695
} ]
}