1.15

From testwiki
Revision as of 14:40, 25 May 2021 by Admin (talk | contribs) (Admin moved page Main Page to Verifying DLMF with Maple and Mathematica)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search
DLMF Formula Constraints Maple Mathematica Symbolic
Maple 		Symbolic
Mathematica 		Numeric
Maple 		Numeric
Mathematica
1.15.E1 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle s_{n} = \sum_{k=0}^{n}a_{k}}
s_{n} = \sum_{k=0}^{n}a_{k}		 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } 
s[n] = sum(a[k], k = 0..n)
 
Subscript[s, n] == Sum[Subscript[a, k], {k, 0, n}, GenerateConditions->None]
 Skipped - no semantic math Skipped - no semantic math - -
1.15.E3 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \lim_{x\to 1-}\sum^{\infty}_{n=0}a_{n}x^{n} = s}
\lim_{x\to 1-}\sum^{\infty}_{n=0}a_{n}x^{n} = s		 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } 
limit(sum(a[n]*(x)^(n), n = 0..infinity), x = 1, left) = s
 
Limit[Sum[Subscript[a, n]*(x)^(n), {n, 0, Infinity}, GenerateConditions->None], x -> 1, Direction -> "FromBelow", GenerateConditions->None] == s
 Skipped - no semantic math Skipped - no semantic math - -
1.15.E7 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \lim_{n\to\infty}\frac{n!}{(\alpha+1)_{n}}\sum^{n}_{k=0}\frac{(\alpha+1)_{k}}{k!}a_{n-k} = s}
\lim_{n\to\infty}\frac{n!}{(\alpha+1)_{n}}\sum^{n}_{k=0}\frac{(\alpha+1)_{k}}{k!}a_{n-k} = s		 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } 
limit((factorial(n))/(alpha + 1[n])*sum((alpha + 1[k])/(factorial(k))*a[n - k], k = 0..n), n = infinity) = s
 
Limit[Divide[(n)!,Subscript[\[Alpha]+ 1, n]]*Sum[Divide[Subscript[\[Alpha]+ 1, k],(k)!]*Subscript[a, n - k], {k, 0, n}, GenerateConditions->None], n -> Infinity, GenerateConditions->None] == s
 Skipped - no semantic math Skipped - no semantic math - -
1.15.E9 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \lim_{t\to\infty}e^{-t}\sum^{\infty}_{n=0}\frac{s_{n}}{n!}t^{n} = s}
\lim_{t\to\infty}e^{-t}\sum^{\infty}_{n=0}\frac{s_{n}}{n!}t^{n} = s		 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } 
limit(exp(- t)*sum((s[n])/(factorial(n))*(t)^(n), n = 0..infinity), t = infinity) = s
 
Limit[Exp[- t]*Sum[Divide[Subscript[s, n],(n)!]*(t)^(n), {n, 0, Infinity}, GenerateConditions->None], t -> Infinity, GenerateConditions->None] == s
 Skipped - no semantic math Skipped - no semantic math - -
1.15.E10 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \sum^{\infty}_{n=0}a_{n} = s}
\sum^{\infty}_{n=0}a_{n} = s		 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } 
sum(a[n], n = 0..infinity) = s
 
Sum[Subscript[a, n], {n, 0, Infinity}, GenerateConditions->None] == s
 Skipped - no semantic math Skipped - no semantic math - -
1.15.E13 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \frac{1}{2\pi}\int^{2\pi}_{0}P(r,\theta)\diff{\theta} = 1}
\frac{1}{2\pi}\int^{2\pi}_{0}P(r,\theta)\diff{\theta} = 1		 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle 0 \leq r, r < 1} 
(1)/(2*Pi)*int((1 - (r)^(2))/(1 - 2*r*cos(theta)+ (r)^(2)), theta = 0..2*Pi) = 1

Divide[1,2*Pi]*Integrate[Divide[1 - (r)^(2),1 - 2*r*Cos[\[Theta]]+ (r)^(2)], {\[Theta], 0, 2*Pi}, GenerateConditions->None] == 1
Successful Aborted - Successful [Tested: 1]
1.15.E16 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \frac{1}{2\pi}\int^{2\pi}_{0}K_{n}(\theta)\diff{\theta} = 1}
\frac{1}{2\pi}\int^{2\pi}_{0}K_{n}(\theta)\diff{\theta} = 1		 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } 
(1)/(2*Pi)*int((1)/(n + 1)*((sin((1)/(2)*(n + 1)*theta))/(sin((1)/(2)*theta)))^(2), theta = 0..2*Pi) = 1

