LaTeX to CAS translator
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 g(x)}
... is translated to the CAS output ...
Semantic latex: \auxFresnelg@{x}
Confidence: 0.8617949367
Mathematica
Translation: FresnelG[x]
Information
Sub Equations
- FresnelG[x]
Free variables
- x
Symbol info
- Fresnel Auxiliaty Functions; Example: \auxFresnelg@{z}
Will be translated to: FresnelG[$0] Relevant links to definitions: DLMF: http://dlmf.nist.gov/7.2#E11 Mathematica: https://reference.wolfram.com/language/ref/FresnelG.html
Tests
Symbolic
Numeric
SymPy
Translation:
Information
Symbol info
- (LaTeX -> SymPy) No translation possible for given token: Cannot extract information from feature set: \auxFresnelg [\auxFresnelg]
Tests
Symbolic
Numeric
Maple
Translation: Fresnelg(x)
Information
Sub Equations
- Fresnelg(x)
Free variables
- x
Symbol info
- Fresnel Auxiliaty Functions; Example: \auxFresnelg@{z}
Will be translated to: Fresnelg($0) Relevant links to definitions: DLMF: http://dlmf.nist.gov/7.2#E11 Maple: https://www.maplesoft.com/support/help/maple/view.aspx?path=Fresnelg
Tests
Symbolic
Numeric
Dependency Graph Information
Includes
Is part of
Description
- auxiliary function
- error
- formula
- integral
- Padé
- rational function
- Rowe et al.
- Trigonometric integral
- term of the so-called auxiliary function
- cf. Abramowitz
- function
- Stegun
Complete translation information:
{
"id" : "FORMULA_e84fec1e074026d6fa8e3155482c35c3",
"formula" : "g(x)",
"semanticFormula" : "\\auxFresnelg@{x}",
"confidence" : 0.8617949366999994,
"translations" : {
"Mathematica" : {
"translation" : "FresnelG[x]",
"translationInformation" : {
"subEquations" : [ "FresnelG[x]" ],
"freeVariables" : [ "x" ],
"tokenTranslations" : {
"\\auxFresnelg" : "Fresnel Auxiliaty Functions; Example: \\auxFresnelg@{z}\nWill be translated to: FresnelG[$0]\nRelevant links to definitions:\nDLMF: http://dlmf.nist.gov/7.2#E11\nMathematica: https://reference.wolfram.com/language/ref/FresnelG.html"
}
},
"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" : "",
"translationInformation" : {
"tokenTranslations" : {
"Error" : "(LaTeX -> SymPy) No translation possible for given token: Cannot extract information from feature set: \\auxFresnelg [\\auxFresnelg]"
}
},
"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" : "Fresnelg(x)",
"translationInformation" : {
"subEquations" : [ "Fresnelg(x)" ],
"freeVariables" : [ "x" ],
"tokenTranslations" : {
"\\auxFresnelg" : "Fresnel Auxiliaty Functions; Example: \\auxFresnelg@{z}\nWill be translated to: Fresnelg($0)\nRelevant links to definitions:\nDLMF: http://dlmf.nist.gov/7.2#E11\nMaple: https://www.maplesoft.com/support/help/maple/view.aspx?path=Fresnelg"
}
},
"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" : 12,
"sentence" : 1,
"word" : 34
}, {
"section" : 12,
"sentence" : 1,
"word" : 51
} ],
"includes" : [ "x" ],
"isPartOf" : [ "\\begin{array}{rcl}\\frac{\\pi}{2} - \\operatorname{Si}(x) = -\\operatorname{si}(x) &=& f(x) \\cos(x) + g(x) \\sin(x), \\qquad \\text{ and } \\\\\\operatorname{Ci}(x) &=& f(x) \\sin(x) - g(x) \\cos(x). \\\\\\end{array}" ],
"definiens" : [ {
"definition" : "auxiliary function",
"score" : 0.6687181434333315
}, {
"definition" : "error",
"score" : 0.6687181434333315
}, {
"definition" : "formula",
"score" : 0.6687181434333315
}, {
"definition" : "integral",
"score" : 0.6687181434333315
}, {
"definition" : "Padé",
"score" : 0.6687181434333315
}, {
"definition" : "rational function",
"score" : 0.6687181434333315
}, {
"definition" : "Rowe et al.",
"score" : 0.6687181434333315
}, {
"definition" : "Trigonometric integral",
"score" : 0.37131662083069383
}, {
"definition" : "term of the so-called auxiliary function",
"score" : 0.35159851049627455
}, {
"definition" : "cf. Abramowitz",
"score" : 0.23781749953843567
}, {
"definition" : "function",
"score" : 0.23781749953843567
}, {
"definition" : "Stegun",
"score" : 0.18909523810024118
} ]
}