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 (x_1,\, y_1)}
... is translated to the CAS output ...
Semantic latex: (x_1, y_1)
Confidence: 0
Mathematica
Translation: (Subscript[x, 1], Subscript[y, 1])
Information
Sub Equations
- (Subscript[x, 1], Subscript[y, 1])
Free variables
- Subscript[x, 1]
- Subscript[y, 1]
Tests
Symbolic
Numeric
SymPy
Translation: (Symbol('{x}_{1}'), Symbol('{y}_{1}'))
Information
Sub Equations
- (Symbol('{x}_{1}'), Symbol('{y}_{1}'))
Free variables
- Symbol('{x}_{1}')
- Symbol('{y}_{1}')
Tests
Symbolic
Numeric
Maple
Translation: (x[1], y[1])
Information
Sub Equations
- (x[1], y[1])
Free variables
- x[1]
- y[1]
Tests
Symbolic
Numeric
Dependency Graph Information
Includes
Is part of
Description
- point
- point of the ellipse
- tangent vector at point
- vector equation
- conjugate diameter
- parametric representation
- ellipse
- tangent
- line
- point on an ellipse
- tangent at a point
- equation of any line
- equation of the tangent
- coordinate equation
- arbitrary point
- center of the ellipse
- circle with equation
- origin
Complete translation information:
{
"id" : "FORMULA_a02c59c95fddaaaf17ce1fb6886ba33b",
"formula" : "(x_1, y_1)",
"semanticFormula" : "(x_1, y_1)",
"confidence" : 0.0,
"translations" : {
"Mathematica" : {
"translation" : "(Subscript[x, 1], Subscript[y, 1])",
"translationInformation" : {
"subEquations" : [ "(Subscript[x, 1], Subscript[y, 1])" ],
"freeVariables" : [ "Subscript[x, 1]", "Subscript[y, 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('{x}_{1}'), Symbol('{y}_{1}'))",
"translationInformation" : {
"subEquations" : [ "(Symbol('{x}_{1}'), Symbol('{y}_{1}'))" ],
"freeVariables" : [ "Symbol('{x}_{1}')", "Symbol('{y}_{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" : "(x[1], y[1])",
"translationInformation" : {
"subEquations" : [ "(x[1], y[1])" ],
"freeVariables" : [ "x[1]", "y[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" : 7,
"sentence" : 13,
"word" : 1
} ],
"includes" : [ "y", "(x_1,\\, y_1)", "x", "x_{1}" ],
"isPartOf" : [ "(x_1,\\, y_1)", "\\left(x_1, y_1\\right),\\; \\left(x_2,\\,y_2\\right),\\; \\left(x_3,\\, y_3\\right)", "P_1 = \\left(x_1,\\, y_1\\right)", "P_1 = \\left(x_1,\\, y_1\\right) \\neq (0,\\, 0)" ],
"definiens" : [ {
"definition" : "point",
"score" : 0.7923612836959819
}, {
"definition" : "point of the ellipse",
"score" : 0.6850937485865095
}, {
"definition" : "tangent vector at point",
"score" : 0.6596087687157589
}, {
"definition" : "vector equation",
"score" : 0.6329188778482951
}, {
"definition" : "conjugate diameter",
"score" : 0.6185699173880385
}, {
"definition" : "parametric representation",
"score" : 0.5713127376286706
}, {
"definition" : "ellipse",
"score" : 0.5636910930956011
}, {
"definition" : "tangent",
"score" : 0.5267741149812516
}, {
"definition" : "line",
"score" : 0.4516122088896515
}, {
"definition" : "point on an ellipse",
"score" : 0.34195572775317623
}, {
"definition" : "tangent at a point",
"score" : 0.3413150663734162
}, {
"definition" : "equation of any line",
"score" : 0.3152658368857124
}, {
"definition" : "equation of the tangent",
"score" : 0.31459433390952196
}, {
"definition" : "coordinate equation",
"score" : 0.27479123517494514
}, {
"definition" : "arbitrary point",
"score" : 0.27476039357851473
}, {
"definition" : "center of the ellipse",
"score" : 0.27476039357851473
}, {
"definition" : "circle with equation",
"score" : 0.27476039357851473
}, {
"definition" : "origin",
"score" : 0.27476039357851473
} ]
}