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 \mathbf{E}_{\nu-1}(z)-\mathbf{E}_{\nu+1}(z)=2\dfrac{\partial}{\partial z}\mathbf{E}_\nu(z)}

${\displaystyle \mathbf {E} _{\nu -1}(z)-\mathbf {E} _{\nu +1}(z)=2{\dfrac {\partial }{\partial z}}\mathbf {E} _{\nu }(z)}$

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

Semantic latex: \WeberE{\nu-1}@{z} - \WeberE{\nu+1}@{z} = 2 \deriv [1]{ }{z} \WeberE{\nu}@{z}

Confidence: 0.91187178584076

Mathematica

Translation: WeberE[\[Nu]- 1, z]- WeberE[\[Nu]+ 1, z] == 2*D[WeberE[\[Nu], z], {z, 1}]

Information

Sub Equations

WeberE[\[Nu]- 1, z]- WeberE[\[Nu]+ 1, z] = 2*D[WeberE[\[Nu], z], {z, 1}]

Free variables

\[Nu]

z

Symbol info

Weber function; Example: \WeberE{v}@{z}

Will be translated to: WeberE[$0, $1] Relevant links to definitions: DLMF: http://dlmf.nist.gov/11.10#E2 Mathematica: https://reference.wolfram.com/language/ref/WeberE.html

Derivative; Example: \deriv[n]{f}{x}

Will be translated to: D[$1, {$2, $0}] Relevant links to definitions: DLMF: http://dlmf.nist.gov/1.4#E4 Mathematica: https://reference.wolfram.com/language/ref/D.html

Tests

Symbolic

Test expression: (WeberE[\[Nu]- 1, z]- WeberE[\[Nu]+ 1, z])-(2*D[WeberE[\[Nu], z], {z, 1}])

ERROR:

{
    "result": "ERROR",
    "testTitle": "Simple",
    "testExpression": null,
    "resultExpression": null,
    "wasAborted": false,
    "conditionallySuccessful": false
}

Numeric

SymPy

Translation:

Information

Symbol info

(LaTeX -> SymPy) No translation possible for given token: Cannot extract information from feature set: \WeberE [\WeberE]

Tests

Symbolic

Numeric

Maple

Translation: WeberE(nu - 1, z)- WeberE(nu + 1, z) = 2*diff(WeberE(nu, z), [z$(1)])

Information

Sub Equations

WeberE(nu - 1, z)- WeberE(nu + 1, z) = 2*diff(WeberE(nu, z), [z$(1)])

Free variables

nu

z

Symbol info

Weber function; Example: \WeberE{v}@{z}

Will be translated to: WeberE($0, $1) Relevant links to definitions: DLMF: http://dlmf.nist.gov/11.10#E2 Maple: https://www.maplesoft.com/support/help/maple/view.aspx?path=AngerJ

Derivative; Example: \deriv[n]{f}{x}

Will be translated to: diff($1, [$2$($0)]) Relevant links to definitions: DLMF: http://dlmf.nist.gov/1.4#E4 Maple: https://www.maplesoft.com/support/help/Maple/view.aspx?path=diff

Tests

Symbolic

Numeric

Dependency Graph Information

Includes

$\mathbf {J} _{\nu -1}(z)-\mathbf {J} _{\nu +1}(z)=2{\dfrac {\partial }{\partial z}}\mathbf {J} _{\nu }(z)$

$\mathbf {J} _{\nu }$

$J_{\nu }$

$\nu$

Is part of

$\mathbf {J} _{\nu -1}(z)-\mathbf {J} _{\nu +1}(z)=2{\dfrac {\partial }{\partial z}}\mathbf {J} _{\nu }(z)$

Description

anger

Weber function

homogeneous form of delay differential equation

inhomogeneous form of delay differential equation

Complete translation information:

