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 \frac{1}{\sqrt{\pi}}\int w(z)\,dz =\frac{1}{\sqrt{\pi}} \int e^{-z^2}\left[1-\operatorname{erf}(-iz)\right]\,dz, }
... is translated to the CAS output ...
Semantic latex: \frac{1}{\sqrt{\cpi}} \int \Faddeevaw@{z} \diff{z} = \frac{1}{\sqrt{\cpi}} \int \expe^{-z^2} [1 - \erf@@{(- \iunit z)}] \diff{z} ,
Confidence: 0.57701417602226
Mathematica
Translation:
Information
Symbol info
- (LaTeX -> Mathematica) No translation possible for given token: Cannot extract information from feature set: \Faddeevaw [\Faddeevaw]
Tests
Symbolic
Numeric
SymPy
Translation:
Information
Symbol info
- (LaTeX -> SymPy) No translation possible for given token: Cannot extract information from feature set: \Faddeevaw [\Faddeevaw]
Tests
Symbolic
Numeric
Maple
Translation:
Information
Symbol info
- (LaTeX -> Maple) No translation possible for given token: Cannot extract information from feature set: \Faddeevaw [\Faddeevaw]
Tests
Symbolic
Numeric
Dependency Graph Information
Includes
Complete translation information:
{
"id" : "FORMULA_992309a6d59e19d20971f5c1062b6cd4",
"formula" : "\\frac{1}{\\sqrt{\\pi}}\\int w(z)dz =\\frac{1}{\\sqrt{\\pi}}\n\\int e^{-z^2}\\left[1-\\operatorname{erf}(-iz)\\right]dz,",
"semanticFormula" : "\\frac{1}{\\sqrt{\\cpi}} \\int \\Faddeevaw@{z} \\diff{z} = \\frac{1}{\\sqrt{\\cpi}} \\int \\expe^{-z^2} [1 - \\erf@@{(- \\iunit z)}] \\diff{z} ,",
"confidence" : 0.5770141760222565,
"translations" : {
"Mathematica" : {
"translation" : "",
"translationInformation" : {
"tokenTranslations" : {
"Error" : "(LaTeX -> Mathematica) No translation possible for given token: Cannot extract information from feature set: \\Faddeevaw [\\Faddeevaw]"
}
}
},
"SymPy" : {
"translation" : "",
"translationInformation" : {
"tokenTranslations" : {
"Error" : "(LaTeX -> SymPy) No translation possible for given token: Cannot extract information from feature set: \\Faddeevaw [\\Faddeevaw]"
}
}
},
"Maple" : {
"translation" : "",
"translationInformation" : {
"tokenTranslations" : {
"Error" : "(LaTeX -> Maple) No translation possible for given token: Cannot extract information from feature set: \\Faddeevaw [\\Faddeevaw]"
}
}
}
},
"positions" : [ ],
"includes" : [ "\\frac{1}{\\sqrt{\\pi}}\\int w(z)\\,dz =\\frac{1}{\\sqrt{\\pi}}\\int e^{-z^2}\\left[1-\\operatorname{erf}(-iz)\\right]\\,dz", "w(z)", "z" ],
"isPartOf" : [ ],
"definiens" : [ ]
}