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 F_1, l_1}
... is translated to the CAS output ...
Semantic latex: F_1, l_1
Confidence: 0
Mathematica
Translation: Subscript[F, 1], Subscript[l, 1]
Information
Sub Equations
- Subscript[F, 1], Subscript[l, 1]
Free variables
- Subscript[F, 1]
- Subscript[l, 1]
Tests
Symbolic
Numeric
SymPy
Translation: Symbol('{F}_{1}'), Symbol('{l}_{1}')
Information
Sub Equations
- Symbol('{F}_{1}'), Symbol('{l}_{1}')
Free variables
- Symbol('{F}_{1}')
- Symbol('{l}_{1}')
Tests
Symbolic
Numeric
Maple
Translation: F[1], l[1]
Information
Sub Equations
- F[1], l[1]
Free variables
- F[1]
- l[1]
Tests
Symbolic
Numeric
Dependency Graph Information
Includes
Is part of
Description
- proof for the pair
- fact
- equation
- diagram
Complete translation information:
{
"id" : "FORMULA_2058b88751d2931a71c888ee78645844",
"formula" : "F_1, l_1",
"semanticFormula" : "F_1, l_1",
"confidence" : 0.0,
"translations" : {
"Mathematica" : {
"translation" : "Subscript[F, 1], Subscript[l, 1]",
"translationInformation" : {
"subEquations" : [ "Subscript[F, 1], Subscript[l, 1]" ],
"freeVariables" : [ "Subscript[F, 1]", "Subscript[l, 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" : "Symbol('{F}_{1}'), Symbol('{l}_{1}')",
"translationInformation" : {
"subEquations" : [ "Symbol('{F}_{1}'), Symbol('{l}_{1}')" ],
"freeVariables" : [ "Symbol('{F}_{1}')", "Symbol('{l}_{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" : "F[1], l[1]",
"translationInformation" : {
"subEquations" : [ "F[1], l[1]" ],
"freeVariables" : [ "F[1]", "l[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" : 16,
"sentence" : 2,
"word" : 5
} ],
"includes" : [ "F_1", "F", "l", "F_1,\\, l_1" ],
"isPartOf" : [ "F_1,\\, l_1" ],
"definiens" : [ {
"definition" : "proof for the pair",
"score" : 0.722
}, {
"definition" : "fact",
"score" : 0.6460746792928004
}, {
"definition" : "equation",
"score" : 0.5988174995334326
}, {
"definition" : "diagram",
"score" : 0.3420990958142838
} ]
}