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 L}

${\displaystyle L}$

... is translated to the CAS output ...

Semantic latex: L

Confidence: 0

Mathematica

Translation: L

Information

Sub Equations

L

Free variables

L

Tests

Symbolic

Numeric

SymPy

Translation: L

Information

Sub Equations

L

Free variables

L

Tests

Symbolic

Numeric

Maple

Translation: L

Information

Sub Equations

L

Free variables

L

Tests

Symbolic

Numeric

Dependency Graph Information

Is part of

$C_{n}(x;\mu )={}_{2}F_{0}(-n,-x,-1/\mu )=(-1)^{n}n!L_{n}^{(-1-x)}\left(-{\frac {1}{\mu }}\right)$

Description

Laguerre polynomial

hypergeometric function

term

Complete translation information:

{
  "id" : "FORMULA_d20caec3b48a1eef164cb4ca81ba2587",
  "formula" : "L",
  "semanticFormula" : "L",
  "confidence" : 0.0,
  "translations" : {
    "Mathematica" : {
      "translation" : "L",
      "translationInformation" : {
        "subEquations" : [ "L" ],
        "freeVariables" : [ "L" ]
      },
      "numericResults" : {
        "overallResult" : "SKIPPED",
        "numberOfTests" : 0,
        "numberOfFailedTests" : 0,
        "numberOfSuccessfulTests" : 0,
        "numberOfSkippedTests" : 0,
        "numberOfErrorTests" : 0,
        "wasAborted" : false,
        "crashed" : false,
        "testCalculationsGroups" : [ ]
      },
      "symbolicResults" : {
        "overallResult" : "SKIPPED",
        "numberOfTests" : 0,
        "numberOfFailedTests" : 0,
        "numberOfSuccessfulTests" : 0,
        "numberOfSkippedTests" : 0,
        "numberOfErrorTests" : 0,
        "crashed" : false,
        "testCalculationsGroup" : [ ]
      }
    },
    "SymPy" : {
      "translation" : "L",
      "translationInformation" : {
        "subEquations" : [ "L" ],
        "freeVariables" : [ "L" ]
      },
      "numericResults" : {
        "overallResult" : "SKIPPED",
        "numberOfTests" : 0,
        "numberOfFailedTests" : 0,
        "numberOfSuccessfulTests" : 0,
        "numberOfSkippedTests" : 0,
        "numberOfErrorTests" : 0,
        "wasAborted" : false,
        "crashed" : false,
        "testCalculationsGroups" : [ ]
      },
      "symbolicResults" : {
        "overallResult" : "SKIPPED",
        "numberOfTests" : 0,
        "numberOfFailedTests" : 0,
        "numberOfSuccessfulTests" : 0,
        "numberOfSkippedTests" : 0,
        "numberOfErrorTests" : 0,
        "crashed" : false,
        "testCalculationsGroup" : [ ]
      }
    },
    "Maple" : {
      "translation" : "L",
      "translationInformation" : {
        "subEquations" : [ "L" ],
        "freeVariables" : [ "L" ]
      },
      "numericResults" : {
        "overallResult" : "SKIPPED",
        "numberOfTests" : 0,
        "numberOfFailedTests" : 0,
        "numberOfSuccessfulTests" : 0,
        "numberOfSkippedTests" : 0,
        "numberOfErrorTests" : 0,
        "wasAborted" : false,
        "crashed" : false,
        "testCalculationsGroups" : [ ]
      },
      "symbolicResults" : {
        "overallResult" : "SKIPPED",
        "numberOfTests" : 0,
        "numberOfFailedTests" : 0,
        "numberOfSuccessfulTests" : 0,
        "numberOfSkippedTests" : 0,
        "numberOfErrorTests" : 0,
        "crashed" : false,
        "testCalculationsGroup" : [ ]
      }
    }
  },
  "positions" : [ {
    "section" : 0,
    "sentence" : 1,
    "word" : 14
  } ],
  "includes" : [ ],
  "isPartOf" : [ "C_n(x; \\mu)= {}_2F_0(-n,-x,-1/\\mu)=(-1)^n n! L_n^{(-1-x)}\\left(-\\frac 1 \\mu \\right)" ],
  "definiens" : [ {
    "definition" : "Laguerre polynomial",
    "score" : 0.722
  }, {
    "definition" : "hypergeometric function",
    "score" : 0.7125985104912714
  }, {
    "definition" : "term",
    "score" : 0.6859086196238077
  } ]
}

Specify your own input

Formula input
Wikitext context	In [[mathematics]], '''Charlier polynomials''' (also called '''Poisson–Charlier polynomials''') are a family of [[orthogonal polynomials]] introduced by [[Carl Charlier]]. They are given in terms of the [[generalized hypergeometric function]] by :<math>C_n(x; \mu)= {}_2F_0(-n,-x,-1/\mu)=(-1)^n n! L_n^{(-1-x)}\left(-\frac 1 \mu \right),</math> where <math>L</math> are [[Laguerre polynomials]]. They satisfy the [[orthogonality relation]] :<math>\sum_{x=0}^\infty \frac{\mu^x}{x!} C_n(x; \mu)C_m(x; \mu)=\mu^{-n} e^\mu n! \delta_{nm}, \quad \mu>0.</math> == See also == * [[Wilson polynomials]], a generalization of Charlier polynomials. == References == * C. V. L. Charlier (1905–1906) ''Über die Darstellung willkürlicher Funktionen'', Ark. Mat. Astr. och Fysic 2, 20. * {{dlmf\|id=18.19\|title=Hahn Class: Definitions\|first=Tom H. \|last=Koornwinder\|first2=Roderick S. C.\|last2= Wong\|first3=Roelof \|last3=Koekoek\|\|first4=René F. \|last4=Swarttouw}} * {{Citation \| authorlink=Gábor Szegő \| last1=Szegő \| first1=Gabor \| title=Orthogonal Polynomials \| publisher=Colloquium Publications – American Mathematical Society \| isbn=978-0-8218-1023-1 \| mr=0372517 \| year=1939}} [[Category:Orthogonal polynomials]] {{Algebra-stub}}
	Purge cached results.

LaTeX to CAS translator

Mathematica

Information

Tests

Symbolic

Numeric

SymPy

Information

Tests

Symbolic

Numeric

Maple

Information

Tests

Symbolic

Numeric

Dependency Graph Information

Specify your own input

Navigation menu

Search