5.16: 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 | ||
|- | |- | ||
| [https://dlmf.nist.gov/5.16.E1 5.16.E1] | | | [https://dlmf.nist.gov/5.16.E1 5.16.E1] || <math qid="Q2178">\sum_{k=1}^{\infty}(-1)^{k}\digamma'@{k} = -\frac{\pi^{2}}{8}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\sum_{k=1}^{\infty}(-1)^{k}\digamma'@{k} = -\frac{\pi^{2}}{8}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>sum((- 1)^(k)* diff( Psi(k), k$(1) ), k = 1..infinity) = -((Pi)^(2))/(8)</syntaxhighlight> || <syntaxhighlight lang=mathematica>Sum[(- 1)^(k)* D[PolyGamma[k], {k, 1}], {k, 1, Infinity}, GenerateConditions->None] == -Divide[(Pi)^(2),8]</syntaxhighlight> || Failure || Successful || Successful [Tested: 0] || Successful [Tested: 1] | ||
|- | |- | ||
| [https://dlmf.nist.gov/5.16.E2 5.16.E2] | | | [https://dlmf.nist.gov/5.16.E2 5.16.E2] || <math qid="Q2179">\sum_{k=1}^{\infty}\frac{1}{k}\digamma'@{k+1} = \Riemannzeta@{3}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\sum_{k=1}^{\infty}\frac{1}{k}\digamma'@{k+1} = \Riemannzeta@{3}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>sum((1)/(k)*subs( temp=k + 1, diff( Psi(temp), temp$(1) ) ), k = 1..infinity) = Zeta(3)</syntaxhighlight> || <syntaxhighlight lang=mathematica>Sum[Divide[1,k]*(D[PolyGamma[temp], {temp, 1}]/.temp-> k + 1), {k, 1, Infinity}, GenerateConditions->None] == Zeta[3]</syntaxhighlight> || Failure || Successful || Successful [Tested: 0] || Successful [Tested: 1] | ||
|- | |- | ||
| [https://dlmf.nist.gov/5.16.E2 5.16.E2] | | | [https://dlmf.nist.gov/5.16.E2 5.16.E2] || <math qid="Q2179">\Riemannzeta@{3} = -\frac{1}{2}\digamma''@{1}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\Riemannzeta@{3} = -\frac{1}{2}\digamma''@{1}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>Zeta(3) = -(1)/(2)*subs( temp=1, diff( Psi(temp), temp$(2) ) )</syntaxhighlight> || <syntaxhighlight lang=mathematica>Zeta[3] == -Divide[1,2]*(D[PolyGamma[temp], {temp, 2}]/.temp-> 1)</syntaxhighlight> || Successful || Successful || Skip - symbolical successful subtest || Successful [Tested: 1] | ||
|} | |} | ||
</div> | </div> | ||
Latest revision as of 11:13, 28 June 2021
| DLMF | Formula | Constraints | Maple | Mathematica | Symbolic Maple |
Symbolic Mathematica |
Numeric Maple |
Numeric Mathematica |
|---|---|---|---|---|---|---|---|---|
| 5.16.E1 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \sum_{k=1}^{\infty}(-1)^{k}\digamma'@{k} = -\frac{\pi^{2}}{8}}
\sum_{k=1}^{\infty}(-1)^{k}\digamma'@{k} = -\frac{\pi^{2}}{8} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | sum((- 1)^(k)* diff( Psi(k), k$(1) ), k = 1..infinity) = -((Pi)^(2))/(8)
|
Sum[(- 1)^(k)* D[PolyGamma[k], {k, 1}], {k, 1, Infinity}, GenerateConditions->None] == -Divide[(Pi)^(2),8]
|
Failure | Successful | Successful [Tested: 0] | Successful [Tested: 1] |
| 5.16.E2 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \sum_{k=1}^{\infty}\frac{1}{k}\digamma'@{k+1} = \Riemannzeta@{3}}
\sum_{k=1}^{\infty}\frac{1}{k}\digamma'@{k+1} = \Riemannzeta@{3} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | sum((1)/(k)*subs( temp=k + 1, diff( Psi(temp), temp$(1) ) ), k = 1..infinity) = Zeta(3)
|
Sum[Divide[1,k]*(D[PolyGamma[temp], {temp, 1}]/.temp-> k + 1), {k, 1, Infinity}, GenerateConditions->None] == Zeta[3]
|
Failure | Successful | Successful [Tested: 0] | Successful [Tested: 1] |
| 5.16.E2 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \Riemannzeta@{3} = -\frac{1}{2}\digamma''@{1}}
\Riemannzeta@{3} = -\frac{1}{2}\digamma''@{1} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | Zeta(3) = -(1)/(2)*subs( temp=1, diff( Psi(temp), temp$(2) ) )
|
Zeta[3] == -Divide[1,2]*(D[PolyGamma[temp], {temp, 2}]/.temp-> 1)
|
Successful | Successful | Skip - symbolical successful subtest | Successful [Tested: 1] |