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 \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" : [ ]
}

Specify your own input