{
  "id" : "FORMULA_79bfab9bc4b30a91c57cffe28fc59f97",
  "formula" : "\\mathbf{E}_{\\nu-1}(z)-\\mathbf{E}_{\\nu+1}(z)=2\\dfrac{\\partial}{\\partial z}\\mathbf{E}_\\nu(z)",
  "semanticFormula" : "\\WeberE{\\nu-1}@{z} - \\WeberE{\\nu+1}@{z} = 2 \\deriv [1]{ }{z} \\WeberE{\\nu}@{z}",
  "confidence" : 0.9118717858407615,
  "translations" : {
    "Mathematica" : {
      "translation" : "WeberE[\\[Nu]- 1, z]- WeberE[\\[Nu]+ 1, z] == 2*D[WeberE[\\[Nu], z], {z, 1}]",
      "translationInformation" : {
        "subEquations" : [ "WeberE[\\[Nu]- 1, z]- WeberE[\\[Nu]+ 1, z] = 2*D[WeberE[\\[Nu], z], {z, 1}]" ],
        "freeVariables" : [ "\\[Nu]", "z" ],
        "tokenTranslations" : {
          "\\WeberE" : "Weber function; Example: \\WeberE{v}@{z}\nWill be translated to: WeberE[$0, $1]\nRelevant links to definitions:\nDLMF:         http://dlmf.nist.gov/11.10#E2\nMathematica:  https://reference.wolfram.com/language/ref/WeberE.html",
          "\\deriv1" : "Derivative; Example: \\deriv[n]{f}{x}\nWill be translated to: D[$1, {$2, $0}]\nRelevant links to definitions:\nDLMF:         http://dlmf.nist.gov/1.4#E4\nMathematica:  https://reference.wolfram.com/language/ref/D.html"
        }
      },
      "numericResults" : {
        "overallResult" : "SKIPPED",
        "numberOfTests" : 0,
        "numberOfFailedTests" : 0,
        "numberOfSuccessfulTests" : 0,
        "numberOfSkippedTests" : 0,
        "numberOfErrorTests" : 0,
        "wasAborted" : false,
        "crashed" : false,
        "testCalculationsGroups" : [ ]
      },
      "symbolicResults" : {
        "overallResult" : "ERROR",
        "numberOfTests" : 1,
        "numberOfFailedTests" : 0,
        "numberOfSuccessfulTests" : 0,
        "numberOfSkippedTests" : 0,
        "numberOfErrorTests" : 1,
        "crashed" : false,
        "testCalculationsGroup" : [ {
          "lhs" : "WeberE[\\[Nu]- 1, z]- WeberE[\\[Nu]+ 1, z]",
          "rhs" : "2*D[WeberE[\\[Nu], z], {z, 1}]",
          "testExpression" : "(WeberE[\\[Nu]- 1, z]- WeberE[\\[Nu]+ 1, z])-(2*D[WeberE[\\[Nu], z], {z, 1}])",
          "testCalculations" : [ {
            "result" : "ERROR",
            "testTitle" : "Simple",
            "testExpression" : null,
            "resultExpression" : null,
            "wasAborted" : false,
            "conditionallySuccessful" : false
          } ]
        } ]
      }
    },
    "SymPy" : {
      "translation" : "",
      "translationInformation" : {
        "tokenTranslations" : {
          "Error" : "(LaTeX -> SymPy) No translation possible for given token: Cannot extract information from feature set: \\WeberE [\\WeberE]"
        }
      }
    },
    "Maple" : {
      "translation" : "WeberE(nu - 1, z)- WeberE(nu + 1, z) = 2*diff(WeberE(nu, z), [z$(1)])",
      "translationInformation" : {
        "subEquations" : [ "WeberE(nu - 1, z)- WeberE(nu + 1, z) = 2*diff(WeberE(nu, z), [z$(1)])" ],
        "freeVariables" : [ "nu", "z" ],
        "tokenTranslations" : {
          "\\WeberE" : "Weber function; Example: \\WeberE{v}@{z}\nWill be translated to: WeberE($0, $1)\nRelevant links to definitions:\nDLMF:  http://dlmf.nist.gov/11.10#E2\nMaple: https://www.maplesoft.com/support/help/maple/view.aspx?path=AngerJ",
          "\\deriv1" : "Derivative; Example: \\deriv[n]{f}{x}\nWill be translated to: diff($1, [$2$($0)])\nRelevant links to definitions:\nDLMF:  http://dlmf.nist.gov/1.4#E4\nMaple: https://www.maplesoft.com/support/help/Maple/view.aspx?path=diff"
        }
      }
    }
  },
  "positions" : [ {
    "section" : 5,
    "sentence" : 0,
    "word" : 14
  } ],
  "includes" : [ "\\mathbf{J}_{\\nu-1}(z)-\\mathbf{J}_{\\nu+1}(z)=2\\dfrac{\\partial}{\\partial z}\\mathbf{J}_\\nu(z)", "\\mathbf{J}_{\\nu}", "J_{\\nu}", "\\nu" ],
  "isPartOf" : [ "\\mathbf{J}_{\\nu-1}(z)-\\mathbf{J}_{\\nu+1}(z)=2\\dfrac{\\partial}{\\partial z}\\mathbf{J}_\\nu(z)" ],
  "definiens" : [ {
    "definition" : "anger",
    "score" : 0.8869384888466118
  }, {
    "definition" : "Weber function",
    "score" : 0.7356153575222844
  }, {
    "definition" : "homogeneous form of delay differential equation",
    "score" : 0.6954080343007951
  }, {
    "definition" : "inhomogeneous form of delay differential equation",
    "score" : 0.5816270233429564
  } ]
}

