26.6: Difference between revisions
Jump to navigation
Jump to search
Admin moved page Main Page to Verifying DLMF with Maple and Mathematica |
Admin moved page Main Page to Verifying DLMF with Maple and Mathematica |
||
| Line 14: | Line 14: | ||
! scope="col" style="position: sticky; top: 0;" | Numeric<br>Mathematica | ! scope="col" style="position: sticky; top: 0;" | Numeric<br>Mathematica | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/26.6.E5 26.6.E5] | | | [https://dlmf.nist.gov/26.6.E5 26.6.E5] || <math qid="Q7807">\sum_{m,n=0}^{\infty}D(m,n)x^{m}y^{n} = \frac{1}{1-x-y-xy}</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\sum_{m,n=0}^{\infty}D(m,n)x^{m}y^{n} = \frac{1}{1-x-y-xy}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">sum(sum((sum(binomial(n,k)*binomial(m + n - k,n), k = 0..n))*(x)^(m)* (y)^(n), n = 0..infinity), m = 0..infinity) = (1)/(1 - x - y - x*y)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Sum[Sum[(Sum[Binomial[n,k]*Binomial[m + n - k,n], {k, 0, n}, GenerateConditions->None])*(x)^(m)* (y)^(n), {n, 0, Infinity}, GenerateConditions->None], {m, 0, Infinity}, GenerateConditions->None] == Divide[1,1 - x - y - x*y]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/26.6.E6 26.6.E6] | | | [https://dlmf.nist.gov/26.6.E6 26.6.E6] || <math qid="Q7808">\sum_{n=0}^{\infty}D(n,n)x^{n} = \frac{1}{\sqrt{1-6x+x^{2}}}</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\sum_{n=0}^{\infty}D(n,n)x^{n} = \frac{1}{\sqrt{1-6x+x^{2}}}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">sum(D(n , n)* (x)^(n), n = 0..infinity) = (1)/(sqrt(1 - 6*x + (x)^(2)))</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Sum[D[n , n]* (x)^(n), {n, 0, Infinity}, GenerateConditions->None] == Divide[1,Sqrt[1 - 6*x + (x)^(2)]]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/26.6.E7 26.6.E7] | | | [https://dlmf.nist.gov/26.6.E7 26.6.E7] || <math qid="Q7809">\sum_{n=0}^{\infty}M(n)x^{n} = \frac{1-x-\sqrt{1-2x-3x^{2}}}{2x^{2}}</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\sum_{n=0}^{\infty}M(n)x^{n} = \frac{1-x-\sqrt{1-2x-3x^{2}}}{2x^{2}}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">sum((sum(((- 1)^(k))/(n + 2 - k)*binomial(n,k)*binomial(2*n + 2 - 2*k,n + 1 - k), k = 0..n))*(x)^(n), n = 0..infinity) = (1 - x -sqrt(1 - 2*x - 3*(x)^(2)))/(2*(x)^(2))</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Sum[(Sum[Divide[(- 1)^(k),n + 2 - k]*Binomial[n,k]*Binomial[2*n + 2 - 2*k,n + 1 - k], {k, 0, n}, GenerateConditions->None])*(x)^(n), {n, 0, Infinity}, GenerateConditions->None] == Divide[1 - x -Sqrt[1 - 2*x - 3*(x)^(2)],2*(x)^(2)]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/26.6.E8 26.6.E8] | | | [https://dlmf.nist.gov/26.6.E8 26.6.E8] || <math qid="Q7810">\sum_{n,k=1}^{\infty}N(n,k)x^{n}y^{k} = \frac{1-x-xy-\sqrt{(1-x-xy)^{2}-4x^{2}y}}{2x}</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\sum_{n,k=1}^{\infty}N(n,k)x^{n}y^{k} = \frac{1-x-xy-\sqrt{(1-x-xy)^{2}-4x^{2}y}}{2x}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">sum(sum(((1)/(n)*binomial(n,k)*binomial(n,k - 1))*(x)^(n)* (y)^(k), k = 1..infinity), n = 1..infinity) = (1 - x - x*y -sqrt((1 - x - x*y)^(2)- 4*(x)^(2)* y))/(2*x)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Sum[Sum[(Divide[1,n]*Binomial[n,k]*Binomial[n,k - 1])*(x)^(n)* (y)^(k), {k, 1, Infinity}, GenerateConditions->None], {n, 1, Infinity}, GenerateConditions->None] == Divide[1 - x - x*y -Sqrt[(1 - x - x*y)^(2)- 4*(x)^(2)* y],2*x]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/26.6.E9 26.6.E9] | | | [https://dlmf.nist.gov/26.6.E9 26.6.E9] || <math qid="Q7811">\sum_{n=0}^{\infty}r(n)x^{n} = \frac{1-x-\sqrt{1-6x+x^{2}}}{2x}</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\sum_{n=0}^{\infty}r(n)x^{n} = \frac{1-x-\sqrt{1-6x+x^{2}}}{2x}</syntaxhighlight> || <math>n \geq 1</math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">sum((D(n , n)- D(n + 1 , n - 1))*(x)^(n), n = 0..infinity) = (1 - x -sqrt(1 - 6*x + (x)^(2)))/(2*x)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Sum[(D[n , n]- D[n + 1 , n - 1])*(x)^(n), {n, 0, Infinity}, GenerateConditions->None] == Divide[1 - x -Sqrt[1 - 6*x + (x)^(2)],2*x]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/26.6.E10 26.6.E10] | | | [https://dlmf.nist.gov/26.6.E10 26.6.E10] || <math qid="Q7812">D(m,n) = D(m,n-1)+D(m-1,n)+D(m-1,n-1)</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>D(m,n) = D(m,n-1)+D(m-1,n)+D(m-1,n-1)</syntaxhighlight> || <math>m \geq 1, n \geq 1</math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">(sum(binomial(n,k)*binomial(m + n - k,n), k = 0..n)) = D(m , n - 1)+ D(m - 1 , n)+ D(m - 1 , n - 1)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">(Sum[Binomial[n,k]*Binomial[m + n - k,n], {k, 0, n}, GenerateConditions->None]) == D[m , n - 1]+ D[m - 1 , n]+ D[m - 1 , n - 1]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/26.6.E11 26.6.E11] | | | [https://dlmf.nist.gov/26.6.E11 26.6.E11] || <math qid="Q7813">M(n) = M(n-1)+\sum_{k=2}^{n}M(k-2)\,M(n-k)</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>M(n) = M(n-1)+\sum_{k=2}^{n}M(k-2)\,M(n-k)</syntaxhighlight> || <math>n \geq 2</math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">(sum(((- 1)^(k))/(n + 2 - k)*binomial(n,k)*binomial(2*n + 2 - 2*k,n + 1 - k), k = 0..n)) = M*(n - 1)+ sum(M*(k - 2)*M*(n - k), k = 2..n)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">(Sum[Divide[(- 1)^(k),n + 2 - k]*Binomial[n,k]*Binomial[2*n + 2 - 2*k,n + 1 - k], {k, 0, n}, GenerateConditions->None]) == M*(n - 1)+ Sum[M*(k - 2)*M*(n - k), {k, 2, n}, GenerateConditions->None]</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|} | |} | ||
</div> | </div> | ||
Latest revision as of 12:05, 28 June 2021
| DLMF | Formula | Constraints | Maple | Mathematica | Symbolic Maple |
Symbolic Mathematica |
Numeric Maple |
Numeric Mathematica |
|---|---|---|---|---|---|---|---|---|
| 26.6.E5 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \sum_{m,n=0}^{\infty}D(m,n)x^{m}y^{n} = \frac{1}{1-x-y-xy}}
\sum_{m,n=0}^{\infty}D(m,n)x^{m}y^{n} = \frac{1}{1-x-y-xy} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | sum(sum((sum(binomial(n,k)*binomial(m + n - k,n), k = 0..n))*(x)^(m)* (y)^(n), n = 0..infinity), m = 0..infinity) = (1)/(1 - x - y - x*y) |
Sum[Sum[(Sum[Binomial[n,k]*Binomial[m + n - k,n], {k, 0, n}, GenerateConditions->None])*(x)^(m)* (y)^(n), {n, 0, Infinity}, GenerateConditions->None], {m, 0, Infinity}, GenerateConditions->None] == Divide[1,1 - x - y - x*y] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
| 26.6.E6 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \sum_{n=0}^{\infty}D(n,n)x^{n} = \frac{1}{\sqrt{1-6x+x^{2}}}}
\sum_{n=0}^{\infty}D(n,n)x^{n} = \frac{1}{\sqrt{1-6x+x^{2}}} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | sum(D(n , n)* (x)^(n), n = 0..infinity) = (1)/(sqrt(1 - 6*x + (x)^(2))) |
Sum[D[n , n]* (x)^(n), {n, 0, Infinity}, GenerateConditions->None] == Divide[1,Sqrt[1 - 6*x + (x)^(2)]] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
| 26.6.E7 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \sum_{n=0}^{\infty}M(n)x^{n} = \frac{1-x-\sqrt{1-2x-3x^{2}}}{2x^{2}}}
\sum_{n=0}^{\infty}M(n)x^{n} = \frac{1-x-\sqrt{1-2x-3x^{2}}}{2x^{2}} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | sum((sum(((- 1)^(k))/(n + 2 - k)*binomial(n,k)*binomial(2*n + 2 - 2*k,n + 1 - k), k = 0..n))*(x)^(n), n = 0..infinity) = (1 - x -sqrt(1 - 2*x - 3*(x)^(2)))/(2*(x)^(2)) |
Sum[(Sum[Divide[(- 1)^(k),n + 2 - k]*Binomial[n,k]*Binomial[2*n + 2 - 2*k,n + 1 - k], {k, 0, n}, GenerateConditions->None])*(x)^(n), {n, 0, Infinity}, GenerateConditions->None] == Divide[1 - x -Sqrt[1 - 2*x - 3*(x)^(2)],2*(x)^(2)] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
| 26.6.E8 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \sum_{n,k=1}^{\infty}N(n,k)x^{n}y^{k} = \frac{1-x-xy-\sqrt{(1-x-xy)^{2}-4x^{2}y}}{2x}}
\sum_{n,k=1}^{\infty}N(n,k)x^{n}y^{k} = \frac{1-x-xy-\sqrt{(1-x-xy)^{2}-4x^{2}y}}{2x} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | sum(sum(((1)/(n)*binomial(n,k)*binomial(n,k - 1))*(x)^(n)* (y)^(k), k = 1..infinity), n = 1..infinity) = (1 - x - x*y -sqrt((1 - x - x*y)^(2)- 4*(x)^(2)* y))/(2*x) |
Sum[Sum[(Divide[1,n]*Binomial[n,k]*Binomial[n,k - 1])*(x)^(n)* (y)^(k), {k, 1, Infinity}, GenerateConditions->None], {n, 1, Infinity}, GenerateConditions->None] == Divide[1 - x - x*y -Sqrt[(1 - x - x*y)^(2)- 4*(x)^(2)* y],2*x] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
| 26.6.E9 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \sum_{n=0}^{\infty}r(n)x^{n} = \frac{1-x-\sqrt{1-6x+x^{2}}}{2x}}
\sum_{n=0}^{\infty}r(n)x^{n} = \frac{1-x-\sqrt{1-6x+x^{2}}}{2x} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle n \geq 1} | sum((D(n , n)- D(n + 1 , n - 1))*(x)^(n), n = 0..infinity) = (1 - x -sqrt(1 - 6*x + (x)^(2)))/(2*x) |
Sum[(D[n , n]- D[n + 1 , n - 1])*(x)^(n), {n, 0, Infinity}, GenerateConditions->None] == Divide[1 - x -Sqrt[1 - 6*x + (x)^(2)],2*x] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
| 26.6.E10 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle D(m,n) = D(m,n-1)+D(m-1,n)+D(m-1,n-1)}
D(m,n) = D(m,n-1)+D(m-1,n)+D(m-1,n-1) |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle m \geq 1, n \geq 1} | (sum(binomial(n,k)*binomial(m + n - k,n), k = 0..n)) = D(m , n - 1)+ D(m - 1 , n)+ D(m - 1 , n - 1) |
(Sum[Binomial[n,k]*Binomial[m + n - k,n], {k, 0, n}, GenerateConditions->None]) == D[m , n - 1]+ D[m - 1 , n]+ D[m - 1 , n - 1] |
Skipped - no semantic math | Skipped - no semantic math | - | - |
| 26.6.E11 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle M(n) = M(n-1)+\sum_{k=2}^{n}M(k-2)\,M(n-k)}
M(n) = M(n-1)+\sum_{k=2}^{n}M(k-2)\,M(n-k) |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle n \geq 2} | (sum(((- 1)^(k))/(n + 2 - k)*binomial(n,k)*binomial(2*n + 2 - 2*k,n + 1 - k), k = 0..n)) = M*(n - 1)+ sum(M*(k - 2)*M*(n - k), k = 2..n) |
(Sum[Divide[(- 1)^(k),n + 2 - k]*Binomial[n,k]*Binomial[2*n + 2 - 2*k,n + 1 - k], {k, 0, n}, GenerateConditions->None]) == M*(n - 1)+ Sum[M*(k - 2)*M*(n - k), {k, 2, n}, GenerateConditions->None] |
Skipped - no semantic math | Skipped - no semantic math | - | - |