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 \begin{align} I_0(a,b) &= 0 \\ I_1(a,b) &= 1 \\ I_x(a,1) &= x^a\\ I_x(1,b) &= 1 - (1-x)^b \\ I_x(a,b) &= 1 - I_{1-x}(b,a) \\ I_x(a+1,b) &= I_x(a,b)-\frac{x^a(1-x)^b}{a \Beta(a,b)} \\ I_x(a,b+1) &= I_x(a,b)+\frac{x^a(1-x)^b}{b \Beta(a,b)} \\ \Beta(x;a,b)&=(-1)^{a} \Beta\left(\frac{x}{x-1};a,1-a-b\right) \end{align}}
... is translated to the CAS output ...
Semantic latex: \begin{align}\normincBetaI{0}@{a}{b} &= 0 \\ \normincBetaI{1}@{a}{b} &= 1 \\ \normincBetaI{x}@{a}{1} &= x^a \\ \normincBetaI{x}@{1}{b} &= 1 - (1-x)^b \\ \normincBetaI{x}@{a}{b} &= 1 - \normincBetaI{1-x}@{b}{a} \\ \normincBetaI{x}@{a + 1}{b} &= \normincBetaI{x}@{a}{b} - \frac{x^a(1-x)^b}{a \Beta(a,b)} \\ \normincBetaI{x}@{a}{b + 1} &= \normincBetaI{x}@{a}{b} + \frac{x^a(1-x)^b}{b \Beta(a,b)} \\ \Beta(x;a,b) &=(- 1)^{a} \Beta(\frac{x}{x-1} ; a , 1 - a - b)\end{align}
Confidence: 0.69595440590511
Mathematica
Translation:
Information
Symbol info
- (LaTeX -> Mathematica) An unknown or missing element occurred: Unknown MathTerm Tag: probability distribution for \Beta [\Beta]
Tests
Symbolic
Numeric
SymPy
Translation:
Information
Symbol info
- (LaTeX -> SymPy) No translation possible for given token: Cannot extract information from feature set: \normincBetaI [\normincBetaI]
Tests
Symbolic
Numeric
Maple
Translation:
Information
Symbol info
- (LaTeX -> Maple) No translation possible for given token: Cannot extract information from feature set: \normincBetaI [\normincBetaI]
Tests
Symbolic
Numeric
Dependency Graph Information
Includes
Is part of
Complete translation information:
{
"id" : "FORMULA_5ec9f993e404520e05d8671d739a8af5",
"formula" : "\\begin{align}\nI_0(a,b) &= 0 \\\\\nI_1(a,b) &= 1 \\\\\nI_x(a,1) &= x^a\\\\\nI_x(1,b) &= 1 - (1-x)^b \\\\\nI_x(a,b) &= 1 - I_{1-x}(b,a) \\\\\nI_x(a+1,b) &= I_x(a,b)-\\frac{x^a(1-x)^b}{a \\Beta(a,b)} \\\\\nI_x(a,b+1) &= I_x(a,b)+\\frac{x^a(1-x)^b}{b \\Beta(a,b)} \\\\\n\\Beta(x;a,b)&=(-1)^{a} \\Beta\\left(\\frac{x}{x-1};a,1-a-b\\right)\n\\end{align}",
"semanticFormula" : "\\begin{align}\\normincBetaI{0}@{a}{b} &= 0 \\\\ \\normincBetaI{1}@{a}{b} &= 1 \\\\ \\normincBetaI{x}@{a}{1} &= x^a \\\\ \\normincBetaI{x}@{1}{b} &= 1 - (1-x)^b \\\\ \\normincBetaI{x}@{a}{b} &= 1 - \\normincBetaI{1-x}@{b}{a} \\\\ \\normincBetaI{x}@{a + 1}{b} &= \\normincBetaI{x}@{a}{b} - \\frac{x^a(1-x)^b}{a \\Beta(a,b)} \\\\ \\normincBetaI{x}@{a}{b + 1} &= \\normincBetaI{x}@{a}{b} + \\frac{x^a(1-x)^b}{b \\Beta(a,b)} \\\\ \\Beta(x;a,b) &=(- 1)^{a} \\Beta(\\frac{x}{x-1} ; a , 1 - a - b)\\end{align}",
"confidence" : 0.6959544059051139,
"translations" : {
"Mathematica" : {
"translation" : "",
"translationInformation" : {
"tokenTranslations" : {
"Error" : "(LaTeX -> Mathematica) An unknown or missing element occurred: Unknown MathTerm Tag: probability distribution for \\Beta [\\Beta]"
}
}
},
"SymPy" : {
"translation" : "",
"translationInformation" : {
"tokenTranslations" : {
"Error" : "(LaTeX -> SymPy) No translation possible for given token: Cannot extract information from feature set: \\normincBetaI [\\normincBetaI]"
}
}
},
"Maple" : {
"translation" : "",
"translationInformation" : {
"tokenTranslations" : {
"Error" : "(LaTeX -> Maple) No translation possible for given token: Cannot extract information from feature set: \\normincBetaI [\\normincBetaI]"
}
}
}
},
"positions" : [ ],
"includes" : [ "\\Beta", "I_x(a,b)", "x", "\\begin{align}I_0(a,b) &= 0 \\\\I_1(a,b) &= 1 \\\\I_x(a,1) &= x^a\\\\I_x(1,b) &= 1 - (1-x)^b \\\\I_x(a,b) &= 1 - I_{1-x}(b,a) \\\\I_x(a+1,b) &= I_x(a,b)-\\frac{x^a(1-x)^b}{a \\Beta(a,b)} \\\\I_x(a,b+1) &= I_x(a,b)+\\frac{x^a(1-x)^b}{b \\Beta(a,b)} \\\\\\Beta(x;a,b)&=(-1)^{a} \\Beta\\left(\\frac{x}{x-1};a,1-a-b\\right)\\end{align}", "\\Beta(x;\\,a,b)" ],
"isPartOf" : [ "\\begin{align}I_0(a,b) &= 0 \\\\I_1(a,b) &= 1 \\\\I_x(a,1) &= x^a\\\\I_x(1,b) &= 1 - (1-x)^b \\\\I_x(a,b) &= 1 - I_{1-x}(b,a) \\\\I_x(a+1,b) &= I_x(a,b)-\\frac{x^a(1-x)^b}{a \\Beta(a,b)} \\\\I_x(a,b+1) &= I_x(a,b)+\\frac{x^a(1-x)^b}{b \\Beta(a,b)} \\\\\\Beta(x;a,b)&=(-1)^{a} \\Beta\\left(\\frac{x}{x-1};a,1-a-b\\right)\\end{align}" ],
"definiens" : [ ]
}