Results of Struve and Related Functions: Difference between revisions

VisualWikitext

Latest revision as of 17:02, 25 May 2021

Notation: 11.1 Special Notation
Struve and Modified Struve Functions: 11.2 Definitions
11.3 Graphics
11.4 Basic Properties
11.5 Integral Representations
11.6 Asymptotic Expansions
11.7 Integrals and Sums
11.8 Analogs to Kelvin Functions
Related Functions: 11.9 Lommel Functions
11.10 Anger–Weber Functions
11.11 Asymptotic Expansions of Anger–Weber Functions
Applications: 11.12 Physical Applications
Computation: 11.13 Methods of Computation
11.14 Tables
11.15 Approximations
11.16 Software

@@ Line 1: / Line 1: @@
-{| class="wikitable sortable"
+<div style="-moz-column-count:2; column-count:2;">
-|-
+; Notation : [[11.1|11.1 Special Notation]]<br>
-! DLMF !! Formula !! Maple !! Mathematica !! Symbolic<br>Maple !! Symbolic<br>Mathematica !! Numeric<br>Maple !! Numeric<br>Mathematica
+; Struve and Modified Struve Functions : [[11.2|11.2 Definitions]]<br>[[11.3|11.3 Graphics]]<br>[[11.4|11.4 Basic Properties]]<br>[[11.5|11.5 Integral Representations]]<br>[[11.6|11.6 Asymptotic Expansions]]<br>[[11.7|11.7 Integrals and Sums]]<br>[[11.8|11.8 Analogs to Kelvin Functions]]<br>
-|-
+; Related Functions : [[11.9|11.9 Lommel Functions]]<br>[[11.10|11.10 Anger–Weber Functions]]<br>[[11.11|11.11 Asymptotic Expansions of Anger–Weber Functions]]<br>
-| [https://dlmf.nist.gov/11.2.E1 11.2.E1] || [[Item:Q3916|<math>\StruveH{\nu}@{z} = (\tfrac{1}{2}z)^{\nu+1}\sum_{n=0}^{\infty}\frac{(-1)^{n}(\tfrac{1}{2}z)^{2n}}{\EulerGamma@{n+\tfrac{3}{2}}\EulerGamma@{n+\nu+\tfrac{3}{2}}}</math>]] || <code>StruveH(nu, z) = ((1)/(2)*z)^(nu + 1)* sum(((- 1)^(n)*((1)/(2)*z)^(2*n))/(GAMMA(n +(3)/(2))*GAMMA(n + nu +(3)/(2))), n = 0..infinity)</code> || <code>StruveH[\[Nu], z] == (Divide[1,2]*z)^(\[Nu]+ 1)* Sum[Divide[(- 1)^(n)*(Divide[1,2]*z)^(2*n),Gamma[n +Divide[3,2]]*Gamma[n + \[Nu]+Divide[3,2]]], {n, 0, Infinity}, GenerateConditions->None]</code> || Successful || Successful || - || Successful [Tested: 70]
+; Applications : [[11.12|11.12 Physical Applications]]<br>
-|-
+; Computation : [[11.13|11.13 Methods of Computation]]<br>[[11.14|11.14 Tables]]<br>[[11.15|11.15 Approximations]]<br>[[11.16|11.16 Software]]<br>
-| [https://dlmf.nist.gov/11.2.E2 11.2.E2] || [[Item:Q3917|<math>\modStruveL{\nu}@{z} = -ie^{-\frac{1}{2}\pi i\nu}\StruveH{\nu}@{iz}</math>]] || <code>StruveL(nu, z) = - I*exp(-(1)/(2)*Pi*I*nu)*StruveH(nu, I*z)</code> || <code>StruveL[\[Nu], z] == - I*Exp[-Divide[1,2]*Pi*I*\[Nu]]*StruveH[\[Nu], I*z]</code> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [8 / 70]<div class="mw-collapsible-content"><code>8/70]: [[1.240284959+1.629557917*I <- {nu = 1/2*3^(1/2)+1/2*I, z = -1/2+1/2*I*3^(1/2)}</code><br><code>33.65868914+29.08337177*I <- {nu = -1/2+1/2*I*3^(1/2), z = -1/2+1/2*I*3^(1/2)}</code><br></div></div> || <div class="toccolours mw-collapsible mw-collapsed">Failed [8 / 70]<div class="mw-collapsible-content"><code>{Complex[1.2402849561066787, 1.6295579188731661] <- {Rule[z, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</code><br><code>Complex[33.658689094091635, 29.08337174056143] <- {Rule[z, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</code><br></div></div>
+</div>
-|-
-| [https://dlmf.nist.gov/11.2.E2 11.2.E2] || [[Item:Q3917|<math>-ie^{-\frac{1}{2}\pi i\nu}\StruveH{\nu}@{iz} = (\tfrac{1}{2}z)^{\nu+1}\sum_{n=0}^{\infty}\frac{(\tfrac{1}{2}z)^{2n}}{\EulerGamma@{n+\tfrac{3}{2}}\EulerGamma@{n+\nu+\tfrac{3}{2}}}</math>]] || <code>- I*exp(-(1)/(2)*Pi*I*nu)*StruveH(nu, I*z) = ((1)/(2)*z)^(nu + 1)* sum((((1)/(2)*z)^(2*n))/(GAMMA(n +(3)/(2))*GAMMA(n + nu +(3)/(2))), n = 0..infinity)</code> || <code>- I*Exp[-Divide[1,2]*Pi*I*\[Nu]]*StruveH[\[Nu], I*z] == (Divide[1,2]*z)^(\[Nu]+ 1)* Sum[Divide[(Divide[1,2]*z)^(2*n),Gamma[n +Divide[3,2]]*Gamma[n + \[Nu]+Divide[3,2]]], {n, 0, Infinity}, GenerateConditions->None]</code> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [8 / 70]<div class="mw-collapsible-content"><code>8/70]: [[-1.240284959-1.629557917*I <- {nu = 1/2*3^(1/2)+1/2*I, z = -1/2+1/2*I*3^(1/2)}</code><br><code>-33.65868914-29.08337177*I <- {nu = -1/2+1/2*I*3^(1/2), z = -1/2+1/2*I*3^(1/2)}</code><br></div></div> || <div class="toccolours mw-collapsible mw-collapsed">Failed [8 / 70]<div class="mw-collapsible-content"><code>{Complex[-1.2402849561066787, -1.6295579188731661] <- {Rule[z, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</code><br><code>Complex[-33.658689094091635, -29.08337174056143] <- {Rule[z, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</code><br></div></div>
-|-
-| [https://dlmf.nist.gov/11.2.E5 11.2.E5] || [[Item:Q3920|<math>\StruveK{\nu}@{z} = \StruveH{\nu}@{z}-\BesselY{\nu}@{z}</math>]] || <code>StruveH(nu, z) - BesselY(nu, z) = StruveH(nu, z)- BesselY(nu, z)</code> || <code>StruveH[\[Nu], z] - BesselY[\[Nu], z] == StruveH[\[Nu], z]- BesselY[\[Nu], z]</code> || Successful || Successful || - || Successful [Tested: 70]
-|-
-| [https://dlmf.nist.gov/11.2.E6 11.2.E6] || [[Item:Q3921|<math>\modStruveM{\nu}@{z} = \modStruveL{\nu}@{z}-\modBesselI{\nu}@{z}</math>]] || <code>StruveL(nu, z) - BesselI(nu, z) = StruveL(nu, z)- BesselI(nu, z)</code> || <code>StruveL[\[Nu], z] - BesselI[\[Nu], z] == StruveL[\[Nu], z]- BesselI[\[Nu], z]</code> || Successful || Successful || - || Successful [Tested: 70]
-|-
-| [https://dlmf.nist.gov/11.2.E7 11.2.E7] || [[Item:Q3922|<math>\deriv[2]{w}{z}+\frac{1}{z}\deriv{w}{z}+\left(1-\frac{\nu^{2}}{z^{2}}\right)w = \frac{(\tfrac{1}{2}z)^{\nu-1}}{\sqrt{\pi}\EulerGamma@{\nu+\tfrac{1}{2}}}</math>]] || <code>diff(w, [z$(2)])+(1)/(z)*diff(w, z)+(1 -((nu)^(2))/((z)^(2)))* w = (((1)/(2)*z)^(nu - 1))/(sqrt(Pi)*GAMMA(nu +(1)/(2)))</code> || <code>D[w, {z, 2}]+Divide[1,z]*D[w, z]+(1 -Divide[\[Nu]^(2),(z)^(2)])* w == Divide[(Divide[1,2]*z)^(\[Nu]- 1),Sqrt[Pi]*Gamma[\[Nu]+Divide[1,2]]]</code> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><code>300/300]: [[-.5630887369+.2307852889*I <- {nu = 1/2*3^(1/2)+1/2*I, w = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I}</code><br><code>1.502962248+1.156533180*I <- {nu = 1/2*3^(1/2)+1/2*I, w = 1/2*3^(1/2)+1/2*I, z = -1/2+1/2*I*3^(1/2)}</code><br></div></div> || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><code>{Complex[-0.563088736999922, 0.23078528896155245] <- {Rule[w, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</code><br><code>Complex[-0.3603758852198513, 0.9342077190875079] <- {Rule[w, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[-1, 3]], Pi]]]}</code><br></div></div>
-|-
-| [https://dlmf.nist.gov/11.2.E8 11.2.E8] || [[Item:Q3923|<math>w = \StruveH{\nu}@{z},\StruveK{\nu}@{z}</math>]] || <code>w = StruveH(nu, z), StruveH(nu, z) - BesselY(nu, z)</code> || <code>w == StruveH[\[Nu], z], StruveH[\[Nu], z] - BesselY[\[Nu], z]</code> || Failure || Failure || Error || Error
-|-
-| [https://dlmf.nist.gov/11.2.E9 11.2.E9] || [[Item:Q3924|<math>\deriv[2]{w}{z}+\frac{1}{z}\deriv{w}{z}-\left(1+\frac{\nu^{2}}{z^{2}}\right)w = \frac{(\tfrac{1}{2}z)^{\nu-1}}{\sqrt{\pi}\EulerGamma@{\nu+\tfrac{1}{2}}}</math>]] || <code>diff(w, [z$(2)])+(1)/(z)*diff(w, z)-(1 +((nu)^(2))/((z)^(2)))* w = (((1)/(2)*z)^(nu - 1))/(sqrt(Pi)*GAMMA(nu +(1)/(2)))</code> || <code>D[w, {z, 2}]+Divide[1,z]*D[w, z]-(1 +Divide[\[Nu]^(2),(z)^(2)])* w == Divide[(Divide[1,2]*z)^(\[Nu]- 1),Sqrt[Pi]*Gamma[\[Nu]+Divide[1,2]]]</code> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><code>300/300]: [[-2.295139545-.7692147111*I <- {nu = 1/2*3^(1/2)+1/2*I, w = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I}</code><br><code>-.2290885595+.1565331804*I <- {nu = 1/2*3^(1/2)+1/2*I, w = 1/2*3^(1/2)+1/2*I, z = -1/2+1/2*I*3^(1/2)}</code><br></div></div> || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><code>{Complex[-2.2951395445687996, -0.7692147110384474] <- {Rule[w, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</code><br><code>Complex[-2.0924266927887287, -0.06579228091249201] <- {Rule[w, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[-1, 3]], Pi]]]}</code><br></div></div>
-|-
-| [https://dlmf.nist.gov/11.2.E10 11.2.E10] || [[Item:Q3925|<math>w = \modStruveL{\nu}@{z},\modStruveM{\nu}@{z}</math>]] || <code>w = StruveL(nu, z), StruveL(nu, z) - BesselI(nu, z)</code> || <code>w == StruveL[\[Nu], z], StruveL[\[Nu], z] - BesselI[\[Nu], z]</code> || Failure || Failure || Error || Error
-|-
-| [https://dlmf.nist.gov/11.2.E11 11.2.E11] || [[Item:Q3926|<math>w = \StruveH{\nu}@{x}+A\BesselJ{\nu}@{x}+B\BesselY{\nu}@{x}</math>]] || <code>w = StruveH(nu, x)+ A*BesselJ(nu, x)+ B*BesselY(nu, x)</code> || <code>w == StruveH[\[Nu], x]+ A*BesselJ[\[Nu], x]+ B*BesselY[\[Nu], x]</code> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><code>300/300]: [[-.568729179e-1+1.004857129*I <- {A = 1/2*3^(1/2)+1/2*I, B = 1/2*3^(1/2)+1/2*I, nu = 1/2*3^(1/2)+1/2*I, w = 1/2*3^(1/2)+1/2*I, x = 3/2}</code><br><code>1.306236381+1.613216681*I <- {A = 1/2*3^(1/2)+1/2*I, B = 1/2*3^(1/2)+1/2*I, nu = 1/2*3^(1/2)+1/2*I, w = 1/2*3^(1/2)+1/2*I, x = 1/2}</code><br></div></div> || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><code>{Complex[-0.056872918319905263, 1.0048571288175818] <- {Rule[A, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[B, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[w, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[x, 1.5], Rule[ν, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</code><br><code>Complex[-1.7531990546092198, -1.6096988531229037] <- {Rule[A, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[B, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[w, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[x, 1.5], Rule[ν, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</code><br></div></div>
-|-
-| [https://dlmf.nist.gov/11.2.E12 11.2.E12] || [[Item:Q3927|<math>w = \StruveK{\nu}@{x}+A\BesselJ{\nu}@{x}+B\BesselY{\nu}@{x}</math>]] || <code>w = StruveH(nu, x) - BesselY(nu, x)+ A*BesselJ(nu, x)+ B*BesselY(nu, x)</code> || <code>w == StruveH[\[Nu], x] - BesselY[\[Nu], x]+ A*BesselJ[\[Nu], x]+ B*BesselY[\[Nu], x]</code> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><code>300/300]: [[-.4449553305+.6668360043*I <- {A = 1/2*3^(1/2)+1/2*I, B = 1/2*3^(1/2)+1/2*I, nu = 1/2*3^(1/2)+1/2*I, w = 1/2*3^(1/2)+1/2*I, x = 3/2}</code><br><code>.1477245032+1.196204678*I <- {A = 1/2*3^(1/2)+1/2*I, B = 1/2*3^(1/2)+1/2*I, nu = 1/2*3^(1/2)+1/2*I, w = 1/2*3^(1/2)+1/2*I, x = 1/2}</code><br></div></div> || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><code>{Complex[-0.4449553308212987, 0.6668360040225405] <- {Rule[A, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[B, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[w, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[x, 1.5], Rule[ν, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</code><br><code>Complex[-0.2518593906559602, -2.1242453536287655] <- {Rule[A, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[B, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[w, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[x, 1.5], Rule[ν, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</code><br></div></div>
-|-
-| [https://dlmf.nist.gov/11.2.E13 11.2.E13] || [[Item:Q3928|<math>w = \StruveH{\nu}@{z}+A\BesselJ{\nu}@{z}+B\HankelH{1}{\nu}@{z}</math>]] || <code>w = StruveH(nu, z)+ A*BesselJ(nu, z)+ B*HankelH1(nu, z)</code> || <code>w == StruveH[\[Nu], z]+ A*BesselJ[\[Nu], z]+ B*HankelH1[\[Nu], z]</code> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><code>300/300]: [[-.4180841979+.8728935730*I <- {A = 1/2*3^(1/2)+1/2*I, B = 1/2*3^(1/2)+1/2*I, nu = 1/2*3^(1/2)+1/2*I, w = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I}</code><br><code>1.928541044+.4861253769*I <- {A = 1/2*3^(1/2)+1/2*I, B = 1/2*3^(1/2)+1/2*I, nu = 1/2*3^(1/2)+1/2*I, w = 1/2*3^(1/2)+1/2*I, z = -1/2+1/2*I*3^(1/2)}</code><br></div></div> || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><code>{Complex[-0.4180841980733331, 0.8728935728522607] <- {Rule[A, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[B, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[w, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</code><br><code>Complex[-2.285405641595042, -1.3320778184897675] <- {Rule[A, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[B, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[w, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</code><br></div></div>
-|-
-| [https://dlmf.nist.gov/11.2.E14 11.2.E14] || [[Item:Q3929|<math>w = \StruveH{\nu}@{z}+A\BesselJ{\nu}@{z}+B\HankelH{2}{\nu}@{z}</math>]] || <code>w = StruveH(nu, z)+ A*BesselJ(nu, z)+ B*HankelH2(nu, z)</code> || <code>w == StruveH[\[Nu], z]+ A*BesselJ[\[Nu], z]+ B*HankelH2[\[Nu], z]</code> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><code>300/300]: [[.1098269700-.5965662020*I <- {A = 1/2*3^(1/2)+1/2*I, B = 1/2*3^(1/2)+1/2*I, nu = 1/2*3^(1/2)+1/2*I, w = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I}</code><br><code>.3171413600-.3710144720*I <- {A = 1/2*3^(1/2)+1/2*I, B = 1/2*3^(1/2)+1/2*I, nu = 1/2*3^(1/2)+1/2*I, w = 1/2*3^(1/2)+1/2*I, z = -1/2+1/2*I*3^(1/2)}</code><br></div></div> || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><code>{Complex[0.109826969919957, -0.5965662019254474] <- {Rule[A, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[B, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[w, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</code><br><code>Complex[-0.9889109079558663, -0.015623729667162342] <- {Rule[A, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[B, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[w, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</code><br></div></div>
-|-
-| [https://dlmf.nist.gov/11.2.E15 11.2.E15] || [[Item:Q3930|<math>w = \StruveK{\nu}@{z}+A\HankelH{1}{\nu}@{z}+B\HankelH{2}{\nu}@{z}</math>]] || <code>w = StruveH(nu, z) - BesselY(nu, z)+ A*HankelH1(nu, z)+ B*HankelH2(nu, z)</code> || <code>w == StruveH[\[Nu], z] - BesselY[\[Nu], z]+ A*HankelH1[\[Nu], z]+ B*HankelH2[\[Nu], z]</code> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><code>300/300]: [[-.9224011534+.2769363875*I <- {A = 1/2*3^(1/2)+1/2*I, B = 1/2*3^(1/2)+1/2*I, nu = 1/2*3^(1/2)+1/2*I, w = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I}</code><br><code>1.154538681+.9695969456*I <- {A = 1/2*3^(1/2)+1/2*I, B = 1/2*3^(1/2)+1/2*I, nu = 1/2*3^(1/2)+1/2*I, w = 1/2*3^(1/2)+1/2*I, z = -1/2+1/2*I*3^(1/2)}</code><br></div></div> || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><code>{Complex[-0.9224011534734378, 0.27693638794598185] <- {Rule[A, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[B, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[w, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</code><br><code>Complex[-1.3912406162671118, -1.5643629838862487] <- {Rule[A, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[B, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[w, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</code><br></div></div>
-|-
-| [https://dlmf.nist.gov/11.2.E16 11.2.E16] || [[Item:Q3931|<math>w = \modStruveL{\nu}@{z}+A\modBesselK{\nu}@{z}+B\modBesselI{\nu}@{z}</math>]] || <code>w = StruveL(nu, z)+ A*BesselK(nu, z)+ B*BesselI(nu, z)</code> || <code>w == StruveL[\[Nu], z]+ A*BesselK[\[Nu], z]+ B*BesselI[\[Nu], z]</code> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><code>300/300]: [[-.4427134717+.1412701443*I <- {A = 1/2*3^(1/2)+1/2*I, B = 1/2*3^(1/2)+1/2*I, nu = 1/2*3^(1/2)+1/2*I, w = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I}</code><br><code>.8499113341+3.412421345*I <- {A = 1/2*3^(1/2)+1/2*I, B = 1/2*3^(1/2)+1/2*I, nu = 1/2*3^(1/2)+1/2*I, w = 1/2*3^(1/2)+1/2*I, z = -1/2+1/2*I*3^(1/2)}</code><br></div></div> || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><code>{Complex[-0.4427134718200613, 0.1412701442672558] <- {Rule[A, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[B, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[w, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</code><br><code>Complex[-1.8647663358395983, -0.37009195882490975] <- {Rule[A, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[B, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[w, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</code><br></div></div>
-|-
-| [https://dlmf.nist.gov/11.2.E17 11.2.E17] || [[Item:Q3932|<math>w = \modStruveM{\nu}@{z}+A\modBesselK{\nu}@{z}+B\modBesselI{\nu}@{z}</math>]] || <code>w = StruveL(nu, z) - BesselI(nu, z)+ A*BesselK(nu, z)+ B*BesselI(nu, z)</code> || <code>w == StruveL[\[Nu], z] - BesselI[\[Nu], z]+ A*BesselK[\[Nu], z]+ B*BesselI[\[Nu], z]</code> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><code>300/300]: [[.876284277e-1+.1517241441*I <- {A = 1/2*3^(1/2)+1/2*I, B = 1/2*3^(1/2)+1/2*I, nu = 1/2*3^(1/2)+1/2*I, w = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I}</code><br><code>.9234962821+3.599925727*I <- {A = 1/2*3^(1/2)+1/2*I, B = 1/2*3^(1/2)+1/2*I, nu = 1/2*3^(1/2)+1/2*I, w = 1/2*3^(1/2)+1/2*I, z = -1/2+1/2*I*3^(1/2)}</code><br></div></div> || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><code>{Complex[0.08762842754807953, 0.15172414402816306] <- {Rule[A, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[B, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[w, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</code><br><code>Complex[-0.09828151494898707, -0.22324970290386212] <- {Rule[A, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[B, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[w, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</code><br></div></div>
-|-
-| [https://dlmf.nist.gov/11.4.E1 11.4.E1] || [[Item:Q3933|<math>\StruveK{n+\frac{1}{2}}@{z} = \left(\frac{2}{\pi z}\right)^{\frac{1}{2}}\sum_{m=0}^{n}\frac{(2m)!\,2^{-2m}}{m!\,(n-m)!}\,(\tfrac{1}{2}z)^{n-2m}</math>]] || <code>StruveH(n +(1)/(2), z) - BesselY(n +(1)/(2), z) = ((2)/(Pi*z))^((1)/(2))* sum((factorial(2*m)*(2)^(- 2*m))/(factorial(m)*factorial(n - m))*((1)/(2)*z)^(n - 2*m), m = 0..n)</code> || <code>StruveH[n +Divide[1,2], z] - BesselY[n +Divide[1,2], z] == (Divide[2,Pi*z])^(Divide[1,2])* Sum[Divide[(2*m)!*(2)^(- 2*m),(m)!*(n - m)!]*(Divide[1,2]*z)^(n - 2*m), {m, 0, n}, GenerateConditions->None]</code> || Error || Failure || - || <div class="toccolours mw-collapsible mw-collapsed">Failed [6 / 21]<div class="mw-collapsible-content"><code>{Plus[0.9229158558166265, Times[-0.4886025119029198, DifferenceRoot[Function[{, } <- {Equal[Plus[Times[4, []], Times[Plus[-18, Times[-8, ]], [Plus[1, ]]], Times[Plus[30, Times[22, ], Times[4, Power[, 2]], Power[1.5, 2]], [Plus[2, ]]], Times[-1, Plus[3, ], Power[1.5, 2], [Plus[3, ]]]], 0], Equal[[1], Plus[1, Times[2, Power[1.5, -2]]]], Equal[[2], Plus[Rational[1, 2], Times[12, Power[1.5, -4]], Times[2, Power[1.5, -2]]]], Equal[[3], Plus[Rational[1, 6], Times[120, Power[1.5, -6]], Times[12, Power[1.5, -4]], Power[1.5, -2]]], Equal[[4], Plus[Rational[1, 24], Times[1680, Power[1.5, -8]], Times[120, Power[1.5, -6]], Times[6, Power[1.5, -4]], Times[Rational[1, 3], Power[1.5, -2]]]]}]][1.0]]], {Rule[n, 1], Rule[z, 1.5]}</code><br><code>Plus[1.3775876377262881, Times[-0.36645188392718997, DifferenceRoot[Function[{, } <- {Equal[Plus[Times[4, []], Times[Plus[-18, Times[-8, ]], [Plus[1, ]]], Times[Plus[30, Times[22, ], Times[4, Power[, 2]], Power[1.5, 2]], [Plus[2, ]]], Times[-1, Plus[3, ], Power[1.5, 2], [Plus[3, ]]]], 0], Equal[[1], Plus[1, Times[2, Power[1.5, -2]]]], Equal[[2], Plus[Rational[1, 2], Times[12, Power[1.5, -4]], Times[2, Power[1.5, -2]]]], Equal[[3], Plus[Rational[1, 6], Times[120, Power[1.5, -6]], Times[12, Power[1.5, -4]], Power[1.5, -2]]], Equal[[4], Plus[Rational[1, 24], Times[1680, Power[1.5, -8]], Times[120, Power[1.5, -6]], Times[6, Power[1.5, -4]], Times[Rational[1, 3], Power[1.5, -2]]]]}]][2.0]]], {Rule[n, 2], Rule[z, 1.5]}</code><br></div></div>
-|-
-| [https://dlmf.nist.gov/11.4.E2 11.4.E2] || [[Item:Q3934|<math>\modStruveL{n+\frac{1}{2}}@{z} = \modBesselI{-n-\frac{1}{2}}@{z}-\left(\frac{2}{\pi z}\right)^{\frac{1}{2}}\sum_{m=0}^{n}\frac{(-1)^{m}(2m)!\,2^{-2m}}{m!\,(n-m)!}\,(\tfrac{1}{2}z)^{n-2m}</math>]] || <code>StruveL(n +(1)/(2), z) = BesselI(- n -(1)/(2), z)-((2)/(Pi*z))^((1)/(2))* sum(((- 1)^(m)*factorial(2*m)*(2)^(- 2*m))/(factorial(m)*factorial(n - m))*((1)/(2)*z)^(n - 2*m), m = 0..n)</code> || <code>StruveL[n +Divide[1,2], z] == BesselI[- n -Divide[1,2], z]-(Divide[2,Pi*z])^(Divide[1,2])* Sum[Divide[(- 1)^(m)*(2*m)!*(2)^(- 2*m),(m)!*(n - m)!]*(Divide[1,2]*z)^(n - 2*m), {m, 0, n}, GenerateConditions->None]</code> || Failure || Failure || Successful [Tested: 21] || <div class="toccolours mw-collapsible mw-collapsed">Failed [6 / 21]<div class="mw-collapsible-content"><code>{Plus[-0.05428916798921324, Times[0.4886025119029198, DifferenceRoot[Function[{, } <- {Equal[Plus[Times[4, []], Times[Plus[-18, Times[-8, ]], [Plus[1, ]]], Times[Plus[30, Times[22, ], Times[4, Power[, 2]], Times[-1, Power[1.5, 2]]], [Plus[2, ]]], Times[Plus[3, ], Power[1.5, 2], [Plus[3, ]]]], 0], Equal[[1], Plus[1, Times[-2, Power[1.5, -2]]]], Equal[[2], Plus[Rational[1, 2], Times[12, Power[1.5, -4]], Times[-2, Power[1.5, -2]]]], Equal[[3], Plus[Rational[1, 6], Times[-120, Power[1.5, -6]], Times[12, Power[1.5, -4]], Times[-1, Power[1.5, -2]]]], Equal[[4], Plus[Rational[1, 24], Times[1680, Power[1.5, -8]], Times[-120, Power[1.5, -6]], Times[6, Power[1.5, -4]], Times[Rational[-1, 3], Power[1.5, -2]]]]}]][1.0]]], {Rule[n, 1], Rule[z, 1.5]}</code><br><code>Plus[-0.726117621855728, Times[0.36645188392718997, DifferenceRoot[Function[{, } <- {Equal[Plus[Times[4, []], Times[Plus[-18, Times[-8, ]], [Plus[1, ]]], Times[Plus[30, Times[22, ], Times[4, Power[, 2]], Times[-1, Power[1.5, 2]]], [Plus[2, ]]], Times[Plus[3, ], Power[1.5, 2], [Plus[3, ]]]], 0], Equal[[1], Plus[1, Times[-2, Power[1.5, -2]]]], Equal[[2], Plus[Rational[1, 2], Times[12, Power[1.5, -4]], Times[-2, Power[1.5, -2]]]], Equal[[3], Plus[Rational[1, 6], Times[-120, Power[1.5, -6]], Times[12, Power[1.5, -4]], Times[-1, Power[1.5, -2]]]], Equal[[4], Plus[Rational[1, 24], Times[1680, Power[1.5, -8]], Times[-120, Power[1.5, -6]], Times[6, Power[1.5, -4]], Times[Rational[-1, 3], Power[1.5, -2]]]]}]][2.0]]], {Rule[n, 2], Rule[z, 1.5]}</code><br></div></div>
-|-
-| [https://dlmf.nist.gov/11.4.E3 11.4.E3] || [[Item:Q3935|<math>\StruveH{-n-\frac{1}{2}}@{z} = (-1)^{n}\BesselJ{n+\frac{1}{2}}@{z}</math>]] || <code>StruveH(- n -(1)/(2), z) = (- 1)^(n)* BesselJ(n +(1)/(2), z)</code> || <code>StruveH[- n -Divide[1,2], z] == (- 1)^(n)* BesselJ[n +Divide[1,2], z]</code> || Failure || Failure || Successful [Tested: 21] || Successful [Tested: 21]
-|-
-| [https://dlmf.nist.gov/11.4.E4 11.4.E4] || [[Item:Q3936|<math>\modStruveL{-n-\frac{1}{2}}@{z} = \modBesselI{n+\frac{1}{2}}@{z}</math>]] || <code>StruveL(- n -(1)/(2), z) = BesselI(n +(1)/(2), z)</code> || <code>StruveL[- n -Divide[1,2], z] == BesselI[n +Divide[1,2], z]</code> || Failure || Failure || Error || Successful [Tested: 21]
-|-
-| [https://dlmf.nist.gov/11.4.E5 11.4.E5] || [[Item:Q3937|<math>\StruveH{\frac{1}{2}}@{z} = \left(\frac{2}{\pi z}\right)^{\frac{1}{2}}(1-\cos@@{z})</math>]] || <code>StruveH((1)/(2), z) = ((2)/(Pi*z))^((1)/(2))*(1 - cos(z))</code> || <code>StruveH[Divide[1,2], z] == (Divide[2,Pi*z])^(Divide[1,2])*(1 - Cos[z])</code> || Failure || Failure || Successful [Tested: 7] || Successful [Tested: 7]
-|-
-| [https://dlmf.nist.gov/11.4.E6 11.4.E6] || [[Item:Q3938|<math>\StruveH{-\frac{1}{2}}@{z} = \left(\frac{2}{\pi z}\right)^{\frac{1}{2}}\sin@@{z}</math>]] || <code>StruveH(-(1)/(2), z) = ((2)/(Pi*z))^((1)/(2))* sin(z)</code> || <code>StruveH[-Divide[1,2], z] == (Divide[2,Pi*z])^(Divide[1,2])* Sin[z]</code> || Failure || Failure || Successful [Tested: 7] || Successful [Tested: 7]
-|-
-| [https://dlmf.nist.gov/11.4.E7 11.4.E7] || [[Item:Q3939|<math>\modStruveL{\frac{1}{2}}@{z} = \left(\frac{2}{\pi z}\right)^{\frac{1}{2}}(\cosh@@{z}-1)</math>]] || <code>StruveL((1)/(2), z) = ((2)/(Pi*z))^((1)/(2))*(cosh(z)- 1)</code> || <code>StruveL[Divide[1,2], z] == (Divide[2,Pi*z])^(Divide[1,2])*(Cosh[z]- 1)</code> || Failure || Failure || Successful [Tested: 7] || Successful [Tested: 7]
-|-
-| [https://dlmf.nist.gov/11.4.E8 11.4.E8] || [[Item:Q3940|<math>\modStruveL{-\frac{1}{2}}@{z} = \left(\frac{2}{\pi z}\right)^{\frac{1}{2}}\sinh@@{z}</math>]] || <code>StruveL(-(1)/(2), z) = ((2)/(Pi*z))^((1)/(2))* sinh(z)</code> || <code>StruveL[-Divide[1,2], z] == (Divide[2,Pi*z])^(Divide[1,2])* Sinh[z]</code> || Failure || Failure || Error || Successful [Tested: 7]
-|-
-| [https://dlmf.nist.gov/11.4.E9 11.4.E9] || [[Item:Q3941|<math>\StruveH{\frac{3}{2}}@{z} = \left(\frac{z}{2\pi}\right)^{\frac{1}{2}}\left(1+\frac{2}{z^{2}}\right)-\left(\frac{2}{\pi z}\right)^{\frac{1}{2}}\left(\sin@@{z}+\frac{\cos@@{z}}{z}\right)</math>]] || <code>StruveH((3)/(2), z) = ((z)/(2*Pi))^((1)/(2))*(1 +(2)/((z)^(2)))-((2)/(Pi*z))^((1)/(2))*(sin(z)+(cos(z))/(z))</code> || <code>StruveH[Divide[3,2], z] == (Divide[z,2*Pi])^(Divide[1,2])*(1 +Divide[2,(z)^(2)])-(Divide[2,Pi*z])^(Divide[1,2])*(Sin[z]+Divide[Cos[z],z])</code> || Failure || Failure || Successful [Tested: 7] || Successful [Tested: 7]
-|-
-| [https://dlmf.nist.gov/11.4.E10 11.4.E10] || [[Item:Q3942|<math>\StruveH{-\frac{3}{2}}@{z} = \left(\frac{2}{\pi z}\right)^{\frac{1}{2}}\left(\cos@@{z}-\frac{\sin@@{z}}{z}\right)</math>]] || <code>StruveH(-(3)/(2), z) = ((2)/(Pi*z))^((1)/(2))*(cos(z)-(sin(z))/(z))</code> || <code>StruveH[-Divide[3,2], z] == (Divide[2,Pi*z])^(Divide[1,2])*(Cos[z]-Divide[Sin[z],z])</code> || Failure || Failure || Successful [Tested: 7] || Successful [Tested: 7]
-|-
-| [https://dlmf.nist.gov/11.4.E11 11.4.E11] || [[Item:Q3943|<math>\modStruveL{\frac{3}{2}}@{z} = -\left(\frac{z}{2\pi}\right)^{\frac{1}{2}}\left(1-\frac{2}{z^{2}}\right)+\left(\frac{2}{\pi z}\right)^{\frac{1}{2}}\left(\sinh@@{z}-\frac{\cosh@@{z}}{z}\right)</math>]] || <code>StruveL((3)/(2), z) = -((z)/(2*Pi))^((1)/(2))*(1 -(2)/((z)^(2)))+((2)/(Pi*z))^((1)/(2))*(sinh(z)-(cosh(z))/(z))</code> || <code>StruveL[Divide[3,2], z] == -(Divide[z,2*Pi])^(Divide[1,2])*(1 -Divide[2,(z)^(2)])+(Divide[2,Pi*z])^(Divide[1,2])*(Sinh[z]-Divide[Cosh[z],z])</code> || Failure || Failure || Successful [Tested: 7] || Successful [Tested: 7]
-|-
-| [https://dlmf.nist.gov/11.4.E12 11.4.E12] || [[Item:Q3944|<math>\modStruveL{-\frac{3}{2}}@{z} = \left(\frac{2}{\pi z}\right)^{\frac{1}{2}}\left(\cosh@@{z}-\frac{\sinh@@{z}}{z}\right)</math>]] || <code>StruveL(-(3)/(2), z) = ((2)/(Pi*z))^((1)/(2))*(cosh(z)-(sinh(z))/(z))</code> || <code>StruveL[-Divide[3,2], z] == (Divide[2,Pi*z])^(Divide[1,2])*(Cosh[z]-Divide[Sinh[z],z])</code> || Failure || Failure || Error || Successful [Tested: 7]
-|-
-| [https://dlmf.nist.gov/11.4.E13 11.4.E13] || [[Item:Q3945|<math>\StruveH{\nu}@{x} \geq 0</math>]] || <code>StruveH(nu, x) >= 0</code> || <code>StruveH[\[Nu], x] >= 0</code> || Failure || Failure || Successful [Tested: 9] || Successful [Tested: 9]
-|-
-| [https://dlmf.nist.gov/11.4.E14 11.4.E14] || [[Item:Q3946|<math>\StruveH{\nu}@{z} = \frac{2(\tfrac{1}{2}z)^{\nu+1}}{\sqrt{\pi}\EulerGamma@{\nu+\tfrac{3}{2}}}(1+\vartheta)</math>]] || <code>StruveH(nu, z) = (2*((1)/(2)*z)^(nu + 1))/(sqrt(Pi)*GAMMA(nu +(3)/(2)))*(1 + vartheta)</code> || <code>StruveH[\[Nu], z] == Divide[2*(Divide[1,2]*z)^(\[Nu]+ 1),Sqrt[Pi]*Gamma[\[Nu]+Divide[3,2]]]*(1 + \[CurlyTheta])</code> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><code>300/300]: [[-.1471445522-.1672488986*I <- {nu = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I, vartheta = 1/2*3^(1/2)+1/2*I}</code><br><code>.1483631977-.1537807385*I <- {nu = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I, vartheta = -1/2+1/2*I*3^(1/2)}</code><br></div></div> || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><code>{Complex[-0.14714455195987888, -0.16724889870966364] <- {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ϑ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</code><br><code>Complex[-0.8437410873580948, -0.4272690725617171] <- {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ϑ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</code><br></div></div>
-|-
-| [https://dlmf.nist.gov/11.4.E15 11.4.E15] || [[Item:Q3947|<math>|\vartheta| < \frac{2}{3}\exp@{\frac{\tfrac{1}{4}|z|^{2}}{|\nu_{0}+\tfrac{3}{2}|}-1}</math>]] || <code>abs(vartheta) < (2)/(3)*exp(((1)/(4)*(abs(z))^(2))/(abs(nu[0]+(3)/(2)))- 1)</code> || <code>Abs[\[CurlyTheta]] < Divide[2,3]*Exp[Divide[Divide[1,4]*(Abs[z])^(2),Abs[Subscript[\[Nu], 0]+Divide[3,2]]]- 1]</code> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><code>300/300]: [[1. < .2719639306 <- {nu = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I, vartheta = 1/2*3^(1/2)+1/2*I, nu[0] = 1/2*3^(1/2)+1/2*I}</code><br><code>1. < .2962703575 <- {nu = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I, vartheta = 1/2*3^(1/2)+1/2*I, nu[0] = -1/2+1/2*I*3^(1/2)}</code><br></div></div> || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><code>{False <- {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ϑ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[ν, 0], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</code><br><code>False <- {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ϑ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[ν, 0], Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</code><br></div></div>
-|-
-| [https://dlmf.nist.gov/11.4.E16 11.4.E16] || [[Item:Q3948|<math>\StruveH{\nu}@{ze^{m\pi i}} = e^{m\pi i(\nu+1)}\StruveH{\nu}@{z}</math>]] || <code>StruveH(nu, z*exp(m*Pi*I)) = exp(m*Pi*I*(nu + 1))*StruveH(nu, z)</code> || <code>StruveH[\[Nu], z*Exp[m*Pi*I]] == Exp[m*Pi*I*(\[Nu]+ 1)]*StruveH[\[Nu], z]</code> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [36 / 70]<div class="mw-collapsible-content"><code>36/70]: [[.7482205956+.6031447740*I <- {nu = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I, m = 3}</code><br><code>-.4043537260-.2594960110*I <- {nu = 1/2*3^(1/2)+1/2*I, z = -1/2+1/2*I*3^(1/2), m = 3}</code><br></div></div> || <div class="toccolours mw-collapsible mw-collapsed">Failed [48 / 70]<div class="mw-collapsible-content"><code>{Complex[0.7482205967366697, 0.6031447730973842] <- {Rule[m, 3], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</code><br><code>Complex[-0.8264714651575658, -11.333535783044978] <- {Rule[m, 3], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</code><br></div></div>
-|-
-| [https://dlmf.nist.gov/11.4.E17 11.4.E17] || [[Item:Q3949|<math>\modStruveL{\nu}@{ze^{m\pi i}} = e^{m\pi i(\nu+1)}\modStruveL{\nu}@{z}</math>]] || <code>StruveL(nu, z*exp(m*Pi*I)) = exp(m*Pi*I*(nu + 1))*StruveL(nu, z)</code> || <code>StruveL[\[Nu], z*Exp[m*Pi*I]] == Exp[m*Pi*I*(\[Nu]+ 1)]*StruveL[\[Nu], z]</code> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [36 / 70]<div class="mw-collapsible-content"><code>36/70]: [[.7484016339+.7418531852*I <- {nu = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I, m = 3}</code><br><code>-.3910618545-.1976660760*I <- {nu = 1/2*3^(1/2)+1/2*I, z = -1/2+1/2*I*3^(1/2), m = 3}</code><br></div></div> || <div class="toccolours mw-collapsible mw-collapsed">Failed [48 / 70]<div class="mw-collapsible-content"><code>{Complex[0.7484016356562583, 0.741853184386289] <- {Rule[m, 3], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</code><br><code>Complex[0.1393494415684403, -14.42209495054837] <- {Rule[m, 3], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</code><br></div></div>
-|-
-| [https://dlmf.nist.gov/11.4.E18 11.4.E18] || [[Item:Q3950|<math>\StruveH{\nu}@{z} = \frac{4}{\pi^{1/2}\EulerGamma@{\nu+\tfrac{1}{2}}}\*\sum_{k=0}^{\infty}\frac{(2k+\nu+1)\EulerGamma@{k+\nu+1}}{k!(2k+1)(2k+2\nu+1)}\BesselJ{2k+\nu+1}@{z}</math>]] || <code>StruveH(nu, z) = (4)/((Pi)^(1/ 2)* GAMMA(nu +(1)/(2)))* sum(((2*k + nu + 1)* GAMMA(k + nu + 1))/(factorial(k)*(2*k + 1)*(2*k + 2*nu + 1))*BesselJ(2*k + nu + 1, z), k = 0..infinity)</code> || <code>StruveH[\[Nu], z] == Divide[4,(Pi)^(1/ 2)* Gamma[\[Nu]+Divide[1,2]]]* Sum[Divide[(2*k + \[Nu]+ 1)* Gamma[k + \[Nu]+ 1],(k)!*(2*k + 1)*(2*k + 2*\[Nu]+ 1)]*BesselJ[2*k + \[Nu]+ 1, z], {k, 0, Infinity}, GenerateConditions->None]</code> || Failure || Failure || Successful [Tested: 7] || <div class="toccolours mw-collapsible mw-collapsed">Failed [35 / 35]<div class="mw-collapsible-content"><code>{Plus[Complex[0.19324594490102928, 0.050519652606000824], Times[Complex[-2.8810800784728325, -0.07996643500485433], NSum[Times[Power[Plus[1, Times[2, k]], -1], Plus[1, Power[E, Times[Complex[0, Rational[1, 6]], Pi]], Times[2, k]], Power[Plus[1, Times[2, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Times[2, k]], -1], BesselJ[Plus[1, Power[E, Times[Complex[0, Rational[1, 6]], Pi]], Times[2, k]], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Power[Factorial[k], -1], Gamma[Plus[1, Power[E, Times[Complex[0, Rational[1, 6]], Pi]], k]]] <- {k, 0, DirectedInfinity[1]}, Rule[GenerateConditions, None]]]], {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</code><br><code>Plus[Complex[-0.11400577441337441, 0.7764453237975459], Times[Complex[-3.5865453830779916, 1.1372180444285063], NSum[Times[Power[Plus[1, Times[2, k]], -1], Plus[1, Power[E, Times[Complex[0, Rational[-1, 3]], Pi]], Times[2, k]], Power[Plus[1, Times[2, Power[E, Times[Complex[0, Rational[-1, 3]], Pi]]], Times[2, k]], -1], BesselJ[Plus[1, Power[E, Times[Complex[0, Rational[-1, 3]], Pi]], Times[2, k]], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Power[Factorial[k], -1], Gamma[Plus[1, Power[E, Times[Complex[0, Rational[-1, 3]], Pi]], k]]] <- {k, 0, DirectedInfinity[1]}, Rule[GenerateConditions, None]]]], {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[-1, 3]], Pi]]]}</code><br></div></div>
-|-
-| [https://dlmf.nist.gov/11.4.E19 11.4.E19] || [[Item:Q3951|<math>\StruveH{\nu}@{z} = \left(\frac{z}{2\pi}\right)^{1/2}\sum_{k=0}^{\infty}\frac{(\tfrac{1}{2}z)^{k}}{k!(k+\tfrac{1}{2})}\BesselJ{k+\nu+\frac{1}{2}}@{z}</math>]] || <code>StruveH(nu, z) = ((z)/(2*Pi))^(1/ 2)* sum((((1)/(2)*z)^(k))/(factorial(k)*(k +(1)/(2)))*BesselJ(k + nu +(1)/(2), z), k = 0..infinity)</code> || <code>StruveH[\[Nu], z] == (Divide[z,2*Pi])^(1/ 2)* Sum[Divide[(Divide[1,2]*z)^(k),(k)!*(k +Divide[1,2])]*BesselJ[k + \[Nu]+Divide[1,2], z], {k, 0, Infinity}, GenerateConditions->None]</code> || Failure || Failure || Skipped - Because timed out || <div class="toccolours mw-collapsible mw-collapsed">Failed [70 / 70]<div class="mw-collapsible-content"><code>{Plus[Complex[0.19324594490102928, 0.050519652606000824], Times[Complex[-0.38534865183839906, -0.10325386006452089], NSum[Times[Power[2, Times[-1, k]], Power[Power[E, Times[Complex[0, Rational[1, 6]], Pi]], k], Power[Plus[Rational[1, 2], k], -1], BesselJ[Plus[Rational[1, 2], Power[E, Times[Complex[0, Rational[1, 6]], Pi]], k], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Power[Factorial[k], -1]] <- {k, 0, DirectedInfinity[1]}, Rule[GenerateConditions, None]]]], {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</code><br><code>Plus[Complex[0.7460861755377195, -0.054406581179451755], Times[Complex[-0.38534865183839906, -0.10325386006452089], NSum[Times[Power[2, Times[-1, k]], Power[Power[E, Times[Complex[0, Rational[1, 6]], Pi]], k], Power[Plus[Rational[1, 2], k], -1], BesselJ[Plus[Rational[1, 2], Power[E, Times[Complex[0, Rational[2, 3]], Pi]], k], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Power[Factorial[k], -1]] <- {k, 0, DirectedInfinity[1]}, Rule[GenerateConditions, None]]]], {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</code><br></div></div>
-|-
-| [https://dlmf.nist.gov/11.4.E20 11.4.E20] || [[Item:Q3952|<math>\StruveH{\nu}@{z} = \frac{(\tfrac{1}{2}z)^{\nu+\frac{1}{2}}}{\EulerGamma@{\nu+\tfrac{1}{2}}}\sum_{k=0}^{\infty}\frac{(\tfrac{1}{2}z)^{k}}{k!(k+\nu+\tfrac{1}{2})}\BesselJ{k+\frac{1}{2}}@{z}</math>]] || <code>StruveH(nu, z) = (((1)/(2)*z)^(nu +(1)/(2)))/(GAMMA(nu +(1)/(2)))*sum((((1)/(2)*z)^(k))/(factorial(k)*(k + nu +(1)/(2)))*BesselJ(k +(1)/(2), z), k = 0..infinity)</code> || <code>StruveH[\[Nu], z] == Divide[(Divide[1,2]*z)^(\[Nu]+Divide[1,2]),Gamma[\[Nu]+Divide[1,2]]]*Sum[Divide[(Divide[1,2]*z)^(k),(k)!*(k + \[Nu]+Divide[1,2])]*BesselJ[k +Divide[1,2], z], {k, 0, Infinity}, GenerateConditions->None]</code> || Failure || Failure || Successful [Tested: 35] || <div class="toccolours mw-collapsible mw-collapsed">Failed [35 / 35]<div class="mw-collapsible-content"><code>{Plus[Complex[0.19324594490102928, 0.050519652606000824], Times[Complex[-0.35177626861232025, -0.14724813153619726], NSum[Times[Power[2, Times[-1, k]], Power[Power[E, Times[Complex[0, Rational[1, 6]], Pi]], k], Power[Plus[Rational[1, 2], Power[E, Times[Complex[0, Rational[1, 6]], Pi]], k], -1], BesselJ[Plus[Rational[1, 2], k], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Power[Factorial[k], -1]] <- {k, 0, DirectedInfinity[1]}, Rule[GenerateConditions, None]]]], {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</code><br><code>Plus[Complex[-0.11400577441337441, 0.7764453237975459], Times[Complex[-0.8980289919269182, -0.9563358827585198], NSum[Times[Power[2, Times[-1, k]], Power[Power[E, Times[Complex[0, Rational[1, 6]], Pi]], k], Power[Plus[Rational[1, 2], Power[E, Times[Complex[0, Rational[-1, 3]], Pi]], k], -1], BesselJ[Plus[Rational[1, 2], k], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Power[Factorial[k], -1]] <- {k, 0, DirectedInfinity[1]}, Rule[GenerateConditions, None]]]], {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[-1, 3]], Pi]]]}</code><br></div></div>
-|-
-| [https://dlmf.nist.gov/11.4.E21 11.4.E21] || [[Item:Q3953|<math>\StruveH{0}@{z} = \frac{4}{\pi}\sum_{k=0}^{\infty}\frac{\BesselJ{2k+1}@{z}}{2k+1}</math>]] || <code>StruveH(0, z) = (4)/(Pi)*sum((BesselJ(2*k + 1, z))/(2*k + 1), k = 0..infinity)</code> || <code>StruveH[0, z] == Divide[4,Pi]*Sum[Divide[BesselJ[2*k + 1, z],2*k + 1], {k, 0, Infinity}, GenerateConditions->None]</code> || Failure || Successful || Successful [Tested: 7] || Successful [Tested: 7]
-|-
-| [https://dlmf.nist.gov/11.4.E21 11.4.E21] || [[Item:Q3953|<math>\frac{4}{\pi}\sum_{k=0}^{\infty}\frac{\BesselJ{2k+1}@{z}}{2k+1} = 2\sum_{k=0}^{\infty}(-1)^{k}\BesselJ{k+\frac{1}{2}}^{2}@{\tfrac{1}{2}z}</math>]] || <code>(4)/(Pi)*sum((BesselJ(2*k + 1, z))/(2*k + 1), k = 0..infinity) = 2*sum((- 1)^(k)* (BesselJ(k +(1)/(2), (1)/(2)*z))^(2), k = 0..infinity)</code> || <code>Divide[4,Pi]*Sum[Divide[BesselJ[2*k + 1, z],2*k + 1], {k, 0, Infinity}, GenerateConditions->None] == 2*Sum[(- 1)^(k)* (BesselJ[k +Divide[1,2], Divide[1,2]*z])^(2), {k, 0, Infinity}, GenerateConditions->None]</code> || Failure || Failure || Successful [Tested: 7] || <div class="toccolours mw-collapsible mw-collapsed">Failed [7 / 7]<div class="mw-collapsible-content"><code>{Plus[Complex[0.5489285468594604, 0.24901722825393072], Times[-2.0, NSum[Times[Power[-1, k], Power[BesselJ[Plus[Rational[1, 2], k], Times[Rational[1, 2], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]], 2]] <- {k, 0, DirectedInfinity[1]}, Rule[GenerateConditions, None]]]], {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</code><br><code>Plus[Complex[-0.39043053959878776, 0.5488285427518664], Times[-2.0, NSum[Times[Power[-1, k], Power[BesselJ[Plus[Rational[1, 2], k], Times[Rational[1, 2], Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]], 2]] <- {k, 0, DirectedInfinity[1]}, Rule[GenerateConditions, None]]]], {Rule[z, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</code><br></div></div>
-|-
-| [https://dlmf.nist.gov/11.4.E22 11.4.E22] || [[Item:Q3954|<math>\StruveH{1}@{z} = \frac{2}{\pi}(1-\BesselJ{0}@{z})+\frac{4}{\pi}\sum_{k=1}^{\infty}\frac{\BesselJ{2k}@{z}}{4k^{2}-1}</math>]] || <code>StruveH(1, z) = (2)/(Pi)*(1 - BesselJ(0, z))+(4)/(Pi)*sum((BesselJ(2*k, z))/(4*(k)^(2)- 1), k = 1..infinity)</code> || <code>StruveH[1, z] == Divide[2,Pi]*(1 - BesselJ[0, z])+Divide[4,Pi]*Sum[Divide[BesselJ[2*k, z],4*(k)^(2)- 1], {k, 1, Infinity}, GenerateConditions->None]</code> || Failure || Successful || Successful [Tested: 7] || Successful [Tested: 7]
-|-
-| [https://dlmf.nist.gov/11.4.E22 11.4.E22] || [[Item:Q3954|<math>\frac{2}{\pi}(1-\BesselJ{0}@{z})+\frac{4}{\pi}\sum_{k=1}^{\infty}\frac{\BesselJ{2k}@{z}}{4k^{2}-1} = 4\sum_{k=0}^{\infty}\BesselJ{2k+\frac{1}{2}}@{\tfrac{1}{2}z}\BesselJ{2k+\frac{3}{2}}@{\tfrac{1}{2}z}</math>]] || <code>(2)/(Pi)*(1 - BesselJ(0, z))+(4)/(Pi)*sum((BesselJ(2*k, z))/(4*(k)^(2)- 1), k = 1..infinity) = 4*sum(BesselJ(2*k +(1)/(2), (1)/(2)*z)*BesselJ(2*k +(3)/(2), (1)/(2)*z), k = 0..infinity)</code> || <code>Divide[2,Pi]*(1 - BesselJ[0, z])+Divide[4,Pi]*Sum[Divide[BesselJ[2*k, z],4*(k)^(2)- 1], {k, 1, Infinity}, GenerateConditions->None] == 4*Sum[BesselJ[2*k +Divide[1,2], Divide[1,2]*z]*BesselJ[2*k +Divide[3,2], Divide[1,2]*z], {k, 0, Infinity}, GenerateConditions->None]</code> || Failure || Failure || Successful [Tested: 7] || <div class="toccolours mw-collapsible mw-collapsed">Failed [7 / 7]<div class="mw-collapsible-content"><code>{Plus[Complex[0.11277588530299563, 0.1715300454702578], Times[-4.0, NSum[Times[BesselJ[Plus[Rational[1, 2], Times[2, k]], Times[Rational[1, 2], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]], BesselJ[Plus[Rational[3, 2], Times[2, k]], Times[Rational[1, 2], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]]] <- {k, 0, DirectedInfinity[1]}, Rule[GenerateConditions, None]]]], {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</code><br><code>Plus[Complex[-0.09862236423565694, -0.19602243923212043], Times[-4.0, NSum[Times[BesselJ[Plus[Rational[1, 2], Times[2, k]], Times[Rational[1, 2], Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]], BesselJ[Plus[Rational[3, 2], Times[2, k]], Times[Rational[1, 2], Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]]] <- {k, 0, DirectedInfinity[1]}, Rule[GenerateConditions, None]]]], {Rule[z, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</code><br></div></div>
-|-
-| [https://dlmf.nist.gov/11.4.E23 11.4.E23] || [[Item:Q3955|<math>\StruveH{\nu-1}@{z}+\StruveH{\nu+1}@{z} = \frac{2\nu}{z}\StruveH{\nu}@{z}+\frac{(\tfrac{1}{2}z)^{\nu}}{\sqrt{\pi}\EulerGamma@{\nu+\tfrac{3}{2}}}</math>]] || <code>StruveH(nu - 1, z)+ StruveH(nu + 1, z) = (2*nu)/(z)*StruveH(nu, z)+(((1)/(2)*z)^(nu))/(sqrt(Pi)*GAMMA(nu +(3)/(2)))</code> || <code>StruveH[\[Nu]- 1, z]+ StruveH[\[Nu]+ 1, z] == Divide[2*\[Nu],z]*StruveH[\[Nu], z]+Divide[(Divide[1,2]*z)^\[Nu],Sqrt[Pi]*Gamma[\[Nu]+Divide[3,2]]]</code> || Failure || Successful || Successful [Tested: 56] || Successful [Tested: 56]
-|-
-| [https://dlmf.nist.gov/11.4.E24 11.4.E24] || [[Item:Q3956|<math>\StruveH{\nu-1}@{z}-\StruveH{\nu+1}@{z} = 2\StruveH{\nu}'@{z}-\frac{(\tfrac{1}{2}z)^{\nu}}{\sqrt{\pi}\EulerGamma@{\nu+\tfrac{3}{2}}}</math>]] || <code>StruveH(nu - 1, z)- StruveH(nu + 1, z) = 2*diff( StruveH(nu, z), z$(1) )-(((1)/(2)*z)^(nu))/(sqrt(Pi)*GAMMA(nu +(3)/(2)))</code> || <code>StruveH[\[Nu]- 1, z]- StruveH[\[Nu]+ 1, z] == 2*D[StruveH[\[Nu], z], {z, 1}]-Divide[(Divide[1,2]*z)^\[Nu],Sqrt[Pi]*Gamma[\[Nu]+Divide[3,2]]]</code> || Failure || Successful || Successful [Tested: 56] || Successful [Tested: 56]
-|-
-| [https://dlmf.nist.gov/11.4.E25 11.4.E25] || [[Item:Q3957|<math>\modStruveL{\nu-1}@{z}-\modStruveL{\nu+1}@{z} = \frac{2\nu}{z}\modStruveL{\nu}@{z}+\frac{(\tfrac{1}{2}z)^{\nu}}{\sqrt{\pi}\EulerGamma@{\nu+\tfrac{3}{2}}}</math>]] || <code>StruveL(nu - 1, z)- StruveL(nu + 1, z) = (2*nu)/(z)*StruveL(nu, z)+(((1)/(2)*z)^(nu))/(sqrt(Pi)*GAMMA(nu +(3)/(2)))</code> || <code>StruveL[\[Nu]- 1, z]- StruveL[\[Nu]+ 1, z] == Divide[2*\[Nu],z]*StruveL[\[Nu], z]+Divide[(Divide[1,2]*z)^\[Nu],Sqrt[Pi]*Gamma[\[Nu]+Divide[3,2]]]</code> || Failure || Successful || Successful [Tested: 56] || Successful [Tested: 56]
-|-
-| [https://dlmf.nist.gov/11.4.E26 11.4.E26] || [[Item:Q3958|<math>\modStruveL{\nu-1}@{z}+\modStruveL{\nu+1}@{z} = 2\modStruveL{\nu}'@{z}-\frac{(\tfrac{1}{2}z)^{\nu}}{\sqrt{\pi}\EulerGamma@{\nu+\tfrac{3}{2}}}</math>]] || <code>StruveL(nu - 1, z)+ StruveL(nu + 1, z) = 2*diff( StruveL(nu, z), z$(1) )-(((1)/(2)*z)^(nu))/(sqrt(Pi)*GAMMA(nu +(3)/(2)))</code> || <code>StruveL[\[Nu]- 1, z]+ StruveL[\[Nu]+ 1, z] == 2*D[StruveL[\[Nu], z], {z, 1}]-Divide[(Divide[1,2]*z)^\[Nu],Sqrt[Pi]*Gamma[\[Nu]+Divide[3,2]]]</code> || Failure || Successful || Successful [Tested: 56] || Successful [Tested: 56]
-|-
-| [https://dlmf.nist.gov/11.4.E27 11.4.E27] || [[Item:Q3959|<math>\deriv{}{z}\left(z^{\nu}\StruveH{\nu}@{z}\right) = z^{\nu}\StruveH{\nu-1}@{z}</math>]] || <code>diff((z)^(nu)* StruveH(nu, z), z) = (z)^(nu)* StruveH(nu - 1, z)</code> || <code>D[(z)^\[Nu]* StruveH[\[Nu], z], z] == (z)^\[Nu]* StruveH[\[Nu]- 1, z]</code> || Failure || Successful || Successful [Tested: 70] || Successful [Tested: 70]
-|-
-| [https://dlmf.nist.gov/11.4.E28 11.4.E28] || [[Item:Q3960|<math>\deriv{}{z}\left(z^{-\nu}\StruveH{\nu}@{z}\right) = \frac{2^{-\nu}}{\sqrt{\pi}\EulerGamma@{\nu+\tfrac{3}{2}}}-z^{-\nu}\StruveH{\nu+1}@{z}</math>]] || <code>diff((z)^(- nu)* StruveH(nu, z), z) = ((2)^(- nu))/(sqrt(Pi)*GAMMA(nu +(3)/(2)))- (z)^(- nu)* StruveH(nu + 1, z)</code> || <code>D[(z)^(- \[Nu])* StruveH[\[Nu], z], z] == Divide[(2)^(- \[Nu]),Sqrt[Pi]*Gamma[\[Nu]+Divide[3,2]]]- (z)^(- \[Nu])* StruveH[\[Nu]+ 1, z]</code> || Successful || Successful || - || Successful [Tested: 56]
-|-
-| [https://dlmf.nist.gov/11.4.E29 11.4.E29] || [[Item:Q3961|<math>\deriv{}{z}\left(z^{\nu}\modStruveL{\nu}@{z}\right) = z^{\nu}\modStruveL{\nu-1}@{z}</math>]] || <code>diff((z)^(nu)* StruveL(nu, z), z) = (z)^(nu)* StruveL(nu - 1, z)</code> || <code>D[(z)^\[Nu]* StruveL[\[Nu], z], z] == (z)^\[Nu]* StruveL[\[Nu]- 1, z]</code> || Failure || Successful || Successful [Tested: 70] || Successful [Tested: 70]
-|-
-| [https://dlmf.nist.gov/11.4.E30 11.4.E30] || [[Item:Q3962|<math>\deriv{}{z}\left(z^{-\nu}\modStruveL{\nu}@{z}\right) = \frac{2^{-\nu}}{\sqrt{\pi}\EulerGamma@{\nu+\tfrac{3}{2}}}+z^{-\nu}\modStruveL{\nu+1}@{z}</math>]] || <code>diff((z)^(- nu)* StruveL(nu, z), z) = ((2)^(- nu))/(sqrt(Pi)*GAMMA(nu +(3)/(2)))+ (z)^(- nu)* StruveL(nu + 1, z)</code> || <code>D[(z)^(- \[Nu])* StruveL[\[Nu], z], z] == Divide[(2)^(- \[Nu]),Sqrt[Pi]*Gamma[\[Nu]+Divide[3,2]]]+ (z)^(- \[Nu])* StruveL[\[Nu]+ 1, z]</code> || Successful || Successful || - || Successful [Tested: 56]
-|-
-| [https://dlmf.nist.gov/11.4.E31 11.4.E31] || [[Item:Q3963|<math>{\cal H}_{\nu-m}(z) = z^{m-\nu}\left(\frac{1}{z}\deriv{}{z}\right)^{m}(z^{\nu}{\cal H}_{\nu}(z))</math>]] || <code>H[nu - m]*(z) ((1)/(z)*diff((z)^(m - nu)*(1)/(z), z))^(m)*((z)^(nu)* H[nu]*(z))</code> || <code>Subscript[H, \[Nu]- m]*(z) (Divide[1,z]*D[(z)^(m - \[Nu])*Divide[1,z], z])^(m)*((z)^\[Nu]* Subscript[H, \[Nu]]*(z))</code> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><code>300/300]: [[-.9415809756+3.737713907*I <- {nu = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I, H[nu] = 1/2*3^(1/2)+1/2*I, H[nu-m] = 1/2*3^(1/2)+1/2*I, m = 3}</code><br><code>-2.307606380+3.371688503*I <- {nu = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I, H[nu] = 1/2*3^(1/2)+1/2*I, H[nu-m] = -1/2+1/2*I*3^(1/2), m = 3}</code><br></div></div> || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><code>{Complex[-0.9415809798720088, 3.7377139069778718] <- {Rule[m, 3], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[H, ν], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[H, Plus[Times[-1, m], ν]], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</code><br><code>Complex[-2.3076063836564478, 3.371688503193433] <- {Rule[m, 3], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[H, ν], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[H, Plus[Times[-1, m], ν]], Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</code><br></div></div>
-|-
-| [https://dlmf.nist.gov/11.4#Ex1 11.4#Ex1] || [[Item:Q3964|<math>\StruveH{0}'@{z} = \frac{2}{\pi}-\StruveH{1}@{z}</math>]] || <code>diff( StruveH(0, z), z$(1) ) = (2)/(Pi)- StruveH(1, z)</code> || <code>D[StruveH[0, z], {z, 1}] == Divide[2,Pi]- StruveH[1, z]</code> || Successful || Successful || - || Successful [Tested: 7]
-|-
-| [https://dlmf.nist.gov/11.4#Ex2 11.4#Ex2] || [[Item:Q3965|<math>\deriv{}{z}(z\StruveH{1}@{z}) = z\StruveH{0}@{z}</math>]] || <code>diff(z*StruveH(1, z), z) = z*StruveH(0, z)</code> || <code>D[z*StruveH[1, z], z] == z*StruveH[0, z]</code> || Successful || Successful || - || Successful [Tested: 7]
-|-
-| [https://dlmf.nist.gov/11.4#Ex3 11.4#Ex3] || [[Item:Q3966|<math>\modStruveL{0}'@{z} = \frac{2}{\pi}+\modStruveL{1}@{z}</math>]] || <code>diff( StruveL(0, z), z$(1) ) = (2)/(Pi)+ StruveL(1, z)</code> || <code>D[StruveL[0, z], {z, 1}] == Divide[2,Pi]+ StruveL[1, z]</code> || Successful || Successful || - || Successful [Tested: 7]
-|-
-| [https://dlmf.nist.gov/11.4#Ex4 11.4#Ex4] || [[Item:Q3967|<math>\deriv{}{z}(z\modStruveL{1}@{z}) = z\modStruveL{0}@{z}</math>]] || <code>diff(z*StruveL(1, z), z) = z*StruveL(0, z)</code> || <code>D[z*StruveL[1, z], z] == z*StruveL[0, z]</code> || Successful || Successful || - || Successful [Tested: 7]
-|-
-| [https://dlmf.nist.gov/11.5.E1 11.5.E1] || [[Item:Q3968|<math>\StruveH{\nu}@{z} = \frac{2(\tfrac{1}{2}z)^{\nu}}{\sqrt{\pi}\EulerGamma@{\nu+\tfrac{1}{2}}}\int_{0}^{1}(1-t^{2})^{\nu-\frac{1}{2}}\sin@{zt}\diff{t}</math>]] || <code>StruveH(nu, z) = (2*((1)/(2)*z)^(nu))/(sqrt(Pi)*GAMMA(nu +(1)/(2)))*int((1 - (t)^(2))^(nu -(1)/(2))* sin(z*t), t = 0..1)</code> || <code>StruveH[\[Nu], z] == Divide[2*(Divide[1,2]*z)^\[Nu],Sqrt[Pi]*Gamma[\[Nu]+Divide[1,2]]]*Integrate[(1 - (t)^(2))^(\[Nu]-Divide[1,2])* Sin[z*t], {t, 0, 1}, GenerateConditions->None]</code> || Successful || Successful || - || Successful [Tested: 35]
-|-
-| [https://dlmf.nist.gov/11.5.E1 11.5.E1] || [[Item:Q3968|<math>\frac{2(\tfrac{1}{2}z)^{\nu}}{\sqrt{\pi}\EulerGamma@{\nu+\tfrac{1}{2}}}\int_{0}^{1}(1-t^{2})^{\nu-\frac{1}{2}}\sin@{zt}\diff{t} = \frac{2(\tfrac{1}{2}z)^{\nu}}{\sqrt{\pi}\EulerGamma@{\nu+\tfrac{1}{2}}}\int_{0}^{\pi/2}\sin@{z\cos@@{\theta}}(\sin@@{\theta})^{2\nu}\diff{\theta}</math>]] || <code>(2*((1)/(2)*z)^(nu))/(sqrt(Pi)*GAMMA(nu +(1)/(2)))*int((1 - (t)^(2))^(nu -(1)/(2))* sin(z*t), t = 0..1) = (2*((1)/(2)*z)^(nu))/(sqrt(Pi)*GAMMA(nu +(1)/(2)))*int(sin(z*cos(theta))*(sin(theta))^(2*nu), theta = 0..Pi/ 2)</code> || <code>Divide[2*(Divide[1,2]*z)^\[Nu],Sqrt[Pi]*Gamma[\[Nu]+Divide[1,2]]]*Integrate[(1 - (t)^(2))^(\[Nu]-Divide[1,2])* Sin[z*t], {t, 0, 1}, GenerateConditions->None] == Divide[2*(Divide[1,2]*z)^\[Nu],Sqrt[Pi]*Gamma[\[Nu]+Divide[1,2]]]*Integrate[Sin[z*Cos[\[Theta]]]*(Sin[\[Theta]])^(2*\[Nu]), {\[Theta], 0, Pi/ 2}, GenerateConditions->None]</code> || Successful || Successful || - || Successful [Tested: 35]
-|-
-| [https://dlmf.nist.gov/11.5.E2 11.5.E2] || [[Item:Q3969|<math>\StruveK{\nu}@{z} = \frac{2(\tfrac{1}{2}z)^{\nu}}{\sqrt{\pi}\EulerGamma@{\nu+\tfrac{1}{2}}}\int_{0}^{\infty}e^{-zt}(1+t^{2})^{\nu-\frac{1}{2}}\diff{t}</math>]] || <code>StruveH(nu, z) - BesselY(nu, z) = (2*((1)/(2)*z)^(nu))/(sqrt(Pi)*GAMMA(nu +(1)/(2)))*int(exp(- z*t)*(1 + (t)^(2))^(nu -(1)/(2)), t = 0..infinity)</code> || <code>StruveH[\[Nu], z] - BesselY[\[Nu], z] == Divide[2*(Divide[1,2]*z)^\[Nu],Sqrt[Pi]*Gamma[\[Nu]+Divide[1,2]]]*Integrate[Exp[- z*t]*(1 + (t)^(2))^(\[Nu]-Divide[1,2]), {t, 0, Infinity}, GenerateConditions->None]</code> || Successful || Successful || - || <div class="toccolours mw-collapsible mw-collapsed">Failed [15 / 25]<div class="mw-collapsible-content"><code>{Complex[0.9495382353861556, -0.46093572348323536] <- {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, 1.5]}</code><br><code>Complex[0.7706973036767981, -0.20650772012904173] <- {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, 0.5]}</code><br></div></div>
-|-
-| [https://dlmf.nist.gov/11.5.E3 11.5.E3] || [[Item:Q3970|<math>\StruveK{0}@{z} = \frac{2}{\pi}\int_{0}^{\infty}e^{-z\sinh@@{t}}\diff{t}</math>]] || <code>StruveH(0, z) - BesselY(0, z) = (2)/(Pi)*int(exp(- z*sinh(t)), t = 0..infinity)</code> || <code>StruveH[0, z] - BesselY[0, z] == Divide[2,Pi]*Integrate[Exp[- z*Sinh[t]], {t, 0, Infinity}, GenerateConditions->None]</code> || Successful || Error || - || Skipped - Because timed out
-|-
-| [https://dlmf.nist.gov/11.5.E4 11.5.E4] || [[Item:Q3971|<math>\modStruveM{\nu}@{z} = -\frac{2(\tfrac{1}{2}z)^{\nu}}{\sqrt{\pi}\EulerGamma@{\nu+\tfrac{1}{2}}}\int_{0}^{1}e^{-zt}(1-t^{2})^{\nu-\frac{1}{2}}\diff{t}</math>]] || <code>StruveL(nu, z) - BesselI(nu, z) = -(2*((1)/(2)*z)^(nu))/(sqrt(Pi)*GAMMA(nu +(1)/(2)))*int(exp(- z*t)*(1 - (t)^(2))^(nu -(1)/(2)), t = 0..1)</code> || <code>StruveL[\[Nu], z] - BesselI[\[Nu], z] == -Divide[2*(Divide[1,2]*z)^\[Nu],Sqrt[Pi]*Gamma[\[Nu]+Divide[1,2]]]*Integrate[Exp[- z*t]*(1 - (t)^(2))^(\[Nu]-Divide[1,2]), {t, 0, 1}, GenerateConditions->None]</code> || Successful || Successful || - || Successful [Tested: 35]
-|-
-| [https://dlmf.nist.gov/11.5.E5 11.5.E5] || [[Item:Q3972|<math>\modStruveM{0}@{z} = -\frac{2}{\pi}\int_{0}^{\pi/2}e^{-z\cos@@{\theta}}\diff{\theta}</math>]] || <code>StruveL(0, z) - BesselI(0, z) = -(2)/(Pi)*int(exp(- z*cos(theta)), theta = 0..Pi/ 2)</code> || <code>StruveL[0, z] - BesselI[0, z] == -Divide[2,Pi]*Integrate[Exp[- z*Cos[\[Theta]]], {\[Theta], 0, Pi/ 2}, GenerateConditions->None]</code> || Successful || Successful || - || Successful [Tested: 7]
-|-
-| [https://dlmf.nist.gov/11.5.E6 11.5.E6] || [[Item:Q3973|<math>\modStruveL{\nu}@{z} = \frac{2(\tfrac{1}{2}z)^{\nu}}{\sqrt{\pi}\EulerGamma@{\nu+\tfrac{1}{2}}}\int_{0}^{\pi/2}\sinh@{z\cos@@{\theta}}(\sin@@{\theta})^{2\nu}\diff{\theta}</math>]] || <code>StruveL(nu, z) = (2*((1)/(2)*z)^(nu))/(sqrt(Pi)*GAMMA(nu +(1)/(2)))*int(sinh(z*cos(theta))*(sin(theta))^(2*nu), theta = 0..Pi/ 2)</code> || <code>StruveL[\[Nu], z] == Divide[2*(Divide[1,2]*z)^\[Nu],Sqrt[Pi]*Gamma[\[Nu]+Divide[1,2]]]*Integrate[Sinh[z*Cos[\[Theta]]]*(Sin[\[Theta]])^(2*\[Nu]), {\[Theta], 0, Pi/ 2}, GenerateConditions->None]</code> || Successful || Error || - || Skipped - Because timed out
-|-
-| [https://dlmf.nist.gov/11.5.E7 11.5.E7] || [[Item:Q3974|<math>\modBesselI{-\nu}@{x}-\modStruveL{\nu}@{x} = \frac{2(\tfrac{1}{2}x)^{\nu}}{\sqrt{\pi}\EulerGamma@{\nu+\tfrac{1}{2}}}\int_{0}^{\infty}(1+t^{2})^{\nu-\frac{1}{2}}\sin@{xt}\diff{t}</math>]] || <code>BesselI(- nu, x)- StruveL(nu, x) = (2*((1)/(2)*x)^(nu))/(sqrt(Pi)*GAMMA(nu +(1)/(2)))*int((1 + (t)^(2))^(nu -(1)/(2))* sin(x*t), t = 0..infinity)</code> || <code>BesselI[- \[Nu], x]- StruveL[\[Nu], x] == Divide[2*(Divide[1,2]*x)^\[Nu],Sqrt[Pi]*Gamma[\[Nu]+Divide[1,2]]]*Integrate[(1 + (t)^(2))^(\[Nu]-Divide[1,2])* Sin[x*t], {t, 0, Infinity}, GenerateConditions->None]</code> || Failure || Error || <div class="toccolours mw-collapsible mw-collapsed">Failed [3 / 3]<div class="mw-collapsible-content"><code>3/3]: [[1.291209379 <- {x = 3/2, nu = 0}</code><br><code>2.709400861 <- {x = 1/2, nu = 0}</code><br></div></div> || Skipped - Because timed out
-|-
-| [https://dlmf.nist.gov/11.5.E8 11.5.E8] || [[Item:Q3975|<math>(\tfrac{1}{2}x)^{-\nu-1}\StruveH{\nu}@{x} = -\frac{1}{2\pi i}\int_{-i\infty}^{i\infty}\frac{\pi\csc@{\pi s}}{\EulerGamma@{\tfrac{3}{2}+s}\EulerGamma@{\tfrac{3}{2}+\nu+s}}(\tfrac{1}{4}x^{2})^{s}\diff{s}</math>]] || <code>((1)/(2)*x)^(- nu - 1)* StruveH(nu, x) = -(1)/(2*Pi*I)*int((Pi*csc(Pi*s))/(GAMMA((3)/(2)+ s)*GAMMA((3)/(2)+ nu + s))*((1)/(4)*(x)^(2))^(s), s = - I*infinity..I*infinity)</code> || <code>(Divide[1,2]*x)^(- \[Nu]- 1)* StruveH[\[Nu], x] == -Divide[1,2*Pi*I]*Integrate[Divide[Pi*Csc[Pi*s],Gamma[Divide[3,2]+ s]*Gamma[Divide[3,2]+ \[Nu]+ s]]*(Divide[1,4]*(x)^(2))^(s), {s, - I*Infinity, I*Infinity}, GenerateConditions->None]</code> || Failure || Error || Skipped - Because timed out || Skipped - Because timed out
-|-
-| [https://dlmf.nist.gov/11.5.E9 11.5.E9] || [[Item:Q3976|<math>(\tfrac{1}{2}z)^{-\nu-1}\modStruveL{\nu}@{z} = \frac{1}{2\pi i}\int_{\infty}^{(0+)}\frac{\pi\csc@{\pi s}}{\EulerGamma@{\tfrac{3}{2}+s}\EulerGamma@{\tfrac{3}{2}+\nu+s}}(-\tfrac{1}{4}z^{2})^{s}\diff{s}</math>]] || <code>((1)/(2)*z)^(- nu - 1)* StruveL(nu, z) = (1)/(2*Pi*I)*int((Pi*csc(Pi*s))/(GAMMA((3)/(2)+ s)*GAMMA((3)/(2)+ nu + s))*(-(1)/(4)*(z)^(2))^(s), s = infinity..(0 +))</code> || <code>(Divide[1,2]*z)^(- \[Nu]- 1)* StruveL[\[Nu], z] == Divide[1,2*Pi*I]*Integrate[Divide[Pi*Csc[Pi*s],Gamma[Divide[3,2]+ s]*Gamma[Divide[3,2]+ \[Nu]+ s]]*(-Divide[1,4]*(z)^(2))^(s), {s, Infinity, (0 +)}, GenerateConditions->None]</code> || Error || Failure || - || Error
-|-
-| [https://dlmf.nist.gov/11.6#Ex1 11.6#Ex1] || [[Item:Q3984|<math>c_{0}(\lambda) = 1</math>]] || <code>c[0]*(lambda) = 1</code> || <code>Subscript[c, 0]*(\[Lambda]) == 1</code> || Skipped - no semantic math || Skipped - no semantic math || - || -
-|-
-| [https://dlmf.nist.gov/11.6#Ex2 11.6#Ex2] || [[Item:Q3985|<math>c_{1}(\lambda) = 2\lambda^{-2}</math>]] || <code>c[1]*(lambda) = 2*(lambda)^(- 2)</code> || <code>Subscript[c, 1]*(\[Lambda]) == 2*\[Lambda]^(- 2)</code> || Skipped - no semantic math || Skipped - no semantic math || - || -
-|-
-| [https://dlmf.nist.gov/11.6#Ex3 11.6#Ex3] || [[Item:Q3986|<math>c_{2}(\lambda) = 6\lambda^{-4}-\tfrac{1}{2}\lambda^{-2}</math>]] || <code>c[2]*(lambda) = 6*(lambda)^(- 4)-(1)/(2)*(lambda)^(- 2)</code> || <code>Subscript[c, 2]*(\[Lambda]) == 6*\[Lambda]^(- 4)-Divide[1,2]*\[Lambda]^(- 2)</code> || Skipped - no semantic math || Skipped - no semantic math || - || -
-|-
-| [https://dlmf.nist.gov/11.6#Ex4 11.6#Ex4] || [[Item:Q3987|<math>c_{3}(\lambda) = 20\lambda^{-6}-4\lambda^{-4}</math>]] || <code>c[3]*(lambda) = 20*(lambda)^(- 6)- 4*(lambda)^(- 4)</code> || <code>Subscript[c, 3]*(\[Lambda]) == 20*\[Lambda]^(- 6)- 4*\[Lambda]^(- 4)</code> || Skipped - no semantic math || Skipped - no semantic math || - || -
-|-
-| [https://dlmf.nist.gov/11.6#Ex5 11.6#Ex5] || [[Item:Q3988|<math>c_{4}(\lambda) = 70\lambda^{-8}-\tfrac{45}{2}\lambda^{-6}+\tfrac{3}{8}\lambda^{-4}</math>]] || <code>c[4]*(lambda) = 70*(lambda)^(- 8)-(45)/(2)*(lambda)^(- 6)+(3)/(8)*(lambda)^(- 4)</code> || <code>Subscript[c, 4]*(\[Lambda]) == 70*\[Lambda]^(- 8)-Divide[45,2]*\[Lambda]^(- 6)+Divide[3,8]*\[Lambda]^(- 4)</code> || Skipped - no semantic math || Skipped - no semantic math || - || -
-|-
-| [https://dlmf.nist.gov/11.7.E1 11.7.E1] || [[Item:Q3990|<math>\int z^{\nu}\StruveH{\nu-1}@{z}\diff{z} = z^{\nu}\StruveH{\nu}@{z}</math>]] || <code>int((z)^(nu)* StruveH(nu - 1, z), z) = (z)^(nu)* StruveH(nu, z)</code> || <code>Integrate[(z)^\[Nu]* StruveH[\[Nu]- 1, z], z, GenerateConditions->None] == (z)^\[Nu]* StruveH[\[Nu], z]</code> || Successful || Successful || - || Successful [Tested: 70]
-|-
-| [https://dlmf.nist.gov/11.7.E2 11.7.E2] || [[Item:Q3991|<math>\int z^{-\nu}\StruveH{\nu+1}@{z}\diff{z} = -z^{-\nu}\StruveH{\nu}@{z}+\frac{2^{-\nu}z}{\sqrt{\pi}\EulerGamma@{\nu+\tfrac{3}{2}}}</math>]] || <code>int((z)^(- nu)* StruveH(nu + 1, z), z) = - (z)^(- nu)* StruveH(nu, z)+((2)^(- nu)* z)/(sqrt(Pi)*GAMMA(nu +(3)/(2)))</code> || <code>Integrate[(z)^(- \[Nu])* StruveH[\[Nu]+ 1, z], z, GenerateConditions->None] == - (z)^(- \[Nu])* StruveH[\[Nu], z]+Divide[(2)^(- \[Nu])* z,Sqrt[Pi]*Gamma[\[Nu]+Divide[3,2]]]</code> || Successful || Successful || - || Successful [Tested: 56]
-|-
-| [https://dlmf.nist.gov/11.7.E3 11.7.E3] || [[Item:Q3992|<math>\int z^{\nu}\modStruveL{\nu-1}@{z}\diff{z} = z^{\nu}\modStruveL{\nu}@{z}</math>]] || <code>int((z)^(nu)* StruveL(nu - 1, z), z) = (z)^(nu)* StruveL(nu, z)</code> || <code>Integrate[(z)^\[Nu]* StruveL[\[Nu]- 1, z], z, GenerateConditions->None] == (z)^\[Nu]* StruveL[\[Nu], z]</code> || Failure || Successful || <div class="toccolours mw-collapsible mw-collapsed">Failed [4 / 70]<div class="mw-collapsible-content"><code>4/70]: [[15.74633170+6.711214442*I <- {nu = 1/2*3^(1/2)+1/2*I, z = -1/2+1/2*I*3^(1/2)}</code><br><code>1573.901952-547.1907270*I <- {nu = -1/2+1/2*I*3^(1/2), z = -1/2+1/2*I*3^(1/2)}</code><br></div></div> || Successful [Tested: 70]
-|-
-| [https://dlmf.nist.gov/11.7.E4 11.7.E4] || [[Item:Q3993|<math>\int z^{-\nu}\modStruveL{\nu+1}@{z}\diff{z} = z^{-\nu}\modStruveL{\nu}@{z}-\frac{2^{-\nu}z}{\sqrt{\pi}\EulerGamma@{\nu+\tfrac{3}{2}}}</math>]] || <code>int((z)^(- nu)* StruveL(nu + 1, z), z) = (z)^(- nu)* StruveL(nu, z)-((2)^(- nu)* z)/(sqrt(Pi)*GAMMA(nu +(3)/(2)))</code> || <code>Integrate[(z)^(- \[Nu])* StruveL[\[Nu]+ 1, z], z, GenerateConditions->None] == (z)^(- \[Nu])* StruveL[\[Nu], z]-Divide[(2)^(- \[Nu])* z,Sqrt[Pi]*Gamma[\[Nu]+Divide[3,2]]]</code> || Successful || Successful || - || Successful [Tested: 56]
-|-
-| [https://dlmf.nist.gov/11.7.E5 11.7.E5] || [[Item:Q3994|<math>f_{\nu}(z) = \int_{0}^{z}t^{\nu}\StruveH{\nu}@{t}\diff{t}</math>]] || <code>f[nu]*(z) = int((t)^(nu)* StruveH(nu, t), t = 0..z)</code> || <code>Subscript[f, \[Nu]]*(z) == Integrate[(t)^\[Nu]* StruveH[\[Nu], t], {t, 0, z}, GenerateConditions->None]</code> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><code>300/300]: [[.4776177026+.8322237517*I <- {nu = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I, f[nu] = 1/2*3^(1/2)+1/2*I}</code><br><code>-.8884077018+.4661983481*I <- {nu = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I, f[nu] = -1/2+1/2*I*3^(1/2)}</code><br></div></div> || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><code>{Complex[0.4776177021895665, 0.8322237514648603] <- {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[f, ν], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</code><br><code>Complex[-0.8884077015948724, 0.4661983476804216] <- {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[f, ν], Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</code><br></div></div>
-|-
-| [https://dlmf.nist.gov/11.7.E6 11.7.E6] || [[Item:Q3995|<math>f_{\nu+1}(z) = (2\nu+1)f_{\nu}(z)-z^{\nu+1}\StruveH{\nu}@{z}+\frac{(\tfrac{1}{2}z^{2})^{\nu+1}}{(\nu+1)\sqrt{\pi}\EulerGamma@{\nu+\tfrac{3}{2}}}</math>]] || <code>f[nu + 1]*(z) = (2*nu + 1)* f[nu]*(z)- (z)^(nu + 1)* StruveH(nu, z)+(((1)/(2)*(z)^(2))^(nu + 1))/((nu + 1)*sqrt(Pi)*GAMMA(nu +(3)/(2)))</code> || <code>Subscript[f, \[Nu]+ 1]*(z) == (2*\[Nu]+ 1)* Subscript[f, \[Nu]]*(z)- (z)^(\[Nu]+ 1)* StruveH[\[Nu], z]+Divide[(Divide[1,2]*(z)^(2))^(\[Nu]+ 1),(\[Nu]+ 1)*Sqrt[Pi]*Gamma[\[Nu]+Divide[3,2]]]</code> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><code>300/300]: [[.2926898254e-1-1.890529289*I <- {nu = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I, f[nu] = 1/2*3^(1/2)+1/2*I, f[nu+1] = 1/2*3^(1/2)+1/2*I}</code><br><code>-1.336756421-2.256554693*I <- {nu = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I, f[nu] = 1/2*3^(1/2)+1/2*I, f[nu+1] = -1/2+1/2*I*3^(1/2)}</code><br></div></div> || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><code>{Complex[0.029268983232513014, -1.8905292888907776] <- {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[f, ν], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[f, Plus[1, ν]], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</code><br><code>Complex[-1.3367564205519258, -2.2565546926752162] <- {Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[f, ν], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[f, Plus[1, ν]], Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</code><br></div></div>
-|-
-| [https://dlmf.nist.gov/11.7.E7 11.7.E7] || [[Item:Q3996|<math>\int_{0}^{\pi/2}\StruveH{\nu}@{z\sin@@{\theta}}\frac{(\sin@@{\theta})^{\nu+1}}{(\cos@@{\theta})^{2\nu}}\diff{\theta} = \frac{2^{-\nu}}{\sqrt{\pi}}\EulerGamma@{\tfrac{1}{2}-\nu}z^{\nu-1}(1-\cos@@{z})</math>]] || <code>int(StruveH(nu, z*sin(theta))*((sin(theta))^(nu + 1))/((cos(theta))^(2*nu)), theta = 0..Pi/ 2) = ((2)^(- nu))/(sqrt(Pi))*GAMMA((1)/(2)- nu)*(z)^(nu - 1)*(1 - cos(z))</code> || <code>Integrate[StruveH[\[Nu], z*Sin[\[Theta]]]*Divide[(Sin[\[Theta]])^(\[Nu]+ 1),(Cos[\[Theta]])^(2*\[Nu])], {\[Theta], 0, Pi/ 2}, GenerateConditions->None] == Divide[(2)^(- \[Nu]),Sqrt[Pi]]*Gamma[Divide[1,2]- \[Nu]]*(z)^(\[Nu]- 1)*(1 - Cos[z])</code> || Successful || Error || - || Successful [Tested: 21]
-|-
-| [https://dlmf.nist.gov/11.7#Ex1 11.7#Ex1] || [[Item:Q3997|<math>\int_{0}^{\infty}\StruveH{0}@{t}\,\frac{\diff{t}}{t} = \tfrac{1}{2}\pi</math>]] || <code>int(StruveH(0, t)*(1)/(t), t = 0..infinity) = (1)/(2)*Pi</code> || <code>Integrate[StruveH[0, t]*Divide[1,t], {t, 0, Infinity}, GenerateConditions->None] == Divide[1,2]*Pi</code> || Successful || Successful || - || Successful [Tested: 1]
-|-
-| [https://dlmf.nist.gov/11.7#Ex2 11.7#Ex2] || [[Item:Q3998|<math>\int_{0}^{\infty}\StruveH{1}@{t}\,\frac{\diff{t}}{t^{2}} = \tfrac{1}{4}\pi</math>]] || <code>int(StruveH(1, t)*(1)/((t)^(2)), t = 0..infinity) = (1)/(4)*Pi</code> || <code>Integrate[StruveH[1, t]*Divide[1,(t)^(2)], {t, 0, Infinity}, GenerateConditions->None] == Divide[1,4]*Pi</code> || Successful || Successful || - || Successful [Tested: 1]
-|-
-| [https://dlmf.nist.gov/11.7.E9 11.7.E9] || [[Item:Q3999|<math>\int_{0}^{\infty}\StruveH{\nu}@{t}\diff{t} = -\cot@{\tfrac{1}{2}\pi\nu}</math>]] || <code>int(StruveH(nu, t), t = 0..infinity) = - cot((1)/(2)*Pi*nu)</code> || <code>Integrate[StruveH[\[Nu], t], {t, 0, Infinity}, GenerateConditions->None] == - Cot[Divide[1,2]*Pi*\[Nu]]</code> || Successful || Error || - || Successful [Tested: 4]
-|-
-| [https://dlmf.nist.gov/11.7.E10 11.7.E10] || [[Item:Q4000|<math>\int_{0}^{\infty}t^{-\nu-1}\StruveH{\nu}@{t}\diff{t} = \frac{\pi}{2^{\nu+1}\EulerGamma@{\nu+1}}</math>]] || <code>int((t)^(- nu - 1)* StruveH(nu, t), t = 0..infinity) = (Pi)/((2)^(nu + 1)* GAMMA(nu + 1))</code> || <code>Integrate[(t)^(- \[Nu]- 1)* StruveH[\[Nu], t], {t, 0, Infinity}, GenerateConditions->None] == Divide[Pi,(2)^(\[Nu]+ 1)* Gamma[\[Nu]+ 1]]</code> || Successful || Error || - || Skipped - Because timed out
-|-
-| [https://dlmf.nist.gov/11.7.E11 11.7.E11] || [[Item:Q4001|<math>\int_{0}^{\infty}t^{\mu-\nu-1}\StruveH{\nu}@{t}\diff{t} = \frac{\EulerGamma@{\tfrac{1}{2}\mu}2^{\mu-\nu-1}\tan@{\tfrac{1}{2}\pi\mu}}{\EulerGamma@{\nu-\tfrac{1}{2}\mu+1}}</math>]] || <code>int((t)^(mu - nu - 1)* StruveH(nu, t), t = 0..infinity) = (GAMMA((1)/(2)*mu)*(2)^(mu - nu - 1)* tan((1)/(2)*Pi*mu))/(GAMMA(nu -(1)/(2)*mu + 1))</code> || <code>Integrate[(t)^(\[Mu]- \[Nu]- 1)* StruveH[\[Nu], t], {t, 0, Infinity}, GenerateConditions->None] == Divide[Gamma[Divide[1,2]*\[Mu]]*(2)^(\[Mu]- \[Nu]- 1)* Tan[Divide[1,2]*Pi*\[Mu]],Gamma[\[Nu]-Divide[1,2]*\[Mu]+ 1]]</code> || Successful || Error || - || Skipped - Because timed out
-|-
-| [https://dlmf.nist.gov/11.7.E12 11.7.E12] || [[Item:Q4002|<math>\int_{0}^{\infty}t^{-\mu-\nu}\StruveH{\mu}@{t}\StruveH{\nu}@{t}\diff{t} = \frac{\sqrt{\pi}\EulerGamma@{\mu+\nu}}{2^{\mu+\nu}\EulerGamma@{\mu+\nu+\tfrac{1}{2}}\EulerGamma@{\mu+\tfrac{1}{2}}\EulerGamma@{\nu+\tfrac{1}{2}}}</math>]] || <code>int((t)^(- mu - nu)* StruveH(mu, t)*StruveH(nu, t), t = 0..infinity) = (sqrt(Pi)*GAMMA(mu + nu))/((2)^(mu + nu)* GAMMA(mu + nu +(1)/(2))*GAMMA(mu +(1)/(2))*GAMMA(nu +(1)/(2)))</code> || <code>Integrate[(t)^(- \[Mu]- \[Nu])* StruveH[\[Mu], t]*StruveH[\[Nu], t], {t, 0, Infinity}, GenerateConditions->None] == Divide[Sqrt[Pi]*Gamma[\[Mu]+ \[Nu]],(2)^(\[Mu]+ \[Nu])* Gamma[\[Mu]+ \[Nu]+Divide[1,2]]*Gamma[\[Mu]+Divide[1,2]]*Gamma[\[Nu]+Divide[1,2]]]</code> || Successful || Error || - || Skipped - Because timed out
-|-
-| [https://dlmf.nist.gov/11.7.E13 11.7.E13] || [[Item:Q4003|<math>\int_{0}^{\infty}e^{-at}\StruveH{0}@{t}\diff{t} = \frac{2}{\pi\sqrt{1+a^{2}}}\ln@{\frac{1+\sqrt{1+a^{2}}}{a}}</math>]] || <code>int(exp(- a*t)*StruveH(0, t), t = 0..infinity) = (2)/(Pi*sqrt(1 + (a)^(2)))*ln((1 +sqrt(1 + (a)^(2)))/(a))</code> || <code>Integrate[Exp[- a*t]*StruveH[0, t], {t, 0, Infinity}, GenerateConditions->None] == Divide[2,Pi*Sqrt[1 + (a)^(2)]]*Log[Divide[1 +Sqrt[1 + (a)^(2)],a]]</code> || Failure || Error || <div class="toccolours mw-collapsible mw-collapsed">Failed [3 / 6]<div class="mw-collapsible-content"><code>3/6]: [[0.-1.109400392*I <- {a = -3/2}</code><br><code>.7e-9-1.788854381*I <- {a = -1/2}</code><br></div></div> || <div class="toccolours mw-collapsible mw-collapsed">Failed [3 / 6]<div class="mw-collapsible-content"><code>{Complex[-8.326672684688674*^-17, -1.1094003924504583] <- {Rule[a, -1.5]}</code><br><code>Complex[0.0, -1.7888543819998317] <- {Rule[a, -0.5]}</code><br></div></div>
-|-
-| [https://dlmf.nist.gov/11.7.E14 11.7.E14] || [[Item:Q4004|<math>\int_{0}^{\infty}e^{-at}\StruveH{1}@{t}\diff{t} = \frac{2}{\pi a}-\frac{2a}{\pi\sqrt{1+a^{2}}}\ln@{\frac{1+\sqrt{1+a^{2}}}{a}}</math>]] || <code>int(exp(- a*t)*StruveH(1, t), t = 0..infinity) = (2)/(Pi*a)-(2*a)/(Pi*sqrt(1 + (a)^(2)))*ln((1 +sqrt(1 + (a)^(2)))/(a))</code> || <code>Integrate[Exp[- a*t]*StruveH[1, t], {t, 0, Infinity}, GenerateConditions->None] == Divide[2,Pi*a]-Divide[2*a,Pi*Sqrt[1 + (a)^(2)]]*Log[Divide[1 +Sqrt[1 + (a)^(2)],a]]</code> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [3 / 6]<div class="mw-collapsible-content"><code>3/6]: [[.1865480398-1.664100588*I <- {a = -3/2}</code><br><code>1.724458563-.8944271906*I <- {a = -1/2}</code><br></div></div> || <div class="toccolours mw-collapsible mw-collapsed">Failed [3 / 6]<div class="mw-collapsible-content"><code>{Complex[-5.551115123125783*^-17, -1.6641005886756874] <- {Rule[a, -1.5]}</code><br><code>Complex[1.1102230246251565*^-16, -0.8944271909999159] <- {Rule[a, -0.5]}</code><br></div></div>
-|-
-| [https://dlmf.nist.gov/11.7.E15 11.7.E15] || [[Item:Q4005|<math>\int_{0}^{\infty}e^{-at}\modStruveL{0}@{t}\diff{t} = \frac{2}{\pi\sqrt{a^{2}\!-\!1}}\asin@{\frac{1}{a}}</math>]] || <code>int(exp(- a*t)*StruveL(0, t), t = 0..infinity) = (2)/(Pi*sqrt((a)^(2)- 1))*arcsin((1)/(a))</code> || <code>Integrate[Exp[- a*t]*StruveL[0, t], {t, 0, Infinity}, GenerateConditions->None] == Divide[2,Pi*Sqrt[(a)^(2)- 1]]*ArcSin[Divide[1,a]]</code> || Failure || Successful || <div class="toccolours mw-collapsible mw-collapsed">Failed [4 / 6]<div class="mw-collapsible-content"><code>4/6]: [[.8310285000-.2578603735e-9*I <- {a = -3/2}</code><br><code>-1.936205180+0.*I <- {a = -1/2}</code><br></div></div> || Successful [Tested: 6]
-|-
-| [https://dlmf.nist.gov/11.7#Ex4 11.7#Ex4] || [[Item:Q4007|<math> = \frac{2a}{\pi\sqrt{a^{2}\!-\!1}}\atan@{\frac{1}{\sqrt{a^{2}\!-\!1}}}-\frac{2}{\pi a}</math>]] || <code>= (2*a)/(Pi*sqrt((a)^(2)- 1))*arctan((1)/(sqrt((a)^(2)- 1)))-(2)/(Pi*a)</code> || <code>== Divide[2*a,Pi*Sqrt[(a)^(2)- 1]]*ArcTan[Divide[1,Sqrt[(a)^(2)- 1]]]-Divide[2,Pi*a]</code> || Error || Failure || - || Error
-|-
-| [https://dlmf.nist.gov/11.9.E1 11.9.E1] || [[Item:Q4008|<math>\deriv[2]{w}{z}+\frac{1}{z}\deriv{w}{z}+\left(1-\frac{\nu^{2}}{z^{2}}\right)w = z^{\mu-1}</math>]] || <code>diff(w, [z$(2)])+(1)/(z)*diff(w, z)+(1 -((nu)^(2))/((z)^(2)))* w = (z)^(mu - 1)</code> || <code>D[w, {z, 2}]+Divide[1,z]*D[w, z]+(1 -Divide[\[Nu]^(2),(z)^(2)])* w == (z)^(\[Mu]- 1)</code> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><code>300/300]: [[-.7677724761+.5394693872e-1*I <- {mu = 1/2*3^(1/2)+1/2*I, nu = 1/2*3^(1/2)+1/2*I, w = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I}</code><br><code>1.394855253+1.097179568*I <- {mu = 1/2*3^(1/2)+1/2*I, nu = 1/2*3^(1/2)+1/2*I, w = 1/2*3^(1/2)+1/2*I, z = -1/2+1/2*I*3^(1/2)}</code><br></div></div> || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><code>{Complex[-0.7677724760456721, 0.053946938885231305] <- {Rule[w, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[μ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</code><br><code>Complex[0.9642783315232053, 1.0539469388852312] <- {Rule[w, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[μ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[ν, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</code><br></div></div>
-|-
-| [https://dlmf.nist.gov/11.9.E2 11.9.E2] || [[Item:Q4009|<math>w = \Lommels{\mu}{\nu}@{z}+A\BesselJ{\nu}@{z}+B\BesselY{\nu}@{z}</math>]] || <code>w = LommelS1(mu, nu, z)+ A*BesselJ(nu, z)+ B*BesselY(nu, z)</code> || <code>Error</code> || Failure || Error || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><code>300/300]: [[.9752372341+.4710119144*I <- {A = 1/2*3^(1/2)+1/2*I, B = 1/2*3^(1/2)+1/2*I, mu = 1/2*3^(1/2)+1/2*I, nu = 1/2*3^(1/2)+1/2*I, w = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I}</code><br><code>1.486411080-.4774576789*I <- {A = 1/2*3^(1/2)+1/2*I, B = 1/2*3^(1/2)+1/2*I, mu = 1/2*3^(1/2)+1/2*I, nu = 1/2*3^(1/2)+1/2*I, w = 1/2*3^(1/2)+1/2*I, z = -1/2+1/2*I*3^(1/2)}</code><br></div></div> || -
-|-
-| [https://dlmf.nist.gov/11.9.E3 11.9.E3] || [[Item:Q4010|<math>\Lommels{\mu}{\nu}@{z} = z^{\mu+1}\sum_{k=0}^{\infty}(-1)^{k}\frac{z^{2k}}{a_{k+1}(\mu,\nu)}</math>]] || <code>LommelS1(mu, nu, z) = (z)^(mu + 1)* sum((- 1)^(k)*((z)^(2*k))/(a[k + 1]*(mu , nu)), k = 0..infinity)</code> || <code>Error</code> || Failure || Error || Error || -
-|-
-| [https://dlmf.nist.gov/11.9.E4 11.9.E4] || [[Item:Q4011|<math>a_{k}(\mu,\nu) = \prod_{m=1}^{k}\left((\mu+2m-1)^{2}-\nu^{2}\right)</math>]] || <code>a[k]*(mu , nu) = product((mu + 2*m - 1)^(2)- (nu)^(2), m = 1..k)</code> || <code>Subscript[a, k]*(\[Mu], \[Nu]) == Product[(\[Mu]+ 2*m - 1)^(2)- \[Nu]^(2), {m, 1, k}, GenerateConditions->None]</code> || Skipped - no semantic math || Skipped - no semantic math || - || -
-|-
-| [https://dlmf.nist.gov/11.9.E5 11.9.E5] || [[Item:Q4012|<math>\LommelS{\mu}{\nu}@{z} = \Lommels{\mu}{\nu}@{z}+2^{\mu-1}\EulerGamma@{\tfrac{1}{2}\mu+\tfrac{1}{2}\nu+\tfrac{1}{2}}\EulerGamma@{\tfrac{1}{2}\mu-\tfrac{1}{2}\nu+\tfrac{1}{2}}\*\left(\sin@{\tfrac{1}{2}(\mu-\nu)\pi}\,\BesselJ{\nu}@{z}-\cos@{\tfrac{1}{2}(\mu-\nu)\pi}\,\BesselY{\nu}@{z}\right)</math>]] || <code>LommelS2(mu, nu, z) = LommelS1(mu, nu, z)+ (2)^(mu - 1)* GAMMA((1)/(2)*mu +(1)/(2)*nu +(1)/(2))*GAMMA((1)/(2)*mu -(1)/(2)*nu +(1)/(2))*(sin((1)/(2)*(mu - nu)* Pi)*BesselJ(nu, z)- cos((1)/(2)*(mu - nu)* Pi)*BesselY(nu, z))</code> || <code>Error</code> || Successful || Error || - || -
-|-
-| [https://dlmf.nist.gov/11.9#Ex1 11.9#Ex1] || [[Item:Q4013|<math>\Lommels{\mu}{-\nu}@{z} = \Lommels{\mu}{\nu}@{z}</math>]] || <code>LommelS1(mu, - nu, z) = LommelS1(mu, nu, z)</code> || <code>Error</code> || Successful || Error || - || -
-|-
-| [https://dlmf.nist.gov/11.9#Ex2 11.9#Ex2] || [[Item:Q4014|<math>\LommelS{\mu}{-\nu}@{z} = \LommelS{\mu}{\nu}@{z}</math>]] || <code>LommelS2(mu, - nu, z) = LommelS2(mu, nu, z)</code> || <code>Error</code> || Successful || Error || - || -
-|-
-| [https://dlmf.nist.gov/11.9.E8 11.9.E8] || [[Item:Q4016|<math>\Lommels{\mu}{\nu}@{z} = 2^{(\mu+\nu-1)/2}\EulerGamma@{\tfrac{1}{2}\mu+\tfrac{1}{2}\nu+\tfrac{1}{2}}z^{(\mu+1-\nu)/2}\*\sum_{k=0}^{\infty}\frac{(\tfrac{1}{2}z)^{k}}{k!(2k+\mu-\nu+1)}\BesselJ{k+\frac{1}{2}(\mu+\nu+1)}@{z}</math>]] || <code>LommelS1(mu, nu, z) = (2)^((mu + nu - 1)/ 2)* GAMMA((1)/(2)*mu +(1)/(2)*nu +(1)/(2))*(z)^((mu + 1 - nu)/ 2)* sum((((1)/(2)*z)^(k))/(factorial(k)*(2*k + mu - nu + 1))*BesselJ(k +(1)/(2)*(mu + nu + 1), z), k = 0..infinity)</code> || <code>Error</code> || Failure || Error || Skipped - Because timed out || -
-|-
-| [https://dlmf.nist.gov/11.10.E1 11.10.E1] || [[Item:Q4018|<math>\AngerJ{\nu}@{z} = \frac{1}{\pi}\int_{0}^{\pi}\cos@{\nu\theta-z\sin@@{\theta}}\diff{\theta}</math>]] || <code>AngerJ(nu, z) = (1)/(Pi)*int(cos(nu*theta - z*sin(theta)), theta = 0..Pi)</code> || <code>AngerJ[\[Nu], z] == Divide[1,Pi]*Integrate[Cos[\[Nu]*\[Theta]- z*Sin[\[Theta]]], {\[Theta], 0, Pi}, GenerateConditions->None]</code> || Failure || Error || Successful [Tested: 70] || Skipped - Because timed out
-|-
-| [https://dlmf.nist.gov/11.10.E2 11.10.E2] || [[Item:Q4019|<math>\WeberE{\nu}@{z} = \frac{1}{\pi}\int_{0}^{\pi}\sin@{\nu\theta-z\sin@@{\theta}}\diff{\theta}</math>]] || <code>WeberE(nu, z) = (1)/(Pi)*int(sin(nu*theta - z*sin(theta)), theta = 0..Pi)</code> || <code>WeberE[\[Nu], z] == Divide[1,Pi]*Integrate[Sin[\[Nu]*\[Theta]- z*Sin[\[Theta]]], {\[Theta], 0, Pi}, GenerateConditions->None]</code> || Failure || Failure || Successful [Tested: 70] || Skipped - Because timed out
-|-
-| [https://dlmf.nist.gov/11.10.E3 11.10.E3] || [[Item:Q4020|<math>\frac{1}{\pi}\int_{0}^{2\pi}\cos@{\nu\theta-z\sin@@{\theta}}\diff{\theta} = (1+\cos@{2\pi\nu})\,\AngerJ{\nu}@{z}+\sin@{2\pi\nu}\WeberE{\nu}@{z}</math>]] || <code>(1)/(Pi)*int(cos(nu*theta - z*sin(theta)), theta = 0..2*Pi) = (1 + cos(2*Pi*nu))* AngerJ(nu, z)+ sin(2*Pi*nu)*WeberE(nu, z)</code> || <code>Divide[1,Pi]*Integrate[Cos[\[Nu]*\[Theta]- z*Sin[\[Theta]]], {\[Theta], 0, 2*Pi}, GenerateConditions->None] == (1 + Cos[2*Pi*\[Nu]])* AngerJ[\[Nu], z]+ Sin[2*Pi*\[Nu]]*WeberE[\[Nu], z]</code> || Failure || Failure || Successful [Tested: 70] || Skipped - Because timed out
-|-
-| [https://dlmf.nist.gov/11.10.E8 11.10.E8] || [[Item:Q4025|<math>\AngerJ{\nu}@{z} = \cos@{\tfrac{1}{2}\pi\nu}\,S_{1}(\nu,z)+\sin@{\tfrac{1}{2}\pi\nu}\,S_{2}(\nu,z)</math>]] || <code>AngerJ(nu, z) = cos((1)/(2)*Pi*nu)*S[1]*(nu , z)+ sin((1)/(2)*Pi*nu)*S[2]*(nu , z)</code> || <code>AngerJ[\[Nu], z] == Cos[Divide[1,2]*Pi*\[Nu]]*Subscript[S, 1]*(\[Nu], z)+ Sin[Divide[1,2]*Pi*\[Nu]]*Subscript[S, 2]*(\[Nu], z)</code> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><code>300/300]: [[.4325617835-.4216939044*I-(1.695493166+.2075033380*I)*(.8660254040+.5000000000*I, .8660254040+.5000000000*I) <- {nu = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I, S[1] = 1/2*3^(1/2)+1/2*I, S[2] = 1/2*3^(1/2)+1/2*I}</code><br><code>.4325617835-.4216939044*I+(.1404557731-.4337646272*I)*(.8660254040+.5000000000*I, .8660254040+.5000000000*I) <- {nu = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I, S[1] = 1/2*3^(1/2)+1/2*I, S[2] = -1/2+1/2*I*3^(1/2)}</code><br></div></div> || Error
-|-
-| [https://dlmf.nist.gov/11.10.E9 11.10.E9] || [[Item:Q4026|<math>\WeberE{\nu}@{z} = \sin@{\tfrac{1}{2}\pi\nu}\,S_{1}(\nu,z)-\cos@{\tfrac{1}{2}\pi\nu}\,S_{2}(\nu,z)</math>]] || <code>WeberE(nu, z) = sin((1)/(2)*Pi*nu)*S[1]*(nu , z)- cos((1)/(2)*Pi*nu)*S[2]*(nu , z)</code> || <code>WeberE[\[Nu], z] == Sin[Divide[1,2]*Pi*\[Nu]]*Subscript[S, 1]*(\[Nu], z)- Cos[Divide[1,2]*Pi*\[Nu]]*Subscript[S, 2]*(\[Nu], z)</code> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><code>300/300]: [[.6530158617-.8867638354e-1*I-(.3667170623+1.402184312*I)*(.8660254040+.5000000000*I, .8660254040+.5000000000*I) <- {nu = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I, S[1] = 1/2*3^(1/2)+1/2*I, S[2] = 1/2*3^(1/2)+1/2*I}</code><br><code>.6530158617-.8867638354e-1*I-(.4337646272+.1404557731*I)*(.8660254040+.5000000000*I, .8660254040+.5000000000*I) <- {nu = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I, S[1] = 1/2*3^(1/2)+1/2*I, S[2] = -1/2+1/2*I*3^(1/2)}</code><br></div></div> || Error
-|-
-| [https://dlmf.nist.gov/11.10.E10 11.10.E10] || [[Item:Q4027|<math>S_{1}(\nu,z) = \sum_{k=0}^{\infty}\frac{(-1)^{k}(\tfrac{1}{2}z)^{2k}}{\EulerGamma@{k\!+\!\tfrac{1}{2}\nu+1}\EulerGamma@{k\!-\!\tfrac{1}{2}\nu\!+\!1}}</math>]] || <code>S[1]*(nu , z) = sum(((- 1)^(k)*((1)/(2)*z)^(2*k))/(GAMMA(k +(1)/(2)*nu + 1)*GAMMA(k -(1)/(2)*nu + 1)), k = 0..infinity)</code> || <code>Subscript[S, 1]*(\[Nu], z) == Sum[Divide[(- 1)^(k)*(Divide[1,2]*z)^(2*k),Gamma[k +Divide[1,2]*\[Nu]+ 1]*Gamma[k -Divide[1,2]*\[Nu]+ 1]], {k, 0, Infinity}, GenerateConditions->None]</code> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><code>300/300]: [[(.8660254040+.5000000000*I)*(.8660254040+.5000000000*I, .8660254040+.5000000000*I)-.6234597010+.4805214665*I <- {nu = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I, S[1] = 1/2*3^(1/2)+1/2*I}</code><br><code>(-.5000000000+.8660254040*I)*(.8660254040+.5000000000*I, .8660254040+.5000000000*I)-.6234597010+.4805214665*I <- {nu = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I, S[1] = -1/2+1/2*I*3^(1/2)}</code><br></div></div> || Error
-|-
-| [https://dlmf.nist.gov/11.10.E11 11.10.E11] || [[Item:Q4028|<math>S_{2}(\nu,z) = \sum_{k=0}^{\infty}\frac{(-1)^{k}(\tfrac{1}{2}z)^{2k+1}}{\EulerGamma@{k\!+\!\tfrac{1}{2}\nu\!+\!\tfrac{3}{2}}\EulerGamma@{k\!-\!\tfrac{1}{2}\nu\!+\!\tfrac{3}{2}}}</math>]] || <code>S[2]*(nu , z) = sum(((- 1)^(k)*((1)/(2)*z)^(2*k + 1))/(GAMMA(k +(1)/(2)*nu +(3)/(2))*GAMMA(k -(1)/(2)*nu +(3)/(2))), k = 0..infinity)</code> || <code>Subscript[S, 2]*(\[Nu], z) == Sum[Divide[(- 1)^(k)*(Divide[1,2]*z)^(2*k + 1),Gamma[k +Divide[1,2]*\[Nu]+Divide[3,2]]*Gamma[k -Divide[1,2]*\[Nu]+Divide[3,2]]], {k, 0, Infinity}, GenerateConditions->None]</code> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [300 / 300]<div class="mw-collapsible-content"><code>300/300]: [[(.8660254040+.5000000000*I)*(.8660254040+.5000000000*I, .8660254040+.5000000000*I)-.4892722811e-1+.1117224133*I <- {nu = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I, S[2] = 1/2*3^(1/2)+1/2*I}</code><br><code>(-.5000000000+.8660254040*I)*(.8660254040+.5000000000*I, .8660254040+.5000000000*I)-.4892722811e-1+.1117224133*I <- {nu = 1/2*3^(1/2)+1/2*I, z = 1/2*3^(1/2)+1/2*I, S[2] = -1/2+1/2*I*3^(1/2)}</code><br></div></div> || Error
-|-
-| [https://dlmf.nist.gov/11.10#Ex1 11.10#Ex1] || [[Item:Q4029|<math>\AngerJ{\nu}@{-z} = \AngerJ{-\nu}@{z}</math>]] || <code>AngerJ(nu, - z) = AngerJ(- nu, z)</code> || <code>AngerJ[\[Nu], - z] == AngerJ[- \[Nu], z]</code> || Successful || Successful || - || Successful [Tested: 70]
-|-
-| [https://dlmf.nist.gov/11.10#Ex2 11.10#Ex2] || [[Item:Q4030|<math>\WeberE{\nu}@{-z} = -\WeberE{-\nu}@{z}</math>]] || <code>WeberE(nu, - z) = - WeberE(- nu, z)</code> || <code>WeberE[\[Nu], - z] == - WeberE[- \[Nu], z]</code> || Successful || Successful || - || Successful [Tested: 70]
-|-
-| [https://dlmf.nist.gov/11.10.E13 11.10.E13] || [[Item:Q4031|<math>\sin@{\pi\nu}\,\AngerJ{\nu}@{z} = \cos@{\pi\nu}\,\WeberE{\nu}@{z}-\WeberE{-\nu}@{z}</math>]] || <code>sin(Pi*nu)*AngerJ(nu, z) = cos(Pi*nu)*WeberE(nu, z)- WeberE(- nu, z)</code> || <code>Sin[Pi*\[Nu]]*AngerJ[\[Nu], z] == Cos[Pi*\[Nu]]*WeberE[\[Nu], z]- WeberE[- \[Nu], z]</code> || Successful || Failure || - || Successful [Tested: 70]
-|-
-| [https://dlmf.nist.gov/11.10.E14 11.10.E14] || [[Item:Q4032|<math>\sin@{\pi\nu}\,\WeberE{\nu}@{z} = \AngerJ{-\nu}@{z}-\cos@{\pi\nu}\,\AngerJ{\nu}@{z}</math>]] || <code>sin(Pi*nu)*WeberE(nu, z) = AngerJ(- nu, z)- cos(Pi*nu)*AngerJ(nu, z)</code> || <code>Sin[Pi*\[Nu]]*WeberE[\[Nu], z] == AngerJ[- \[Nu], z]- Cos[Pi*\[Nu]]*AngerJ[\[Nu], z]</code> || Successful || Failure || - || Successful [Tested: 70]
-|-
-| [https://dlmf.nist.gov/11.10.E17 11.10.E17] || [[Item:Q4035|<math>\AngerJ{\nu}@{z} = \frac{\sin@{\pi\nu}}{\pi}(\Lommels{0}{\nu}@{z}-\nu\Lommels{-1}{\nu}@{z})</math>]] || <code>AngerJ(nu, z) = (sin(Pi*nu))/(Pi)*(LommelS1(0, nu, z)- nu*LommelS1(- 1, nu, z))</code> || <code>Error</code> || Successful || Error || - || -
-|-
-| [https://dlmf.nist.gov/11.10.E18 11.10.E18] || [[Item:Q4036|<math>\WeberE{\nu}@{z} = -\frac{1}{\pi}(1+\cos@{\pi\nu})\Lommels{0}{\nu}@{z}\\ -\frac{\nu}{\pi}(1-\cos@{\pi\nu})\Lommels{-1}{\nu}@{z}</math>]] || <code>WeberE(nu, z) = -(1)/(Pi)*(1 + cos(Pi*nu))* LommelS1(0, nu, z)-(nu)/(Pi)*(1 - cos(Pi*nu))* LommelS1(- 1, nu, z)</code> || <code>Error</code> || Successful || Error || - || -
-|-
-| [https://dlmf.nist.gov/11.10.E19 11.10.E19] || [[Item:Q4037|<math>\AngerJ{-\frac{1}{2}}@{z} = \WeberE{\frac{1}{2}}@{z}\\</math>]] || <code>AngerJ(-(1)/(2), z) = WeberE((1)/(2), z)</code> || <code>AngerJ[-Divide[1,2], z] == WeberE[Divide[1,2], z]</code> || Successful || Successful || - || Successful [Tested: 7]
-|-
-| [https://dlmf.nist.gov/11.10.E19 11.10.E19] || [[Item:Q4037|<math>\WeberE{\frac{1}{2}}@{z}\\ = (\tfrac{1}{2}\pi z)^{-\frac{1}{2}}(A_{+}(\chi)\cos@@{z}-A_{-}(\chi)\sin@@{z})</math>]] || <code>WeberE((1)/(2), z) = ((1)/(2)*Pi*z)^(-(1)/(2))*(A[+]*(chi)*cos(z)- A[-]*(chi)*sin(z))</code> || <code>WeberE[Divide[1,2], z] == (Divide[1,2]*Pi*z)^(-Divide[1,2])*(Subscript[A, +]*(\[Chi])*Cos[z]- Subscript[A, -]*(\[Chi])*Sin[z])</code> || Error || Failure || - || Error
-|-
-| [https://dlmf.nist.gov/11.10.E20 11.10.E20] || [[Item:Q4038|<math>\AngerJ{\frac{1}{2}}@{z} = -\WeberE{-\frac{1}{2}}@{z}\\</math>]] || <code>AngerJ((1)/(2), z) = - WeberE(-(1)/(2), z)</code> || <code>AngerJ[Divide[1,2], z] == - WeberE[-Divide[1,2], z]</code> || Successful || Successful || - || Successful [Tested: 7]
-|-
-| [https://dlmf.nist.gov/11.10.E20 11.10.E20] || [[Item:Q4038|<math>-\WeberE{-\frac{1}{2}}@{z}\\ = (\tfrac{1}{2}\pi z)^{-\frac{1}{2}}(A_{+}(\chi)\sin@@{z}+A_{-}(\chi)\cos@@{z})</math>]] || <code>- WeberE(-(1)/(2), z) = ((1)/(2)*Pi*z)^(-(1)/(2))*(A[+]*(chi)*sin(z)+ A[-]*(chi)*cos(z))</code> || <code>- WeberE[-Divide[1,2], z] == (Divide[1,2]*Pi*z)^(-Divide[1,2])*(Subscript[A, +]*(\[Chi])*Sin[z]+ Subscript[A, -]*(\[Chi])*Cos[z])</code> || Error || Failure || - || Error
-|-
-| [https://dlmf.nist.gov/11.10#Ex3 11.10#Ex3] || [[Item:Q4039|<math>A_{+}(\chi) = \Fresnelcosint@{\chi}+\Fresnelsinint@{\chi}</math>]] || <code>A[+]*(chi) = FresnelC(chi)+ FresnelS(chi)</code> || <code>Subscript[A, +]*(\[Chi]) == FresnelC[\[Chi]]+ FresnelS[\[Chi]]</code> || Error || Failure || - || Error
-|-
-| [https://dlmf.nist.gov/11.10#Ex3 11.10#Ex3] || [[Item:Q4039|<math>A_{-}(\chi) = \Fresnelcosint@{\chi}-\Fresnelsinint@{\chi}</math>]] || <code>A[-]*(chi) = FresnelC(chi)- FresnelS(chi)</code> || <code>Subscript[A, -]*(\[Chi]) == FresnelC[\[Chi]]- FresnelS[\[Chi]]</code> || Error || Failure || - || Error
-|-
-| [https://dlmf.nist.gov/11.10#Ex4 11.10#Ex4] || [[Item:Q4040|<math>\chi = (2z/\pi)^{\frac{1}{2}}</math>]] || <code>chi = (2*z/ Pi)^((1)/(2))</code> || <code>\[Chi] == (2*z/ Pi)^(Divide[1,2])</code> || Skipped - no semantic math || Skipped - no semantic math || - || -
-|-
-| [https://dlmf.nist.gov/11.10.E22 11.10.E22] || [[Item:Q4041|<math>\WeberE{n}@{z} = -\StruveH{n}@{z}+\frac{1}{\pi}\sum_{k=0}^{m_{1}}\frac{\EulerGamma@{k+\tfrac{1}{2}}}{\EulerGamma@{n\!+\!\tfrac{1}{2}\!-\!k}}(\tfrac{1}{2}z)^{n-2k-1}</math>]] || <code>WeberE(n, z) = - StruveH(n, z)+(1)/(Pi)*sum((GAMMA(k +(1)/(2)))/(GAMMA(n +(1)/(2)- k))*((1)/(2)*z)^(n - 2*k - 1), k = 0..m[1])</code> || <code>WeberE[n, z] == - StruveH[n, z]+Divide[1,Pi]*Sum[Divide[Gamma[k +Divide[1,2]],Gamma[n +Divide[1,2]- k]]*(Divide[1,2]*z)^(n - 2*k - 1), {k, 0, Subscript[m, 1]}, GenerateConditions->None]</code> || Failure || Failure || - || <div class="toccolours mw-collapsible mw-collapsed">Failed [210 / 210]<div class="mw-collapsible-content"><code>{Plus[0.6366197723675814, Times[-0.3183098861837907, DifferenceRoot[Function[{, } <- {Equal[Plus[Times[-1, Plus[-1, Times[2, ]], Plus[1, Times[2, ]], []], Times[Plus[-1, Times[-1, Power[-1, Rational[1, 3]]], Times[4, Power[, 2]]], [Plus[1, ]]], Times[Power[-1, Rational[1, 3]], [Plus[2, ]]]], 0], Equal[[0], 0], Equal[[1], 2]}]][Complex[1.8660254037844388, 0.49999999999999994]]]], {Rule[n, 1], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[m, 1], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</code><br><code>Plus[Complex[0.18377629847393068, 0.10610329539459687], Times[Complex[-0.13783222385544802, -0.07957747154594766], DifferenceRoot[Function[{, } <- {Equal[Plus[Times[-1, Plus[-3, Times[2, ]], Plus[1, Times[2, ]], []], Times[Plus[-3, Times[-1, Power[-1, Rational[1, 3]]], Times[-4, ], Times[4, Power[, 2]]], [Plus[1, ]]], Times[Power[-1, Rational[1, 3]], [Plus[2, ]]]], 0], Equal[[0], 0], Equal[[1], Rational[4, 3]]}]][Complex[1.8660254037844388, 0.49999999999999994]]]], {Rule[n, 2], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[m, 1], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</code><br></div></div>
-|-
-| [https://dlmf.nist.gov/11.10.E23 11.10.E23] || [[Item:Q4042|<math>\WeberE{-n}@{z} = -\StruveH{-n}@{z}+\frac{(-1)^{n+1}}{\pi}\sum_{k=0}^{m_{2}}\frac{\EulerGamma@{n\!-\!k\!-\!\tfrac{1}{2}}}{\EulerGamma@{k+\tfrac{3}{2}}}(\tfrac{1}{2}z)^{-n+2k+1}</math>]] || <code>WeberE(- n, z) = - StruveH(- n, z)+((- 1)^(n + 1))/(Pi)*sum((GAMMA(n - k -(1)/(2)))/(GAMMA(k +(3)/(2)))*((1)/(2)*z)^(- n + 2*k + 1), k = 0..m[2])</code> || <code>WeberE[- n, z] == - StruveH[- n, z]+Divide[(- 1)^(n + 1),Pi]*Sum[Divide[Gamma[n - k -Divide[1,2]],Gamma[k +Divide[3,2]]]*(Divide[1,2]*z)^(- n + 2*k + 1), {k, 0, Subscript[m, 2]}, GenerateConditions->None]</code> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [210 / 210]<div class="mw-collapsible-content"><code>210/210]: [[-.5182370935+.1715162156*I <- {z = 1/2*3^(1/2)+1/2*I, m[2] = 1/2*3^(1/2)+1/2*I, n = 1}</code><br><code>.1977910573+.6179671328e-1*I <- {z = 1/2*3^(1/2)+1/2*I, m[2] = 1/2*3^(1/2)+1/2*I, n = 2}</code><br></div></div> || <div class="toccolours mw-collapsible mw-collapsed">Failed [210 / 210]<div class="mw-collapsible-content"><code>{Complex[-0.5182370936641069, 0.17151621559870867] <- {Rule[n, 1], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[m, 2], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</code><br><code>Complex[0.19779105745155356, 0.06179671324201291] <- {Rule[n, 2], Rule[z, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[Subscript[m, 2], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</code><br></div></div>
-|-
-| [https://dlmf.nist.gov/11.10#Ex5 11.10#Ex5] || [[Item:Q4043|<math>m_{1} = \floor{\tfrac{1}{2}n-\tfrac{1}{2}}</math>]] || <code>m[1] = floor((1)/(2)*n -(1)/(2))</code> || <code>Subscript[m, 1] == Floor[Divide[1,2]*n -Divide[1,2]]</code> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [30 / 30]<div class="mw-collapsible-content"><code>30/30]: [[.8660254040+.5000000000*I <- {m[1] = 1/2*3^(1/2)+1/2*I, n = 1}</code><br><code>.8660254040+.5000000000*I <- {m[1] = 1/2*3^(1/2)+1/2*I, n = 2}</code><br></div></div> || <div class="toccolours mw-collapsible mw-collapsed">Failed [30 / 30]<div class="mw-collapsible-content"><code>{Complex[0.8660254037844387, 0.49999999999999994] <- {Rule[n, 1], Rule[Subscript[m, 1], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</code><br><code>Complex[0.8660254037844387, 0.49999999999999994] <- {Rule[n, 2], Rule[Subscript[m, 1], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</code><br></div></div>
-|-
-| [https://dlmf.nist.gov/11.10#Ex6 11.10#Ex6] || [[Item:Q4044|<math>m_{2} = \ceiling{\tfrac{1}{2}n-\tfrac{3}{2}}</math>]] || <code>m[2] = ceil((1)/(2)*n -(3)/(2))</code> || <code>Subscript[m, 2] == Ceiling[Divide[1,2]*n -Divide[3,2]]</code> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [30 / 30]<div class="mw-collapsible-content"><code>30/30]: [[1.866025404+.5000000000*I <- {m[2] = 1/2*3^(1/2)+1/2*I, n = 1}</code><br><code>.8660254040+.5000000000*I <- {m[2] = 1/2*3^(1/2)+1/2*I, n = 2}</code><br></div></div> || <div class="toccolours mw-collapsible mw-collapsed">Failed [30 / 30]<div class="mw-collapsible-content"><code>{Complex[1.8660254037844388, 0.49999999999999994] <- {Rule[n, 1], Rule[Subscript[m, 2], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</code><br><code>Complex[0.8660254037844387, 0.49999999999999994] <- {Rule[n, 2], Rule[Subscript[m, 2], Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</code><br></div></div>
-|-
-| [https://dlmf.nist.gov/11.10.E25 11.10.E25] || [[Item:Q4046|<math>\displaystyle\AngerJ{\nu}@{0} = \frac{\sin@{\pi\nu}}{\pi\nu}</math>]] || <code>AngerJ(nu, 0) = (sin(Pi*nu))/(Pi*nu)</code> || <code>AngerJ[\[Nu], 0] == Divide[Sin[Pi*\[Nu]],Pi*\[Nu]]</code> || Skipped - no semantic math || Skipped - no semantic math || - || -
-|-
-| [https://dlmf.nist.gov/11.10.E25 11.10.E25] || [[Item:Q4046|<math>\displaystyle\WeberE{\nu}@{0} = \frac{1-\cos@{\pi\nu}}{\pi\nu}</math>]] || <code>WeberE(nu, 0) = (1 - cos(Pi*nu))/(Pi*nu)</code> || <code>WeberE[\[Nu], 0] == Divide[1 - Cos[Pi*\[Nu]],Pi*\[Nu]]</code> || Skipped - no semantic math || Skipped - no semantic math || - || -
-|-
-| [https://dlmf.nist.gov/11.10.E26 11.10.E26] || [[Item:Q4048|<math>\displaystyle\WeberE{0}@{z} = -\StruveH{0}@{z}</math>]] || <code>WeberE(0, z) = - StruveH(0, z)</code> || <code>WeberE[0, z] == - StruveH[0, z]</code> || Skipped - no semantic math || Skipped - no semantic math || - || -
-|-
-| [https://dlmf.nist.gov/11.10.E26 11.10.E26] || [[Item:Q4048|<math>\displaystyle\WeberE{1}@{z} = \frac{2}{\pi}-\StruveH{1}@{z}</math>]] || <code>WeberE(1, z) = (2)/(Pi)- StruveH(1, z)</code> || <code>WeberE[1, z] == Divide[2,Pi]- StruveH[1, z]</code> || Skipped - no semantic math || Skipped - no semantic math || - || -
-|-
-| [https://dlmf.nist.gov/11.10.E29 11.10.E29] || [[Item:Q4051|<math>\AngerJ{n}@{z} = \BesselJ{n}@{z}</math>]] || <code>AngerJ(n, z) = BesselJ(n, z)</code> || <code>AngerJ[n, z] == BesselJ[n, z]</code> || Failure || Successful || Successful [Tested: 7] || Successful [Tested: 7]
-|-
-| [https://dlmf.nist.gov/11.10.E32 11.10.E32] || [[Item:Q4054|<math>\AngerJ{\nu-1}@{z}+\AngerJ{\nu+1}@{z} = \frac{2\nu}{z}\AngerJ{\nu}@{z}-\frac{2}{\pi z}\sin@{\pi\nu}</math>]] || <code>AngerJ(nu - 1, z)+ AngerJ(nu + 1, z) = (2*nu)/(z)*AngerJ(nu, z)-(2)/(Pi*z)*sin(Pi*nu)</code> || <code>AngerJ[\[Nu]- 1, z]+ AngerJ[\[Nu]+ 1, z] == Divide[2*\[Nu],z]*AngerJ[\[Nu], z]-Divide[2,Pi*z]*Sin[Pi*\[Nu]]</code> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [3 / 70]<div class="mw-collapsible-content"><code>3/70]: [[.1812319651 <- {nu = -3/2, z = 3/2}</code><br><code>.1208213102 <- {nu = -1/2, z = 3/2}</code><br></div></div> || Successful [Tested: 70]
-|-
-| [https://dlmf.nist.gov/11.10.E33 11.10.E33] || [[Item:Q4055|<math>\WeberE{\nu-1}@{z}+\WeberE{\nu+1}@{z} = \frac{2\nu}{z}\WeberE{\nu}@{z}-\frac{2}{\pi z}(1-\cos@{\pi\nu})</math>]] || <code>WeberE(nu - 1, z)+ WeberE(nu + 1, z) = (2*nu)/(z)*WeberE(nu, z)-(2)/(Pi*z)*(1 - cos(Pi*nu))</code> || <code>WeberE[\[Nu]- 1, z]+ WeberE[\[Nu]+ 1, z] == Divide[2*\[Nu],z]*WeberE[\[Nu], z]-Divide[2,Pi*z]*(1 - Cos[Pi*\[Nu]])</code> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [3 / 70]<div class="mw-collapsible-content"><code>3/70]: [[.1812319648 <- {nu = 3/2, z = 3/2}</code><br><code>.1812319652 <- {nu = -1/2, z = 3/2}</code><br></div></div> || Successful [Tested: 70]
-|-
-| [https://dlmf.nist.gov/11.10.E34 11.10.E34] || [[Item:Q4056|<math>2\AngerJ{\nu}'@{z} = \AngerJ{\nu-1}@{z}-\AngerJ{\nu+1}@{z}</math>]] || <code>2*diff( AngerJ(nu, z), z$(1) ) = AngerJ(nu - 1, z)- AngerJ(nu + 1, z)</code> || <code>2*D[AngerJ[\[Nu], z], {z, 1}] == AngerJ[\[Nu]- 1, z]- AngerJ[\[Nu]+ 1, z]</code> || Failure || Successful || <div class="toccolours mw-collapsible mw-collapsed">Failed [3 / 70]<div class="mw-collapsible-content"><code>3/70]: [[-.1812319651 <- {nu = -3/2, z = 3/2}</code><br><code>-.1208213102 <- {nu = -1/2, z = 3/2}</code><br></div></div> || Successful [Tested: 70]
-|-
-| [https://dlmf.nist.gov/11.10.E35 11.10.E35] || [[Item:Q4057|<math>2\WeberE{\nu}'@{z} = \WeberE{\nu-1}@{z}-\WeberE{\nu+1}@{z}</math>]] || <code>2*diff( WeberE(nu, z), z$(1) ) = WeberE(nu - 1, z)- WeberE(nu + 1, z)</code> || <code>2*D[WeberE[\[Nu], z], {z, 1}] == WeberE[\[Nu]- 1, z]- WeberE[\[Nu]+ 1, z]</code> || Failure || Successful || <div class="toccolours mw-collapsible mw-collapsed">Failed [3 / 70]<div class="mw-collapsible-content"><code>3/70]: [[-.1812319648 <- {nu = 3/2, z = 3/2}</code><br><code>-.1812319652 <- {nu = -1/2, z = 3/2}</code><br></div></div> || Successful [Tested: 70]
-|-
-| [https://dlmf.nist.gov/11.10.E36 11.10.E36] || [[Item:Q4058|<math>z\AngerJ{\nu}'@{z}+\nu\AngerJ{\nu}@{z} = + z\AngerJ{\nu- 1}@{z}+\frac{\sin@{\pi\nu}}{\pi}</math>]] || <code>z*diff( AngerJ(nu, z), z$(1) )+ nu*AngerJ(nu, z) = + z*AngerJ(nu - 1, z)+(sin(Pi*nu))/(Pi)</code> || <code>z*D[AngerJ[\[Nu], z], {z, 1}]+ \[Nu]*AngerJ[\[Nu], z] == + z*AngerJ[\[Nu]- 1, z]+Divide[Sin[Pi*\[Nu]],Pi]</code> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [3 / 70]<div class="mw-collapsible-content"><code>3/70]: [[-.2718479477 <- {nu = -3/2, z = 3/2}</code><br><code>-.1812319655 <- {nu = -1/2, z = 3/2}</code><br></div></div> || Successful [Tested: 70]
-|-
-| [https://dlmf.nist.gov/11.10.E36 11.10.E36] || [[Item:Q4058|<math>z\AngerJ{\nu}'@{z}-\nu\AngerJ{\nu}@{z} = - z\AngerJ{\nu+ 1}@{z}-\frac{\sin@{\pi\nu}}{\pi}</math>]] || <code>z*diff( AngerJ(nu, z), z$(1) )- nu*AngerJ(nu, z) = - z*AngerJ(nu + 1, z)-(sin(Pi*nu))/(Pi)</code> || <code>z*D[AngerJ[\[Nu], z], {z, 1}]- \[Nu]*AngerJ[\[Nu], z] == - z*AngerJ[\[Nu]+ 1, z]-Divide[Sin[Pi*\[Nu]],Pi]</code> || Successful || Failure || Skip - symbolical successful subtest || Successful [Tested: 70]
-|-
-| [https://dlmf.nist.gov/11.10.E37 11.10.E37] || [[Item:Q4059|<math>z\WeberE{\nu}'@{z}+\nu\WeberE{\nu}@{z} = + z\WeberE{\nu- 1}@{z}+\frac{(1-\cos@{\pi\nu})}{\pi}</math>]] || <code>z*diff( WeberE(nu, z), z$(1) )+ nu*WeberE(nu, z) = + z*WeberE(nu - 1, z)+(1 - cos(Pi*nu))/(Pi)</code> || <code>z*D[WeberE[\[Nu], z], {z, 1}]+ \[Nu]*WeberE[\[Nu], z] == + z*WeberE[\[Nu]- 1, z]+Divide[1 - Cos[Pi*\[Nu]],Pi]</code> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [3 / 70]<div class="mw-collapsible-content"><code>3/70]: [[-.2718479477 <- {nu = 3/2, z = 3/2}</code><br><code>-.2718479472 <- {nu = -1/2, z = 3/2}</code><br></div></div> || Successful [Tested: 70]
-|-
-| [https://dlmf.nist.gov/11.10.E37 11.10.E37] || [[Item:Q4059|<math>z\WeberE{\nu}'@{z}-\nu\WeberE{\nu}@{z} = - z\WeberE{\nu+ 1}@{z}-\frac{(1-\cos@{\pi\nu})}{\pi}</math>]] || <code>z*diff( WeberE(nu, z), z$(1) )- nu*WeberE(nu, z) = - z*WeberE(nu + 1, z)-(1 - cos(Pi*nu))/(Pi)</code> || <code>z*D[WeberE[\[Nu], z], {z, 1}]- \[Nu]*WeberE[\[Nu], z] == - z*WeberE[\[Nu]+ 1, z]-Divide[1 - Cos[Pi*\[Nu]],Pi]</code> || Successful || Failure || Skip - symbolical successful subtest || Successful [Tested: 70]
-|-
-| [https://dlmf.nist.gov/11.11#Ex1 11.11#Ex1] || [[Item:Q4070|<math>a_{0}(\lambda) = \frac{1}{1+\lambda}</math>]] || <code>a[0]*(lambda) = (1)/(1 + lambda)</code> || <code>Subscript[a, 0]*(\[Lambda]) == Divide[1,1 + \[Lambda]]</code> || Skipped - no semantic math || Skipped - no semantic math || - || -
-|-
-| [https://dlmf.nist.gov/11.11#Ex2 11.11#Ex2] || [[Item:Q4071|<math>a_{1}(\lambda) = -\frac{\lambda}{2(1+\lambda)^{4}}</math>]] || <code>a[1]*(lambda) = -(lambda)/(2*(1 + lambda)^(4))</code> || <code>Subscript[a, 1]*(\[Lambda]) == -Divide[\[Lambda],2*(1 + \[Lambda])^(4)]</code> || Skipped - no semantic math || Skipped - no semantic math || - || -
-|-
-| [https://dlmf.nist.gov/11.11#Ex3 11.11#Ex3] || [[Item:Q4072|<math>a_{2}(\lambda) = \frac{9\lambda^{2}-\lambda}{24(1+\lambda)^{7}}</math>]] || <code>a[2]*(lambda) = (9*(lambda)^(2)- lambda)/(24*(1 + lambda)^(7))</code> || <code>Subscript[a, 2]*(\[Lambda]) == Divide[9*\[Lambda]^(2)- \[Lambda],24*(1 + \[Lambda])^(7)]</code> || Skipped - no semantic math || Skipped - no semantic math || - || -
-|-
-| [https://dlmf.nist.gov/11.11#Ex4 11.11#Ex4] || [[Item:Q4073|<math>a_{3}(\lambda) = -\frac{225\lambda^{3}-54\lambda^{2}+\lambda}{720(1+\lambda)^{10}}</math>]] || <code>a[3]*(lambda) = -(225*(lambda)^(3)- 54*(lambda)^(2)+ lambda)/(720*(1 + lambda)^(10))</code> || <code>Subscript[a, 3]*(\[Lambda]) == -Divide[225*\[Lambda]^(3)- 54*\[Lambda]^(2)+ \[Lambda],720*(1 + \[Lambda])^(10)]</code> || Skipped - no semantic math || Skipped - no semantic math || - || -
-|-
-| [https://dlmf.nist.gov/11.11.E12 11.11.E12] || [[Item:Q4076|<math>\mu = \sqrt{1-\lambda^{2}}-\ln@{\frac{1+\sqrt{1-\lambda^{2}}}{\lambda}}</math>]] || <code>mu = sqrt(1 - (lambda)^(2))- ln((1 +sqrt(1 - (lambda)^(2)))/(lambda))</code> || <code>\[Mu] == Sqrt[1 - \[Lambda]^(2)]- Log[Divide[1 +Sqrt[1 - \[Lambda]^(2)],\[Lambda]]]</code> || Failure || Failure || <div class="toccolours mw-collapsible mw-collapsed">Failed [100 / 100]<div class="mw-collapsible-content"><code>100/100]: [[.6584789489+.2146018366*I <- {lambda = 1/2*3^(1/2)+1/2*I, mu = 1/2*3^(1/2)+1/2*I}</code><br><code>-.7075464554+.5806272406*I <- {lambda = 1/2*3^(1/2)+1/2*I, mu = -1/2+1/2*I*3^(1/2)}</code><br></div></div> || <div class="toccolours mw-collapsible mw-collapsed">Failed [100 / 100]<div class="mw-collapsible-content"><code>{Complex[0.6584789484624085, 0.21460183660255172] <- {Rule[λ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[μ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]]}</code><br><code>Complex[-0.70754645532203, 0.5806272403869905] <- {Rule[λ, Power[E, Times[Complex[0, Rational[1, 6]], Pi]]], Rule[μ, Power[E, Times[Complex[0, Rational[2, 3]], Pi]]]}</code><br></div></div>
-|-
-| [https://dlmf.nist.gov/11.11#Ex5 11.11#Ex5] || [[Item:Q4077|<math>b_{0}(\lambda) = \frac{1}{(1-\lambda^{2})^{1/4}}</math>]] || <code>b[0]*(lambda) = (1)/((1 - (lambda)^(2))^(1/ 4))</code> || <code>Subscript[b, 0]*(\[Lambda]) == Divide[1,(1 - \[Lambda]^(2))^(1/ 4)]</code> || Skipped - no semantic math || Skipped - no semantic math || - || -
-|-
-| [https://dlmf.nist.gov/11.11#Ex6 11.11#Ex6] || [[Item:Q4078|<math>b_{1}(\lambda) = \frac{2+3\lambda^{2}}{12(1-\lambda^{2})^{7/4}}</math>]] || <code>b[1]*(lambda) = (2 + 3*(lambda)^(2))/(12*(1 - (lambda)^(2))^(7/ 4))</code> || <code>Subscript[b, 1]*(\[Lambda]) == Divide[2 + 3*\[Lambda]^(2),12*(1 - \[Lambda]^(2))^(7/ 4)]</code> || Skipped - no semantic math || Skipped - no semantic math || - || -
-|-
-| [https://dlmf.nist.gov/11.11#Ex7 11.11#Ex7] || [[Item:Q4079|<math>b_{2}(\lambda) = \frac{4+300\lambda^{2}+81\lambda^{4}}{864(1-\lambda^{2})^{13/4}}</math>]] || <code>b[2]*(lambda) = (4 + 300*(lambda)^(2)+ 81*(lambda)^(4))/(864*(1 - (lambda)^(2))^(13/ 4))</code> || <code>Subscript[b, 2]*(\[Lambda]) == Divide[4 + 300*\[Lambda]^(2)+ 81*\[Lambda]^(4),864*(1 - \[Lambda]^(2))^(13/ 4)]</code> || Skipped - no semantic math || Skipped - no semantic math || - || -
-|-
-|}

Results of Struve and Related Functions: Difference between revisions

Latest revision as of 17:02, 25 May 2021

Navigation menu

Search