10.13: 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/10.13.E8 10.13.E8] | | | [https://dlmf.nist.gov/10.13.E8 10.13.E8] || <math qid="Q3133">w^{(2n)} = (-1)^{n}\lambda^{2n}z^{-n}w</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>w^{(2n)} = (-1)^{n}\lambda^{2n}z^{-n}w</syntaxhighlight> || <math>w = z^{\frac{1}{2}n}\BesselC{n}@{2\lambda e^{k\pi\iunit/n}z^{\frac{1}{2}}}, k = 0</math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">(w)^(2*n) = (- 1)^(n)* (lambda)^(2*n)* (z)^(- n)* w</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">(w)^(2*n) == (- 1)^(n)* \[Lambda]^(2*n)* (z)^(- n)* w</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/10.13.E11 10.13.E11] | | | [https://dlmf.nist.gov/10.13.E11 10.13.E11] || <math qid="Q3136">\left(\vartheta^{4}-2(\nu^{2}+\mu^{2})\vartheta^{2}+(\nu^{2}-\mu^{2})^{2}\right)w+4z^{2}(\vartheta+1)(\vartheta+2)w = 0</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\left(\vartheta^{4}-2(\nu^{2}+\mu^{2})\vartheta^{2}+(\nu^{2}-\mu^{2})^{2}\right)w+4z^{2}(\vartheta+1)(\vartheta+2)w = 0</syntaxhighlight> || <math>w = \BesselC{\nu}@{z}\mathscr{D}_{\mu}(z).</math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">((vartheta)^(4)- 2*((nu)^(2)+ (mu)^(2))*(vartheta)^(2)+((nu)^(2)- (mu)^(2))^(2))*w + 4*(z)^(2)*(vartheta + 1)*(vartheta + 2)*w = 0</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">(\[CurlyTheta]^(4)- 2*(\[Nu]^(2)+ \[Mu]^(2))*\[CurlyTheta]^(2)+(\[Nu]^(2)- \[Mu]^(2))^(2))*w + 4*(z)^(2)*(\[CurlyTheta]+ 1)*(\[CurlyTheta]+ 2)*w == 0</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|} | |} | ||
</div> | </div> |
Latest revision as of 11:23, 28 June 2021
DLMF | Formula | Constraints | Maple | Mathematica | Symbolic Maple |
Symbolic Mathematica |
Numeric Maple |
Numeric Mathematica |
---|---|---|---|---|---|---|---|---|
10.13.E8 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle w^{(2n)} = (-1)^{n}\lambda^{2n}z^{-n}w}
w^{(2n)} = (-1)^{n}\lambda^{2n}z^{-n}w |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle w = z^{\frac{1}{2}n}\BesselC{n}@{2\lambda e^{k\pi\iunit/n}z^{\frac{1}{2}}}, k = 0} | (w)^(2*n) = (- 1)^(n)* (lambda)^(2*n)* (z)^(- n)* w |
(w)^(2*n) == (- 1)^(n)* \[Lambda]^(2*n)* (z)^(- n)* w |
Skipped - no semantic math | Skipped - no semantic math | - | - |
10.13.E11 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \left(\vartheta^{4}-2(\nu^{2}+\mu^{2})\vartheta^{2}+(\nu^{2}-\mu^{2})^{2}\right)w+4z^{2}(\vartheta+1)(\vartheta+2)w = 0}
\left(\vartheta^{4}-2(\nu^{2}+\mu^{2})\vartheta^{2}+(\nu^{2}-\mu^{2})^{2}\right)w+4z^{2}(\vartheta+1)(\vartheta+2)w = 0 |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle w = \BesselC{\nu}@{z}\mathscr{D}_{\mu}(z).} | ((vartheta)^(4)- 2*((nu)^(2)+ (mu)^(2))*(vartheta)^(2)+((nu)^(2)- (mu)^(2))^(2))*w + 4*(z)^(2)*(vartheta + 1)*(vartheta + 2)*w = 0 |
(\[CurlyTheta]^(4)- 2*(\[Nu]^(2)+ \[Mu]^(2))*\[CurlyTheta]^(2)+(\[Nu]^(2)- \[Mu]^(2))^(2))*w + 4*(z)^(2)*(\[CurlyTheta]+ 1)*(\[CurlyTheta]+ 2)*w == 0 |
Skipped - no semantic math | Skipped - no semantic math | - | - |