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 P_3}
... is translated to the CAS output ...
Semantic latex: P_3
Confidence: 0
Mathematica
Translation: Subscript[P, 3]
Information
Sub Equations
- Subscript[P, 3]
Free variables
- Subscript[P, 3]
Tests
Symbolic
Numeric
SymPy
Translation: Symbol('{P}_{3}')
Information
Sub Equations
- Symbol('{P}_{3}')
Free variables
- Symbol('{P}_{3}')
Tests
Symbolic
Numeric
Maple
Translation: P[3]
Information
Sub Equations
- P[3]
Free variables
- P[3]
Tests
Symbolic
Numeric
Dependency Graph Information
Includes
Is part of
Description
- point
- angle
- circle
- diagram
- inscribed angle theorem for circle
- parameter
- simple way
- statement
- example
- three-point equation
- conversion
- three-point form
- sense of the measurement
- line
- ellipse with equation
Complete translation information:
{
"id" : "FORMULA_c0ac8b12bab590e951e0afb93938cdcb",
"formula" : "P_3",
"semanticFormula" : "P_3",
"confidence" : 0.0,
"translations" : {
"Mathematica" : {
"translation" : "Subscript[P, 3]",
"translationInformation" : {
"subEquations" : [ "Subscript[P, 3]" ],
"freeVariables" : [ "Subscript[P, 3]" ]
},
"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('{P}_{3}')",
"translationInformation" : {
"subEquations" : [ "Symbol('{P}_{3}')" ],
"freeVariables" : [ "Symbol('{P}_{3}')" ]
},
"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" : "P[3]",
"translationInformation" : {
"subEquations" : [ "P[3]" ],
"freeVariables" : [ "P[3]" ]
},
"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" : 28,
"sentence" : 1,
"word" : 47
}, {
"section" : 29,
"sentence" : 0,
"word" : 37
}, {
"section" : 32,
"sentence" : 1,
"word" : 17
} ],
"includes" : [ "P" ],
"isPartOf" : [ "P_1 = (2,\\, 0),\\; P_2 = (0,\\, 1),\\; P_3 = (0,\\,0)", "P_1 = (2,\\, 0),\\; P_2 = (0,\\,1),\\; P_3 = (0,\\, 0)" ],
"definiens" : [ {
"definition" : "point",
"score" : 0.8996171476042987
}, {
"definition" : "angle",
"score" : 0.8254738822369131
}, {
"definition" : "circle",
"score" : 0.7688900540567498
}, {
"definition" : "diagram",
"score" : 0.7366408663811592
}, {
"definition" : "inscribed angle theorem for circle",
"score" : 0.6584038577190456
}, {
"definition" : "parameter",
"score" : 0.6584038577190456
}, {
"definition" : "simple way",
"score" : 0.6584038577190456
}, {
"definition" : "statement",
"score" : 0.6584038577190456
}, {
"definition" : "example",
"score" : 0.4028048408016838
}, {
"definition" : "three-point equation",
"score" : 0.3224897825957048
}, {
"definition" : "conversion",
"score" : 0.31459433390952196
}, {
"definition" : "three-point form",
"score" : 0.31459433390952196
}, {
"definition" : "sense of the measurement",
"score" : 0.2747603935835178
}, {
"definition" : "line",
"score" : 0.26714978367210473
}, {
"definition" : "ellipse with equation",
"score" : 0.22750321382414995
} ]
}