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(a,z)\,}
... is translated to the CAS output ...
Semantic latex: f(a,z)
Confidence: 0
Mathematica
Translation: f[a , z]
Information
Sub Equations
- f[a , z]
Free variables
- a
- z
Symbol info
- Function without DLMF-Definition. We keep it like it is (but delete prefix \ if necessary).
Tests
Symbolic
Numeric
SymPy
Translation: f(a , z)
Information
Sub Equations
- f(a , z)
Free variables
- a
- z
Symbol info
- Function without DLMF-Definition. We keep it like it is (but delete prefix \ if necessary).
Tests
Symbolic
Numeric
Maple
Translation: f(a , z)
Information
Sub Equations
- f(a , z)
Free variables
- a
- z
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
- b
- solution
- solution of equation
- symmetry
- behavior at infinity
- arg
- large value of z
- function
- large value
- such pair
- parabolic cylinder
- Abramowitz
- notation
- Whittaker
- Stegun
Complete translation information:
{
"id" : "FORMULA_558451f3b6f9d434253705a318ee89df",
"formula" : "f(a,z)",
"semanticFormula" : "f(a,z)",
"confidence" : 0.0,
"translations" : {
"Mathematica" : {
"translation" : "f[a , z]",
"translationInformation" : {
"subEquations" : [ "f[a , z]" ],
"freeVariables" : [ "a", "z" ],
"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(a , z)",
"translationInformation" : {
"subEquations" : [ "f(a , z)" ],
"freeVariables" : [ "a", "z" ],
"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(a , z)",
"translationInformation" : {
"subEquations" : [ "f(a , z)" ],
"freeVariables" : [ "a", "z" ],
"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" : 0,
"sentence" : 3,
"word" : 4
}, {
"section" : 0,
"sentence" : 3,
"word" : 16
} ],
"includes" : [ "z", "U(a,z)", "V(a,z)", "a" ],
"isPartOf" : [ "f(a,-z), f(-a,iz)\\text{ and }f(-a,-iz).", "f(-ia,ze^{(1/4)\\pi i})", "f(-ia,-ze^{(1/4)\\pi i}), f(ia,-ze^{-(1/4)\\pi i})\\text{ and }f(ia,ze^{-(1/4)\\pi i})", "U(a,z)=\\frac{1}{2^\\xi\\sqrt{\\pi}}\\left[\\cos(\\xi\\pi)\\Gamma(1/2-\\xi)\\,y_1(a,z)-\\sqrt{2}\\sin(\\xi\\pi)\\Gamma(1-\\xi)\\,y_2(a,z)\\right]", "V(a,z)=\\frac{1}{2^\\xi\\sqrt{\\pi}\\Gamma[1/2-a]}\\left[\\sin(\\xi\\pi)\\Gamma(1/2-\\xi)\\,y_1(a,z)+\\sqrt{2}\\cos(\\xi\\pi)\\Gamma(1-\\xi)\\,y_2(a,z)\\right]", "U(a,z)", "V(a,z)", "\\lim_{z\\rightarrow\\infty}U(a,z)/e^{-z^2/4}z^{-a-1/2}=1\\,\\,\\,\\,(\\text{for}\\,|\\arg(z)|<\\pi/2)", "\\lim_{z\\rightarrow\\infty}V(a,z)/\\sqrt{\\frac{2}{\\pi}}e^{z^2/4}z^{a-1/2}=1\\,\\,\\,\\,(\\text{for}\\,\\arg(z)=0)", "U(a,x)=D_{-a-\\tfrac12}(x)", "V(a,x)=\\frac{\\Gamma(\\tfrac12+a)}{\\pi}[\\sin( \\pi a) D_{-a-\\tfrac12}(x)+D_{-a-\\tfrac12}(-x)]" ],
"definiens" : [ {
"definition" : "b",
"score" : 0.8778488971362923
}, {
"definition" : "solution",
"score" : 0.8778488971362923
}, {
"definition" : "solution of equation",
"score" : 0.6558252862904742
}, {
"definition" : "symmetry",
"score" : 0.6558252862904742
}, {
"definition" : "behavior at infinity",
"score" : 0.38883862754924503
}, {
"definition" : "arg",
"score" : 0.36959523809523803
}, {
"definition" : "large value of z",
"score" : 0.36019374858650954
}, {
"definition" : "function",
"score" : 0.34097955267229074
}, {
"definition" : "large value",
"score" : 0.3335038577190457
}, {
"definition" : "such pair",
"score" : 0.322314796350774
}, {
"definition" : "parabolic cylinder",
"score" : 0.27285332512613375
}, {
"definition" : "Abramowitz",
"score" : 0.22559614536676592
}, {
"definition" : "notation",
"score" : 0.22559614536676592
}, {
"definition" : "Whittaker",
"score" : 0.22559614536676592
}, {
"definition" : "Stegun",
"score" : 0.1768738839285714
} ]
}