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}
... is translated to the CAS output ...
Semantic latex: F_1
Confidence: 0
Mathematica
Translation: Subscript[F, 1]
Information
Sub Equations
- Subscript[F, 1]
Free variables
- Subscript[F, 1]
Tests
Symbolic
Numeric
SymPy
Translation: Symbol('{F}_{1}')
Information
Sub Equations
- Symbol('{F}_{1}')
Free variables
- Symbol('{F}_{1}')
Tests
Symbolic
Numeric
Maple
Translation: F[1]
Information
Sub Equations
- F[1]
Free variables
- F[1]
Tests
Symbolic
Numeric
Dependency Graph Information
Includes
Is part of
Description
- circle
- distance to the focus
- case
- equation
- circle with midpoint
- distance of a point
- special type of ellipse
- different way
- figure
- radius
- point
- focus
- ellipse
- center of the ellipse
- major axis
- standard form of an ellipse
- proof for the pair
- axis
- origin
- vertex
- distance
- distance between the focus
- Euclidean plane
- locus of point
- set
- set of point
- sum of the distance
- diagram
- Cartesian coordinate
- fact
Complete translation information:
{
"id" : "FORMULA_bc6b0efd3bed4dfabe15757cf4089d87",
"formula" : "F_1",
"semanticFormula" : "F_1",
"confidence" : 0.0,
"translations" : {
"Mathematica" : {
"translation" : "Subscript[F, 1]",
"translationInformation" : {
"subEquations" : [ "Subscript[F, 1]" ],
"freeVariables" : [ "Subscript[F, 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}')",
"translationInformation" : {
"subEquations" : [ "Symbol('{F}_{1}')" ],
"freeVariables" : [ "Symbol('{F}_{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]",
"translationInformation" : {
"subEquations" : [ "F[1]" ],
"freeVariables" : [ "F[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" : 1,
"sentence" : 7,
"word" : 44
} ],
"includes" : [ "F" ],
"isPartOf" : [ "F_1, F_2", "F_1=F_2", "F_1 = (c,\\, 0),\\ F_2=(-c,\\, 0)", "F_1, l_1", "F_1,\\, l_1" ],
"definiens" : [ {
"definition" : "circle",
"score" : 0.7860910598266659
}, {
"definition" : "distance to the focus",
"score" : 0.722
}, {
"definition" : "case",
"score" : 0.6793245439387732
}, {
"definition" : "equation",
"score" : 0.6570732199762788
}, {
"definition" : "circle with midpoint",
"score" : 0.6288842031023242
}, {
"definition" : "distance of a point",
"score" : 0.6288842031023242
}, {
"definition" : "special type of ellipse",
"score" : 0.6033992232315736
}, {
"definition" : "different way",
"score" : 0.5816270233429564
}, {
"definition" : "figure",
"score" : 0.5329047619047619
}, {
"definition" : "radius",
"score" : 0.5329047619047619
}, {
"definition" : "point",
"score" : 0.5082785352589873
}, {
"definition" : "focus",
"score" : 0.49887704575025876
}, {
"definition" : "ellipse",
"score" : 0.42994962936814707
}, {
"definition" : "center of the ellipse",
"score" : 0.3750415938246384
}, {
"definition" : "major axis",
"score" : 0.3750415938246384
}, {
"definition" : "standard form of an ellipse",
"score" : 0.3750415938246384
}, {
"definition" : "proof for the pair",
"score" : 0.35159851049127144
}, {
"definition" : "axis",
"score" : 0.3352076534936312
}, {
"definition" : "origin",
"score" : 0.3352076534936312
}, {
"definition" : "vertex",
"score" : 0.3352076534936312
}, {
"definition" : "distance",
"score" : 0.33280406830999054
}, {
"definition" : "distance between the focus",
"score" : 0.33280406830999054
}, {
"definition" : "Euclidean plane",
"score" : 0.33280406830999054
}, {
"definition" : "locus of point",
"score" : 0.33280406830999054
}, {
"definition" : "set",
"score" : 0.33280406830999054
}, {
"definition" : "set of point",
"score" : 0.33280406830999054
}, {
"definition" : "sum of the distance",
"score" : 0.33280406830999054
}, {
"definition" : "diagram",
"score" : 0.3249086196238076
}, {
"definition" : "Cartesian coordinate",
"score" : 0.2879504737342633
}, {
"definition" : "fact",
"score" : 0.28507467929280045
} ]
}