Divide[1,2*Pi]*Integrate[Divide[1,n + 1]*(Divide[Sin[Divide[1,2]*(n + 1)*\[Theta]],Sin[Divide[1,2]*\[Theta]]])^(2), {\[Theta], 0, 2*Pi}, GenerateConditions->None] == 1
Failure Failure Successful [Tested: 3] Successful [Tested: 3]
1.15.E34 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \frac{1}{2\pi}\int^{\infty}_{-\infty}P(x,y)\diff{x} = 1}
\frac{1}{2\pi}\int^{\infty}_{-\infty}P(x,y)\diff{x} = 1		 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle y > 0, -\infty < x, x < \infty} 
(1)/(2*Pi)*int((2*y)/((x)^(2)+ (y)^(2)), x = - infinity..infinity) = 1

Divide[1,2*Pi]*Integrate[Divide[2*y,(x)^(2)+ (y)^(2)], {x, - Infinity, Infinity}, GenerateConditions->None] == 1
Successful Successful - Successful [Tested: 3]
1.15.E39 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \Phi(z) = \Phi(x+iy)}
\Phi(z) = \Phi(x+iy)		 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } 
Phi*((x + y*I)) = Phi*(x + I*y)

\[CapitalPhi]*((x + y*I)) == \[CapitalPhi]*(x + I*y)
Successful Successful - Successful [Tested: 180]
1.15.E42 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \int^{\infty}_{-\infty}K_{R}(s)\diff{s} = 1}
\int^{\infty}_{-\infty}K_{R}(s)\diff{s} = 1		 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } 
int((1)/(Pi*R)*(1 - cos(R*s))/((s)^(2)), s = - infinity..infinity) = 1

Integrate[Divide[1,Pi*R]*Divide[1 - Cos[R*s],(s)^(2)], {s, - Infinity, Infinity}, GenerateConditions->None] == 1
Failure Aborted
Failed [7 / 10]
Result: -.1339745960+.5000000000*I
Test Values: {R = 1/2*3^(1/2)+1/2*I}


Result: -1.500000000+.8660254040*I
Test Values: {R = -1/2+1/2*I*3^(1/2)}


Result: -.5000000000-.8660254040*I
Test Values: {R = 1/2-1/2*I*3^(1/2)}


Result: -1.866025404-.5000000000*I
Test Values: {R = -1/2*3^(1/2)-1/2*I}

... skip entries to safe data
 Skipped - Because timed out
1.15.E48 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle I^{\alpha}I^{\beta} = I^{\alpha+\beta}}
I^{\alpha}I^{\beta} = I^{\alpha+\beta}		 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \realpart@@{\alpha} > 0, \realpart@@{\beta} > 0} 
(I)^(alpha)* (I)^(beta) = (I)^(alpha + beta)
 
(I)^\[Alpha]* (I)^\[Beta] == (I)^(\[Alpha]+ \[Beta])
 Skipped - no semantic math Skipped - no semantic math - -
1.15.E52 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle D^{k}I^{\alpha} = D^{n}I^{\alpha+n-k}}
D^{k}I^{\alpha} = D^{n}I^{\alpha+n-k}		 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle k = 1} 
(D)^(k)* (I)^(alpha) = (D)^(n)* (I)^(alpha + n - k)
 
(D)^(k)* (I)^\[Alpha] == (D)^(n)* (I)^(\[Alpha]+ n - k)
 Skipped - no semantic math Skipped - no semantic math - -
1.15.E53 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle D^{\alpha}D^{\beta} = D^{\alpha+\beta}}
D^{\alpha}D^{\beta} = D^{\alpha+\beta}		 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } 
(D)^(alpha)* (D)^(beta) = (D)^(alpha + beta)
 
(D)^\[Alpha]* (D)^\[Beta] == (D)^(\[Alpha]+ \[Beta])
 Skipped - no semantic math Skipped - no semantic math - -
1.15#Ex2 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle a_{n} > -\frac{K}{n}}
a_{n} > -\frac{K}{n}		 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle n > 0, K > 0} 
a[n] > -(K)/(n)
 
Subscript[a, n] > -Divide[K,n]
 Skipped - no semantic math Skipped - no semantic math - -
1.15.E55 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \sum^{\infty}_{n=0}a_{n} = s}
\sum^{\infty}_{n=0}a_{n} = s		 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } 
sum(a[n], n = 0..infinity) = s
 
Sum[Subscript[a, n], {n, 0, Infinity}, GenerateConditions->None] == s
 Skipped - no semantic math Skipped - no semantic math - -
1.15.E56 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \lim_{x\to 1-}(1-x)\sum^{\infty}_{n=0}a_{n}x^{n} = s}
\lim_{x\to 1-}(1-x)\sum^{\infty}_{n=0}a_{n}x^{n} = s		 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } 
limit((1 - x)*sum(a[n]*(x)^(n), n = 0..infinity), x = 1, left) = s
 
Limit[(1 - x)*Sum[Subscript[a, n]*(x)^(n), {n, 0, Infinity}, GenerateConditions->None], x -> 1, Direction -> "FromBelow", GenerateConditions->None] == s
 Skipped - no semantic math Skipped - no semantic math - -
Retrieved from "https://lct.wmflabs.org/w/index.php?title=1.15&oldid=349"