10.29: 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/10.29#Ex5 10.29#Ex5] | | | [https://dlmf.nist.gov/10.29#Ex5 10.29#Ex5] || <math qid="Q3508">\modBesselI{0}'@{z} = \modBesselI{1}@{z}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\modBesselI{0}'@{z} = \modBesselI{1}@{z}</syntaxhighlight> || <math>\realpart@@{(0+k+1)} > 0, \realpart@@{(1+k+1)} > 0</math> || <syntaxhighlight lang=mathematica>diff( BesselI(0, z), z$(1) ) = BesselI(1, z)</syntaxhighlight> || <syntaxhighlight lang=mathematica>D[BesselI[0, z], {z, 1}] == BesselI[1, z]</syntaxhighlight> || Successful || Successful || - || Successful [Tested: 7] | ||
|- | |- | ||
| [https://dlmf.nist.gov/10.29#Ex6 10.29#Ex6] | | | [https://dlmf.nist.gov/10.29#Ex6 10.29#Ex6] || <math qid="Q3509">\modBesselK{0}'@{z} = -\modBesselK{1}@{z}</math><br><syntaxhighlight lang="tex" style="font-size: 75%;" inline>\modBesselK{0}'@{z} = -\modBesselK{1}@{z}</syntaxhighlight> || <math></math> || <syntaxhighlight lang=mathematica>diff( BesselK(0, z), z$(1) ) = - BesselK(1, z)</syntaxhighlight> || <syntaxhighlight lang=mathematica>D[BesselK[0, z], {z, 1}] == - BesselK[1, z]</syntaxhighlight> || Successful || Successful || - || Successful [Tested: 7] | ||
|} | |} | ||
</div> | </div> | ||
Latest revision as of 11:25, 28 June 2021
| DLMF | Formula | Constraints | Maple | Mathematica | Symbolic Maple |
Symbolic Mathematica |
Numeric Maple |
Numeric Mathematica |
|---|---|---|---|---|---|---|---|---|
| 10.29#Ex5 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \modBesselI{0}'@{z} = \modBesselI{1}@{z}}
\modBesselI{0}'@{z} = \modBesselI{1}@{z} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \realpart@@{(0+k+1)} > 0, \realpart@@{(1+k+1)} > 0} | diff( BesselI(0, z), z$(1) ) = BesselI(1, z)
|
D[BesselI[0, z], {z, 1}] == BesselI[1, z]
|
Successful | Successful | - | Successful [Tested: 7] |
| 10.29#Ex6 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \modBesselK{0}'@{z} = -\modBesselK{1}@{z}}
\modBesselK{0}'@{z} = -\modBesselK{1}@{z} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | diff( BesselK(0, z), z$(1) ) = - BesselK(1, z)
|
D[BesselK[0, z], {z, 1}] == - BesselK[1, z]
|
Successful | Successful | - | Successful [Tested: 7] |