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}
... is translated to the CAS output ...
Semantic latex: P
Confidence: 0
Mathematica
Translation: P
Information
Sub Equations
- P
Free variables
- P
Tests
Symbolic
Numeric
SymPy
Translation: P
Information
Sub Equations
- P
Free variables
- P
Tests
Symbolic
Numeric
Maple
Translation: P
Information
Sub Equations
- P
Free variables
- P
Tests
Symbolic
Numeric
Dependency Graph Information
Is part of
- Failed to parse (syntax error): {\displaystyle E = \{P\in \mathbb{R}^2 \,\mid\, |PF_2| +|PF_1 | = 2a \}\}
Description
- point
- ellipse
- arbitrary point
- focus
- pole
- locus of point
- center of the rectangle
- distance of a point
- set of point
- tangent at point
- tangent line at point
- distance
- distance between the focus
- Euclidean plane
- set
- sum of the distance
- line
- angle
- circle
- diagram
- quotient of the distance
- tangent
- example
- directrix
- non-colinear point
- equation
- parameter
- consequence
- converse
- definition of a parabola
- manner
- real number
- angle between the line
- conversion
- diameter
- equation for the ellipse
- equation of the tangent
- inscribed angle theorem for circle
- parametric representation
- relation
- simple way
- statement
- three-point equation
- three-point form
- upper co-vertex of the ellipse
- circle with midpoint
- distance to the focus
- angle of the slope
- center of the ellipse
- eccentricity
- order
- origin
- proof
- property
- sense of the measurement
- tangency point
- tangent at this point
- different way
- check that any point
- ellipse with equation
- equation for the circle
- intersection point
- semi axis
- figure
- radius
- calculation one
- paper strip
- property of the pole-polar relation
Complete translation information:
{
"id" : "FORMULA_44c29edb103a2872f519ad0c9a0fdaaa",
"formula" : "P",
"semanticFormula" : "P",
"confidence" : 0.0,
"translations" : {
"Mathematica" : {
"translation" : "P",
"translationInformation" : {
"subEquations" : [ "P" ],
"freeVariables" : [ "P" ]
},
"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" : "P",
"translationInformation" : {
"subEquations" : [ "P" ],
"freeVariables" : [ "P" ]
},
"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",
"translationInformation" : {
"subEquations" : [ "P" ],
"freeVariables" : [ "P" ]
},
"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" : 1,
"sentence" : 0,
"word" : 47
}, {
"section" : 1,
"sentence" : 7,
"word" : 33
}, {
"section" : 16,
"sentence" : 1,
"word" : 4
}, {
"section" : 17,
"sentence" : 0,
"word" : 12
}, {
"section" : 17,
"sentence" : 4,
"word" : 12
}, {
"section" : 17,
"sentence" : 4,
"word" : 27
}, {
"section" : 17,
"sentence" : 5,
"word" : 5
}, {
"section" : 17,
"sentence" : 5,
"word" : 20
}, {
"section" : 24,
"sentence" : 3,
"word" : 11
}, {
"section" : 24,
"sentence" : 5,
"word" : 7
}, {
"section" : 26,
"sentence" : 3,
"word" : 0
}, {
"section" : 34,
"sentence" : 8,
"word" : 3
}, {
"section" : 34,
"sentence" : 8,
"word" : 27
} ],
"includes" : [ ],
"isPartOf" : [ "E = \\{P\\in \\mathbb{R}^2 \\,\\mid\\, |PF_2| +|PF_1 | = 2a \\}\\", "E = \\left\\{P\\ \\left|\\ \\frac{|PF|}{|Pl|} = e\\right.\\right\\}", "P = (x,\\, y)", "\\overline{P_1 Q_1},\\, \\overline{P_2 Q_2}", "P_1", "\\overline{P_2 Q_2}", "P = (0,\\, b)", "P_i = \\left(x_i,\\, y_i\\right),\\ i = 1,\\, 2,\\, 3,\\, 4,", "P_3", "P_4", "P_i = \\left(x_i,\\, y_i\\right)", "P_1 = (2,\\, 0),\\; P_2 = (0,\\, 1),\\; P_3 = (0,\\,0)", "P_i = \\left(x_i,\\, y_i\\right),\\ i = 1,\\, 2,\\, 3,\\, 4", "P_1 = (2,\\, 0),\\; P_2 = (0,\\,1),\\; P_3 = (0,\\, 0)", "P_1 = \\left(x_1,\\, y_1\\right)", "P_1 = \\left(x_1,\\, y_1\\right) \\neq (0,\\, 0)", "P_1,\\, p_1", "P_2,\\, p_2" ],
"definiens" : [ {
"definition" : "point",
"score" : 0.9904759579143125
}, {
"definition" : "ellipse",
"score" : 0.9269859831984154
}, {
"definition" : "arbitrary point",
"score" : 0.7841790283059956
}, {
"definition" : "focus",
"score" : 0.7835985105886588
}, {
"definition" : "pole",
"score" : 0.7622528454923279
}, {
"definition" : "locus of point",
"score" : 0.7598913525417217
}, {
"definition" : "center of the rectangle",
"score" : 0.722
}, {
"definition" : "distance of a point",
"score" : 0.722
}, {
"definition" : "set of point",
"score" : 0.722
}, {
"definition" : "tangent at point",
"score" : 0.722
}, {
"definition" : "tangent line at point",
"score" : 0.722
}, {
"definition" : "distance",
"score" : 0.6803663676341285
}, {
"definition" : "distance between the focus",
"score" : 0.6803663676341285
}, {
"definition" : "Euclidean plane",
"score" : 0.6803663676341285
}, {
"definition" : "set",
"score" : 0.6803663676341285
}, {
"definition" : "sum of the distance",
"score" : 0.6803663676341285
}, {
"definition" : "line",
"score" : 0.47271383364293645
}, {
"definition" : "angle",
"score" : 0.44786914184626
}, {
"definition" : "circle",
"score" : 0.44597165386090587
}, {
"definition" : "diagram",
"score" : 0.4434878187192934
}, {
"definition" : "quotient of the distance",
"score" : 0.4099846122956876
}, {
"definition" : "tangent",
"score" : 0.4099846122956876
}, {
"definition" : "example",
"score" : 0.38329472142822374
}, {
"definition" : "directrix",
"score" : 0.37895849884074223
}, {
"definition" : "non-colinear point",
"score" : 0.37895849884074223
}, {
"definition" : "equation",
"score" : 0.3652027347736527
}, {
"definition" : "parameter",
"score" : 0.36339904588852123
}, {
"definition" : "consequence",
"score" : 0.34194560311135547
}, {
"definition" : "converse",
"score" : 0.3365568438246048
}, {
"definition" : "definition of a parabola",
"score" : 0.3365568438246048
}, {
"definition" : "manner",
"score" : 0.3365568438246048
}, {
"definition" : "real number",
"score" : 0.3365568438246048
}, {
"definition" : "angle between the line",
"score" : 0.30986695295714095
}, {
"definition" : "conversion",
"score" : 0.30986695295714095
}, {
"definition" : "diameter",
"score" : 0.30986695295714095
}, {
"definition" : "equation for the ellipse",
"score" : 0.30986695295714095
}, {
"definition" : "equation of the tangent",
"score" : 0.30986695295714095
}, {
"definition" : "inscribed angle theorem for circle",
"score" : 0.30986695295714095
}, {
"definition" : "parametric representation",
"score" : 0.30986695295714095
}, {
"definition" : "relation",
"score" : 0.30986695295714095
}, {
"definition" : "simple way",
"score" : 0.30986695295714095
}, {
"definition" : "statement",
"score" : 0.30986695295714095
}, {
"definition" : "three-point equation",
"score" : 0.30986695295714095
}, {
"definition" : "three-point form",
"score" : 0.30986695295714095
}, {
"definition" : "upper co-vertex of the ellipse",
"score" : 0.30986695295714095
}, {
"definition" : "circle with midpoint",
"score" : 0.27792846131231663
}, {
"definition" : "distance to the focus",
"score" : 0.27792846131231663
}, {
"definition" : "angle of the slope",
"score" : 0.2700330126261338
}, {
"definition" : "center of the ellipse",
"score" : 0.2700330126261338
}, {
"definition" : "eccentricity",
"score" : 0.2700330126261338
}, {
"definition" : "order",
"score" : 0.2700330126261338
}, {
"definition" : "origin",
"score" : 0.2700330126261338
}, {
"definition" : "proof",
"score" : 0.2700330126261338
}, {
"definition" : "property",
"score" : 0.2700330126261338
}, {
"definition" : "sense of the measurement",
"score" : 0.2700330126261338
}, {
"definition" : "tangency point",
"score" : 0.2700330126261338
}, {
"definition" : "tangent at this point",
"score" : 0.2700330126261338
}, {
"definition" : "different way",
"score" : 0.2306712815529488
}, {
"definition" : "check that any point",
"score" : 0.22277583286676592
}, {
"definition" : "ellipse with equation",
"score" : 0.22277583286676592
}, {
"definition" : "equation for the circle",
"score" : 0.22277583286676592
}, {
"definition" : "intersection point",
"score" : 0.22277583286676592
}, {
"definition" : "semi axis",
"score" : 0.22277583286676592
}, {
"definition" : "figure",
"score" : 0.1819490201147543
}, {
"definition" : "radius",
"score" : 0.1819490201147543
}, {
"definition" : "calculation one",
"score" : 0.17405357142857142
}, {
"definition" : "paper strip",
"score" : 0.17405357142857142
}, {
"definition" : "property of the pole-polar relation",
"score" : 0.17405357142857142
} ]
}