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 \lim_{z\rightarrow\infty}U(a,z)/e^{-z^2/4}z^{-a-1/2}=1\,\,\,\,(\text{for}\,|\arg(z)|<\pi/2) }
... is translated to the CAS output ...
Semantic latex: \lim_{z\rightarrow\infty} \paraU@{a}{z} / \expe^{-z^2/4} z^{-a-1/2} = 1({for} \abs{\arg(z)} < \cpi / 2)
Confidence: 0.59087115864993
Mathematica
Translation:
Information
Symbol info
- (LaTeX -> Mathematica) The input LaTeX is invalid: Unable to retrieve free variables for limit expression.
Tests
Symbolic
Numeric
SymPy
Translation:
Information
Symbol info
- (LaTeX -> SymPy) No translation possible for given token: Cannot extract information from feature set: \paraU [\paraU]
Tests
Symbolic
Numeric
Maple
Translation:
Information
Symbol info
- (LaTeX -> Maple) The input LaTeX is invalid: Unable to retrieve free variables for limit expression.
Tests
Symbolic
Numeric
Dependency Graph Information
Includes
Is part of
Complete translation information:
{
"id" : "FORMULA_64085b1826461eb6d40aad8f5e5613a8",
"formula" : "\\lim_{z\\rightarrow\\infty}U(a,z)/e^{-z^2/4}z^{-a-1/2}=1(\\text{for}|\\arg(z)|<\\pi/2)",
"semanticFormula" : "\\lim_{z\\rightarrow\\infty} \\paraU@{a}{z} / \\expe^{-z^2/4} z^{-a-1/2} = 1({for} \\abs{\\arg(z)} < \\cpi / 2)",
"confidence" : 0.5908711586499262,
"translations" : {
"Mathematica" : {
"translation" : "",
"translationInformation" : {
"tokenTranslations" : {
"Error" : "(LaTeX -> Mathematica) The input LaTeX is invalid: Unable to retrieve free variables for limit expression."
}
}
},
"SymPy" : {
"translation" : "",
"translationInformation" : {
"tokenTranslations" : {
"Error" : "(LaTeX -> SymPy) No translation possible for given token: Cannot extract information from feature set: \\paraU [\\paraU]"
}
}
},
"Maple" : {
"translation" : "",
"translationInformation" : {
"tokenTranslations" : {
"Error" : "(LaTeX -> Maple) The input LaTeX is invalid: Unable to retrieve free variables for limit expression."
}
}
}
},
"positions" : [ ],
"includes" : [ "a", "z", "V(a,z)", "z)| < \\pi/2", "f(a,z)", "U", "\\lim_{z\\rightarrow\\infty}U(a,z)/e^{-z^2/4}z^{-a-1/2}=1\\,\\,\\,\\,(\\text{for}\\,|\\arg(z)|<\\pi/2)", "U(a,z)" ],
"isPartOf" : [ "\\lim_{z\\rightarrow\\infty}U(a,z)/e^{-z^2/4}z^{-a-1/2}=1\\,\\,\\,\\,(\\text{for}\\,|\\arg(z)|<\\pi/2)" ],
"definiens" : [ ]
}