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(y)}
... is translated to the CAS output ...
Semantic latex: F(y)
Confidence: 0
Mathematica
Translation: F[y]
Information
Sub Equations
- F[y]
Free variables
- y
Symbol info
- Function without DLMF-Definition. We keep it like it is (but delete prefix \ if necessary).
Tests
Symbolic
Numeric
SymPy
Translation: F(y)
Information
Sub Equations
- F(y)
Free variables
- y
Symbol info
- Function without DLMF-Definition. We keep it like it is (but delete prefix \ if necessary).
Tests
Symbolic
Numeric
Maple
Translation: F(y)
Information
Sub Equations
- F(y)
Free variables
- y
Symbol info
- Function without DLMF-Definition. We keep it like it is (but delete prefix \ if necessary).
Tests
Symbolic
Numeric
Dependency Graph Information
Includes
Is part of
Description
- Dawson function
- imaginary part of the result
- change of variable
- polynomial
- example
- trivial inflection point
- initial condition
- asymptotic expansion
- series expansion
- extrema
- entire complex plane
- Inflection point
- differential equation
- origin
- term
- erfi
- Faddeeva function
Complete translation information:
{
"id" : "FORMULA_30ed01c88122c19784be7251d03ede51",
"formula" : "F(y)",
"semanticFormula" : "F(y)",
"confidence" : 0.0,
"translations" : {
"Mathematica" : {
"translation" : "F[y]",
"translationInformation" : {
"subEquations" : [ "F[y]" ],
"freeVariables" : [ "y" ],
"tokenTranslations" : {
"F" : "Function without DLMF-Definition. We keep it like it is (but delete prefix \\ if necessary)."
}
},
"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" : "F(y)",
"translationInformation" : {
"subEquations" : [ "F(y)" ],
"freeVariables" : [ "y" ],
"tokenTranslations" : {
"F" : "Function without DLMF-Definition. We keep it like it is (but delete prefix \\ if necessary)."
}
},
"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(y)",
"translationInformation" : {
"subEquations" : [ "F(y)" ],
"freeVariables" : [ "y" ],
"tokenTranslations" : {
"F" : "Function without DLMF-Definition. We keep it like it is (but delete prefix \\ if necessary)."
}
},
"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" : 2,
"sentence" : 4,
"word" : 10
} ],
"includes" : [ "F(x)", "y" ],
"isPartOf" : [ "F(x) = \\pm0.54104422... (", "H(y) = 2\\pi^{-1/2} F(y)", "D_-(x) = i F(-ix) = -\\frac{\\sqrt{\\pi}}{2} \\left[ e^{x^2} - w(-ix) \\right]", "F(x) = \\frac{1}{2 x}", "F(x)", "D_+(x) = F(x) = \\frac{\\sqrt{\\pi}}{2} \\operatorname{Im}[ w(x) ]", "F(x) \\approx 1/(2x)", "F(x) = \\sum_{k=0}^\\infty \\frac{(-1)^k \\, 2^k}{(2k+1)!!} \\, x^{2k+1} = x - \\frac{2}{3} x^3 + \\frac{4}{15} x^5 - \\cdots", "F(0) = 0", "F(x) = \\frac{x}{2 x^2 - 1}", "F(x) = \\pm0.42768661... (", "F(x) \\approx x", "F(z) = {\\sqrt{\\pi} \\over 2} e^{-z^2} \\operatorname{erfi} (z) = \\frac{i\\sqrt{\\pi}}{2} \\left[ e^{-z^2} - w(z) \\right]", "x= 0,F(x) = 0.)", "F(x) = \\sum_{k=0}^{\\infty} \\frac{(2k-1)!!}{2^{k+1} x^{2k+1}} = \\frac{1}{2 x} + \\frac{1}{4 x^3} + \\frac{3}{8 x^5} + \\cdots", "H_a=2\\pi^{-1/2}F(y\\sqrt a)", "H_n = P_1(y)+P_2(y)F(y)", "H_1=-\\pi^{-1/2}y+2\\pi^{-1/2}y^2F(y)" ],
"definiens" : [ {
"definition" : "Dawson function",
"score" : 0.8119496380160078
}, {
"definition" : "imaginary part of the result",
"score" : 0.6202889650070861
}, {
"definition" : "change of variable",
"score" : 0.416579329930231
}, {
"definition" : "polynomial",
"score" : 0.36644635572940026
}, {
"definition" : "example",
"score" : 0.36449136763412854
}, {
"definition" : "trivial inflection point",
"score" : 0.36449136763412854
}, {
"definition" : "initial condition",
"score" : 0.35307626488095234
}, {
"definition" : "asymptotic expansion",
"score" : 0.3524100080217633
}, {
"definition" : "series expansion",
"score" : 0.3524100080217633
}, {
"definition" : "extrema",
"score" : 0.34549018289555505
}, {
"definition" : "entire complex plane",
"score" : 0.34300328264235563
}, {
"definition" : "Inflection point",
"score" : 0.3242088302147525
}, {
"definition" : "differential equation",
"score" : 0.31646881343478966
}, {
"definition" : "origin",
"score" : 0.31631862764557106
}, {
"definition" : "term",
"score" : 0.2764794514438846
}, {
"definition" : "erfi",
"score" : 0.22922227168451675
}, {
"definition" : "Faddeeva function",
"score" : 0.18050001024632226
} ]
}