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 D_a(z)=\frac{1}{\sqrt{\pi }}{2^{a/2} e^{-\frac{z^2}{4}} \left(\cos \left(\frac{\pi a}{2}\right) \Gamma \left(\frac{a+1}{2}\right) \, _1F_1\left(-\frac{a}{2};\frac{1}{2};\frac{z^2}{2}\right)+\sqrt{2} z \sin \left(\frac{\pi a}{2}\right) \Gamma \left(\frac{a}{2}+1\right) \, _1F_1\left(\frac{1}{2}-\frac{a}{2};\frac{3}{2};\frac{z^2}{2}\right)\right)}.}
... is translated to the CAS output ...
Semantic latex: \WhittakerparaD{a}@{z} = \frac{1}{\sqrt{\cpi}}{2^{a/2} \expe^{-\frac{z^2}{4}}(\cos(\frac{\cpi a}{2}) \Gamma(\frac{a+1}{2})_1 F_1(- \frac{a}{2} ; \frac{1}{2} ; \frac{z^2}{2}) + \sqrt{2} z \sin(\frac{\cpi a}{2}) \Gamma(\frac{a}{2} + 1)_1 F_1(\frac{1}{2} - \frac{a}{2} ; \frac{3}{2} ; \frac{z^2}{2}))}
Confidence: 0.65507224125177
Mathematica
Translation: ParabolicCylinderD[a, z] == Divide[1,Sqrt[Pi]]*(2)^(a/2)* Exp[-Divide[(z)^(2),4]]*(Cos[Divide[Pi*a,2]]*Subscript[\[CapitalGamma][Divide[a + 1,2]], 1]*Subscript[F, 1][-Divide[a,2];Divide[1,2];Divide[(z)^(2),2]]+Sqrt[2]*z*Sin[Divide[Pi*a,2]]*Subscript[\[CapitalGamma][Divide[a,2]+ 1], 1]*Subscript[F, 1][Divide[1,2]-Divide[a,2];Divide[3,2];Divide[(z)^(2),2]])
Information
Sub Equations
- ParabolicCylinderD[a, z] = Divide[1,Sqrt[Pi]]*(2)^(a/2)* Exp[-Divide[(z)^(2),4]]*(Cos[Divide[Pi*a,2]]*Subscript[\[CapitalGamma][Divide[a + 1,2]], 1]*Subscript[F, 1][-Divide[a,2];Divide[1,2];Divide[(z)^(2),2]]+Sqrt[2]*z*Sin[Divide[Pi*a,2]]*Subscript[\[CapitalGamma][Divide[a,2]+ 1], 1]*Subscript[F, 1][Divide[1,2]-Divide[a,2];Divide[3,2];Divide[(z)^(2),2]])
Free variables
- \[CapitalGamma]
- a
- z
Symbol info
- Cosine; Example: \cos@@{z}
Will be translated to: Cos[$0] Relevant links to definitions: DLMF: http://dlmf.nist.gov/4.14#E2 Mathematica: https://reference.wolfram.com/language/ref/Cos.html
- Recognizes e with power as the exponential function. It was translated as a function.
- Function without DLMF-Definition. We keep it like it is (but delete prefix \ if necessary).
- Sine; Example: \sin@@{z}
Will be translated to: Sin[$0] Relevant links to definitions: DLMF: http://dlmf.nist.gov/4.14#E1 Mathematica: https://reference.wolfram.com/language/ref/Sin.html
- Whittaker's notation D for the parabolic cylinder function; Example: \WhittakerparaD{\nu}@{z}
Will be translated to: ParabolicCylinderD[$0, $1] Relevant links to definitions: DLMF: http://dlmf.nist.gov/12.1 Mathematica: https://reference.wolfram.com/language/ref/ParabolicCylinderD.html
- Pi was translated to: Pi
- Function without DLMF-Definition. We keep it like it is (but delete prefix \ if necessary).
Tests
Symbolic
Numeric
SymPy
Translation:
Information
Symbol info
- (LaTeX -> SymPy) No translation possible for given token: Cannot extract information from feature set: \WhittakerparaD [\WhittakerparaD]
Tests
Symbolic
Numeric
Maple
Translation: CylinderD(a, z) = (1)/(sqrt(Pi))*(2)^(a/2)* exp(-((z)^(2))/(4))*(cos((Pi*a)/(2))*Gamma((a + 1)/(2))[1]*F[1](-(a)/(2);(1)/(2);((z)^(2))/(2))+sqrt(2)*z*sin((Pi*a)/(2))*Gamma((a)/(2)+ 1)[1]*F[1]((1)/(2)-(a)/(2);(3)/(2);((z)^(2))/(2)))
Information
Sub Equations
- CylinderD(a, z) = (1)/(sqrt(Pi))*(2)^(a/2)* exp(-((z)^(2))/(4))*(cos((Pi*a)/(2))*Gamma((a + 1)/(2))[1]*F[1](-(a)/(2);(1)/(2);((z)^(2))/(2))+sqrt(2)*z*sin((Pi*a)/(2))*Gamma((a)/(2)+ 1)[1]*F[1]((1)/(2)-(a)/(2);(3)/(2);((z)^(2))/(2)))
Free variables
- Gamma
- a
- z
Symbol info
- Cosine; Example: \cos@@{z}
Will be translated to: cos($0) Relevant links to definitions: DLMF: http://dlmf.nist.gov/4.14#E2 Maple: https://www.maplesoft.com/support/help/maple/view.aspx?path=cos
- Recognizes e with power as the exponential function. It was translated as a function.
- Function without DLMF-Definition. We keep it like it is (but delete prefix \ if necessary).
- Sine; Example: \sin@@{z}
Will be translated to: sin($0) Relevant links to definitions: DLMF: http://dlmf.nist.gov/4.14#E1 Maple: https://www.maplesoft.com/support/help/maple/view.aspx?path=sin
- Whittaker's notation D for the parabolic cylinder function; Example: \WhittakerparaD{\nu}@{z}
Will be translated to: CylinderD($0, $1) Relevant links to definitions: DLMF: http://dlmf.nist.gov/12.1 Maple: https://www.maplesoft.com/support/help/maple/view.aspx?path=CylinderD
- Pi was translated to: Pi
- 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
Complete translation information:
{
"id" : "FORMULA_899fac88f5b50fa673182d33f810850c",
"formula" : "D_a(z)=\\frac{1}{\\sqrt{\\pi }}{2^{a/2} e^{-\\frac{z^2}{4}} \\left(\\cos \\left(\\frac{\\pi a}{2}\\right) \\Gamma \\left(\\frac{a+1}{2}\\right) _1F_1\\left(-\\frac{a}{2};\\frac{1}{2};\\frac{z^2}{2}\\right)+\\sqrt{2} z \\sin \\left(\\frac{\\pi a}{2}\\right) \\Gamma \\left(\\frac{a}{2}+1\\right) _1F_1\\left(\\frac{1}{2}-\\frac{a}{2};\\frac{3}{2};\\frac{z^2}{2}\\right)\\right)}",
"semanticFormula" : "\\WhittakerparaD{a}@{z} = \\frac{1}{\\sqrt{\\cpi}}{2^{a/2} \\expe^{-\\frac{z^2}{4}}(\\cos(\\frac{\\cpi a}{2}) \\Gamma(\\frac{a+1}{2})_1 F_1(- \\frac{a}{2} ; \\frac{1}{2} ; \\frac{z^2}{2}) + \\sqrt{2} z \\sin(\\frac{\\cpi a}{2}) \\Gamma(\\frac{a}{2} + 1)_1 F_1(\\frac{1}{2} - \\frac{a}{2} ; \\frac{3}{2} ; \\frac{z^2}{2}))}",
"confidence" : 0.6550722412517715,
"translations" : {
"Mathematica" : {
"translation" : "ParabolicCylinderD[a, z] == Divide[1,Sqrt[Pi]]*(2)^(a/2)* Exp[-Divide[(z)^(2),4]]*(Cos[Divide[Pi*a,2]]*Subscript[\\[CapitalGamma][Divide[a + 1,2]], 1]*Subscript[F, 1][-Divide[a,2];Divide[1,2];Divide[(z)^(2),2]]+Sqrt[2]*z*Sin[Divide[Pi*a,2]]*Subscript[\\[CapitalGamma][Divide[a,2]+ 1], 1]*Subscript[F, 1][Divide[1,2]-Divide[a,2];Divide[3,2];Divide[(z)^(2),2]])",
"translationInformation" : {
"subEquations" : [ "ParabolicCylinderD[a, z] = Divide[1,Sqrt[Pi]]*(2)^(a/2)* Exp[-Divide[(z)^(2),4]]*(Cos[Divide[Pi*a,2]]*Subscript[\\[CapitalGamma][Divide[a + 1,2]], 1]*Subscript[F, 1][-Divide[a,2];Divide[1,2];Divide[(z)^(2),2]]+Sqrt[2]*z*Sin[Divide[Pi*a,2]]*Subscript[\\[CapitalGamma][Divide[a,2]+ 1], 1]*Subscript[F, 1][Divide[1,2]-Divide[a,2];Divide[3,2];Divide[(z)^(2),2]])" ],
"freeVariables" : [ "\\[CapitalGamma]", "a", "z" ],
"tokenTranslations" : {
"\\cos" : "Cosine; Example: \\cos@@{z}\nWill be translated to: Cos[$0]\nRelevant links to definitions:\nDLMF: http://dlmf.nist.gov/4.14#E2\nMathematica: https://reference.wolfram.com/language/ref/Cos.html",
"\\expe" : "Recognizes e with power as the exponential function. It was translated as a function.",
"F" : "Function without DLMF-Definition. We keep it like it is (but delete prefix \\ if necessary).",
"\\sin" : "Sine; Example: \\sin@@{z}\nWill be translated to: Sin[$0]\nRelevant links to definitions:\nDLMF: http://dlmf.nist.gov/4.14#E1\nMathematica: https://reference.wolfram.com/language/ref/Sin.html",
"\\WhittakerparaD" : "Whittaker's notation D for the parabolic cylinder function; Example: \\WhittakerparaD{\\nu}@{z}\nWill be translated to: ParabolicCylinderD[$0, $1]\nRelevant links to definitions:\nDLMF: http://dlmf.nist.gov/12.1\nMathematica: https://reference.wolfram.com/language/ref/ParabolicCylinderD.html",
"\\cpi" : "Pi was translated to: Pi",
"\\Gamma" : "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" : "",
"translationInformation" : {
"tokenTranslations" : {
"Error" : "(LaTeX -> SymPy) No translation possible for given token: Cannot extract information from feature set: \\WhittakerparaD [\\WhittakerparaD]"
}
},
"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" : "CylinderD(a, z) = (1)/(sqrt(Pi))*(2)^(a/2)* exp(-((z)^(2))/(4))*(cos((Pi*a)/(2))*Gamma((a + 1)/(2))[1]*F[1](-(a)/(2);(1)/(2);((z)^(2))/(2))+sqrt(2)*z*sin((Pi*a)/(2))*Gamma((a)/(2)+ 1)[1]*F[1]((1)/(2)-(a)/(2);(3)/(2);((z)^(2))/(2)))",
"translationInformation" : {
"subEquations" : [ "CylinderD(a, z) = (1)/(sqrt(Pi))*(2)^(a/2)* exp(-((z)^(2))/(4))*(cos((Pi*a)/(2))*Gamma((a + 1)/(2))[1]*F[1](-(a)/(2);(1)/(2);((z)^(2))/(2))+sqrt(2)*z*sin((Pi*a)/(2))*Gamma((a)/(2)+ 1)[1]*F[1]((1)/(2)-(a)/(2);(3)/(2);((z)^(2))/(2)))" ],
"freeVariables" : [ "Gamma", "a", "z" ],
"tokenTranslations" : {
"\\cos" : "Cosine; Example: \\cos@@{z}\nWill be translated to: cos($0)\nRelevant links to definitions:\nDLMF: http://dlmf.nist.gov/4.14#E2\nMaple: https://www.maplesoft.com/support/help/maple/view.aspx?path=cos",
"\\expe" : "Recognizes e with power as the exponential function. It was translated as a function.",
"F" : "Function without DLMF-Definition. We keep it like it is (but delete prefix \\ if necessary).",
"\\sin" : "Sine; Example: \\sin@@{z}\nWill be translated to: sin($0)\nRelevant links to definitions:\nDLMF: http://dlmf.nist.gov/4.14#E1\nMaple: https://www.maplesoft.com/support/help/maple/view.aspx?path=sin",
"\\WhittakerparaD" : "Whittaker's notation D for the parabolic cylinder function; Example: \\WhittakerparaD{\\nu}@{z}\nWill be translated to: CylinderD($0, $1)\nRelevant links to definitions:\nDLMF: http://dlmf.nist.gov/12.1\nMaple: https://www.maplesoft.com/support/help/maple/view.aspx?path=CylinderD",
"\\cpi" : "Pi was translated to: Pi",
"\\Gamma" : "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" : [ ],
"includes" : [ "a", "z", "D_a(z)=\\frac{1}{\\sqrt{\\pi }}{2^{a/2} e^{-\\frac{z^2}{4}} \\left(\\cos \\left(\\frac{\\pi a}{2}\\right) \\Gamma \\left(\\frac{a+1}{2}\\right) \\, _1F_1\\left(-\\frac{a}{2};\\frac{1}{2};\\frac{z^2}{2}\\right)+\\sqrt{2} z \\sin \\left(\\frac{\\pi a}{2}\\right) \\Gamma \\left(\\frac{a}{2}+1\\right) \\, _1F_1\\left(\\frac{1}{2}-\\frac{a}{2};\\frac{3}{2};\\frac{z^2}{2}\\right)\\right)}", "_{a}", "D_{p}(x)" ],
"isPartOf" : [ "D_a(z)=\\frac{1}{\\sqrt{\\pi }}{2^{a/2} e^{-\\frac{z^2}{4}} \\left(\\cos \\left(\\frac{\\pi a}{2}\\right) \\Gamma \\left(\\frac{a+1}{2}\\right) \\, _1F_1\\left(-\\frac{a}{2};\\frac{1}{2};\\frac{z^2}{2}\\right)+\\sqrt{2} z \\sin \\left(\\frac{\\pi a}{2}\\right) \\Gamma \\left(\\frac{a}{2}+1\\right) \\, _1F_1\\left(\\frac{1}{2}-\\frac{a}{2};\\frac{3}{2};\\frac{z^2}{2}\\right)\\right)}" ],
"definiens" : [ ]
}