Specify your own input

Formula input
Wikitext context	In mathematics, the '''Anger function''', introduced by {{harvs\|txt\|authorlink=Carl Theodor Anger\|first=C. T.\|last=Anger\|year=1855}}, is a function defined as : <math>\mathbf{J}_\nu(z)=\frac{1}{\pi} \int_0^\pi \cos (\nu\theta-z\sin\theta) \,d\theta</math> and is closely related to [[Bessel function]]s. The '''Weber function''' (also known as '''Lommel-Weber function'''), introduced by {{harvs\|txt\|authorlink=Heinrich Friedrich Weber\|first=H. F.\|last=Weber\|year=1879}}, is a closely related function defined by : <math>\mathbf{E}_\nu(z)=\frac{1}{\pi} \int_0^\pi \sin (\nu\theta-z\sin\theta) \,d\theta</math> and is closely related to [[Bessel function]]s of the second kind. ==Relation between Weber and Anger functions== The Anger and Weber functions are related by :<math> \begin{align} \sin(\pi \nu)\mathbf{J}_\nu(z) &= \cos(\pi\nu)\mathbf{E}_\nu(z)-\mathbf{E}_{-\nu}(z) \\ -\sin(\pi \nu)\mathbf{E}_\nu(z) &= \cos(\pi\nu)\mathbf{J}_\nu(z)-\mathbf{J}_{-\nu}(z) \end{align} </math> so in particular if ν is not an integer they can be expressed as linear combinations of each other. If ν is an integer then Anger functions '''J'''<sub>ν</sub> are the same as Bessel functions ''J''<sub>ν</sub>, and Weber functions can be expressed as finite linear combinations of [[Struve function]]s. ==Power series expansion== The Anger function has the power series expansion<ref name=DLMF>{{dlmf\|id=11.10\|title=Anger-Weber Functions\|first=R. B. \|last=Paris}}</ref> :<math>\mathbf{J}_\nu(z)=\cos\frac{\pi\nu}{2}\sum_{k=0}^\infty\frac{(-1)^kz^{2k}}{4^k\Gamma\left(k+\frac{\nu}{2}+1\right)\Gamma\left(k-\frac{\nu}{2}+1\right)}+\sin\frac{\pi\nu}{2}\sum_{k=0}^\infty\frac{(-1)^kz^{2k+1}}{2^{2k+1}\Gamma\left(k+\frac{\nu}{2}+\frac{3}{2}\right)\Gamma\left(k-\frac{\nu}{2}+\frac{3}{2}\right)}</math> While the Weber function has the power series expansion<ref name=DLMF/> :<math>\mathbf{E}_\nu(z)=\sin\frac{\pi\nu}{2}\sum_{k=0}^\infty\frac{(-1)^kz^{2k}}{4^k\Gamma\left(k+\frac{\nu}{2}+1\right)\Gamma\left(k-\frac{\nu}{2}+1\right)}-\cos\frac{\pi\nu}{2}\sum_{k=0}^\infty\frac{(-1)^kz^{2k+1}}{2^{2k+1}\Gamma\left(k+\frac{\nu}{2}+\frac{3}{2}\right)\Gamma\left(k-\frac{\nu}{2}+\frac{3}{2}\right)}</math> ==Differential equations== The Anger and Weber functions are solutions of inhomogeneous forms of Bessel's equation :<math>z^2y^{\prime\prime} + zy^\prime +(z^2-\nu^2)y = 0 .</math> More precisely, the Anger functions satisfy the equation<ref name=DLMF/> :<math>z^2y^{\prime\prime} + zy^\prime +(z^2-\nu^2)y = \frac{(z-\nu)\sin(\pi \nu)}{\pi} ,</math> and the Weber functions satisfy the equation<ref name=DLMF/> :<math>z^2y^{\prime\prime} + zy^\prime +(z^2-\nu^2)y = -\frac{z+\nu+(z-\nu)\cos(\pi \nu)}{\pi}.</math> ==Recurrence Relations== The Anger function satisfies this inhomogeneous form of [[recurrence relation]]<ref name=DLMF/> :<math>z\mathbf{J}_{\nu-1}(z)+z\mathbf{J}_{\nu+1}(z)=2\nu\mathbf{J}_\nu(z)-\frac{2\sin\pi\nu}{\pi}</math> While the Weber function satisfies this inhomogeneous form of [[recurrence relation]]<ref name=DLMF/> :<math>z\mathbf{E}_{\nu-1}(z)+z\mathbf{E}_{\nu+1}(z)=2\nu\mathbf{E}_\nu(z)-\frac{2(1-\cos\pi\nu)}{\pi}</math> ==Delay Differential Equations== The Anger and Weber functions satisfy these homogeneous forms of [[delay differential equation]]s<ref name=DLMF/> :<math>\mathbf{J}_{\nu-1}(z)-\mathbf{J}_{\nu+1}(z)=2\dfrac{\partial}{\partial z}\mathbf{J}_\nu(z)</math> :<math>\mathbf{E}_{\nu-1}(z)-\mathbf{E}_{\nu+1}(z)=2\dfrac{\partial}{\partial z}\mathbf{E}_\nu(z)</math> The Anger and Weber functions also satisfy these inhomogeneous forms of [[delay differential equation]]s<ref name=DLMF/> :<math>z\dfrac{\partial}{\partial z}\mathbf{J}_\nu(z)\pm\nu\mathbf{J}_\nu(z)=\pm z\mathbf{J}_{\nu\mp1}(z)\pm\frac{\sin\pi\nu}{\pi}</math> :<math>z\dfrac{\partial}{\partial z}\mathbf{E}_\nu(z)\pm\nu\mathbf{E}_\nu(z)=\pm z\mathbf{E}_{\nu\mp1}(z)\pm\frac{1-\cos\pi\nu}{\pi}</math> ==References== {{AS ref\|12\|498}} C.T. Anger, Neueste Schr. d. Naturf. d. Ges. i. Danzig, 5 (1855) pp. 1–29 {{springer\|id=A/a012490\|title=Anger function\|first=A.P.\|last= Prudnikov\|authorlink=Anatolii Platonovich Prudnikov}} {{springer\|id=W/w097320\|title=Weber function\|first=A.P.\|last= Prudnikov}} [[G.N. Watson]], "A treatise on the theory of Bessel functions", 1–2, Cambridge Univ. Press (1952) H.F. Weber, Zurich Vierteljahresschrift, 24 (1879) pp. 33–76 {{Reflist}} [[Category:Special functions]]
	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