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 s}
... is translated to the CAS output ...
Semantic latex: s
Confidence: 0
Mathematica
Translation: s
Information
Sub Equations
- s
Free variables
- s
Tests
Symbolic
Numeric
SymPy
Translation: s
Information
Sub Equations
- s
Free variables
- s
Tests
Symbolic
Numeric
Maple
Translation: s
Information
Sub Equations
- s
Free variables
- s
Tests
Symbolic
Numeric
Dependency Graph Information
Is part of
- Failed to parse (syntax error): {\displaystyle \frac{\left(x_1 + su\right)^2}{a^2} + \frac{\left(y_1 + sv\right)^2}{b^2} = 1\ \quad\Longrightarrow\quad 2s\left(\frac{x_1u}{a^2} + \frac{y_1v}{b^2}\right) + s^2\left(\frac{u^2}{a^2} + \frac{v^2}{b^2}\right) = 0\}
- Failed to parse (syntax error): {\displaystyle \ s \in \mathbb{R}\}
Description
- arc length
- incomplete elliptic integral of the second kind
- parameter
- vector parametric equation of the tangent
- yield
- point on an ellipse
- equation of any line
- line 's equation into the ellipse equation
Complete translation information:
{
"id" : "FORMULA_03c7c0ace395d80182db07ae2c30f034",
"formula" : "s",
"semanticFormula" : "s",
"confidence" : 0.0,
"translations" : {
"Mathematica" : {
"translation" : "s",
"translationInformation" : {
"subEquations" : [ "s" ],
"freeVariables" : [ "s" ]
},
"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" : "s",
"translationInformation" : {
"subEquations" : [ "s" ],
"freeVariables" : [ "s" ]
},
"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" : "s",
"translationInformation" : {
"subEquations" : [ "s" ],
"freeVariables" : [ "s" ]
},
"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" : 37,
"sentence" : 8,
"word" : 4
} ],
"includes" : [ ],
"isPartOf" : [ "\\frac{\\left(x_1 + su\\right)^2}{a^2} + \\frac{\\left(y_1 + sv\\right)^2}{b^2} = 1\\ \\quad\\Longrightarrow\\quad 2s\\left(\\frac{x_1u}{a^2} + \\frac{y_1v}{b^2}\\right) + s^2\\left(\\frac{u^2}{a^2} + \\frac{v^2}{b^2}\\right) = 0\\", "\\vec{x} = \\begin{pmatrix}x_1 \\\\ y_1\\end{pmatrix} + s\\begin{pmatrix}u \\\\ v\\end{pmatrix}", "\\vec x = \\begin{pmatrix}x_1 \\\\ y_1\\end{pmatrix} + s\\begin{pmatrix} \\;\\! -y_1 a^2 \\\\ \\;\\ \\ \\ x_1 b^2\\end{pmatrix}", "\\ s \\in \\mathbb{R}\\", "s = -b\\int_{\\arccos \\frac{x_{1}}{a}}^{\\arccos \\frac{x_{2}}{a}} \\sqrt{1-\\left(1-\\frac{a^{2}}{b^{2}}\\right)\\sin^{2}z} \\, dz", "s = -b\\left[E\\left(z \\;\\Biggl|\\; 1 - \\frac{a^{2}}{b^{2}}\\right)\\right]^{\\arccos \\frac{x_{2}}{a}}_{\\arccos \\frac{x_{1}}{a}}" ],
"definiens" : [ {
"definition" : "arc length",
"score" : 0.722
}, {
"definition" : "incomplete elliptic integral of the second kind",
"score" : 0.660423639753057
}, {
"definition" : "parameter",
"score" : 0.573332519662682
}, {
"definition" : "vector parametric equation of the tangent",
"score" : 0.3687889866817477
}, {
"definition" : "yield",
"score" : 0.3687889866817477
}, {
"definition" : "point on an ellipse",
"score" : 0.3420990958142838
}, {
"definition" : "equation of any line",
"score" : 0.3022651554832766
}, {
"definition" : "line 's equation into the ellipse equation",
"score" : 0.20628571428571427
} ]
}