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 P_s(x) = \frac{1}{2\pi}\int_{-\pi}^{\pi}\left(x+\sqrt{x^2-1}\cos\theta\right)^s d\theta = \frac{1}{\pi}\int_0^1\left(x+\sqrt{x^2-1}(2t-1)\right)^s\frac{dt}{\sqrt{t(1-t)}},\qquad s\in\mathbb{C}}
... is translated to the CAS output ...
Semantic latex: \LegendrepolyP{s}@{x} = \frac{1}{2 \cpi} \int_{- \cpi}^{\cpi}(x + \sqrt{x^2-1} \cos \theta)^s \diff{\theta} = \frac{1}{\cpi} \int_0^1(x + \sqrt{x^2-1}(2 t - 1))^s \frac{dt}{\sqrt{t(1-t)}} , \qquad s \in \mathbb{C}
Confidence: 0.72173462221165
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: \LegendrepolyP [\LegendrepolyP]
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
Description
- real x
Complete translation information:
{
"id" : "FORMULA_3b7bedcc50588111ea822cf08b7ba870",
"formula" : "P_s(x) = \\frac{1}{2\\pi}\\int_{-\\pi}^{\\pi}\\left(x+\\sqrt{x^2-1}\\cos\\theta\\right)^s d\\theta = \\frac{1}{\\pi}\\int_0^1\\left(x+\\sqrt{x^2-1}(2t-1)\\right)^s\\frac{dt}{\\sqrt{t(1-t)}},\\qquad s\\in\\mathbb{C}",
"semanticFormula" : "\\LegendrepolyP{s}@{x} = \\frac{1}{2 \\cpi} \\int_{- \\cpi}^{\\cpi}(x + \\sqrt{x^2-1} \\cos \\theta)^s \\diff{\\theta} = \\frac{1}{\\cpi} \\int_0^1(x + \\sqrt{x^2-1}(2 t - 1))^s \\frac{dt}{\\sqrt{t(1-t)}} , \\qquad s \\in \\mathbb{C}",
"confidence" : 0.721734622211653,
"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: \\LegendrepolyP [\\LegendrepolyP]"
}
}
},
"Maple" : {
"translation" : "",
"translationInformation" : {
"tokenTranslations" : {
"Error" : "(LaTeX -> Maple) The input LaTeX is invalid: Unable to retrieve free variables for limit expression."
}
}
}
},
"positions" : [ {
"section" : 5,
"sentence" : 2,
"word" : 6
} ],
"includes" : [ "P_{n}", "P", "-1", "P_s" ],
"isPartOf" : [ ],
"definiens" : [ {
"definition" : "real x",
"score" : 0.6859086196238077
} ]
}