24.12: Difference between revisions
Jump to navigation
Jump to search
Admin moved page Main Page to Verifying DLMF with Maple and Mathematica |
Admin moved page Main Page to Verifying DLMF with Maple and Mathematica |
||
Line 14: | Line 14: | ||
! scope="col" style="position: sticky; top: 0;" | Numeric<br>Mathematica | ! scope="col" style="position: sticky; top: 0;" | Numeric<br>Mathematica | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/24.12.E1 24.12.E1] | | | [https://dlmf.nist.gov/24.12.E1 24.12.E1] || <math qid="Q7522">\tfrac{1}{2} \leq x_{1}^{(n)}</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\tfrac{1}{2} \leq x_{1}^{(n)}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">(1)/(2) <= (x[1])^(n)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Divide[1,2] <= (Subscript[x, 1])^(n)</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/24.12.E2 24.12.E2] | | | [https://dlmf.nist.gov/24.12.E2 24.12.E2] || <math qid="Q7523">\frac{3}{4}+\frac{1}{2^{n+2}\pi} < x^{(n)}_{1}</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\frac{3}{4}+\frac{1}{2^{n+2}\pi} < x^{(n)}_{1}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">(3)/(4)+(1)/((2)^(n + 2)* Pi) < (x[1])^(n)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Divide[3,4]+Divide[1,(2)^(n + 2)* Pi] < (Subscript[x, 1])^(n)</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/24.12.E7 24.12.E7] | | | [https://dlmf.nist.gov/24.12.E7 24.12.E7] || <math qid="Q7530">\tfrac{1}{2} \leq y^{(n)}_{1}</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\tfrac{1}{2} \leq y^{(n)}_{1}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">(1)/(2) <= (y[1])^(n)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Divide[1,2] <= (Subscript[y, 1])^(n)</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/24.12.E9 24.12.E9] | | | [https://dlmf.nist.gov/24.12.E9 24.12.E9] || <math qid="Q7532">\frac{3}{2}-\frac{\pi^{n+1}}{3(n!)} < y^{(n)}_{2}</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\frac{3}{2}-\frac{\pi^{n+1}}{3(n!)} < y^{(n)}_{2}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">(3)/(2)-((Pi)^(n + 1))/(3*(factorial(n))) < (y[2])^(n)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Divide[3,2]-Divide[(Pi)^(n + 1),3*((n)!)] < (Subscript[y, 2])^(n)</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|- style="background: #dfe6e9;" | |- style="background: #dfe6e9;" | ||
| [https://dlmf.nist.gov/24.12.E10 24.12.E10] | | | [https://dlmf.nist.gov/24.12.E10 24.12.E10] || <math qid="Q7533">\frac{3}{2} < y^{(n)}_{2}</math><br><syntaxhighlight lang="tex" style="font-size: 75%; background: inherit;" inline>\frac{3}{2} < y^{(n)}_{2}</syntaxhighlight> || <math></math> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">(3)/(2) < (y[2])^(n)</pre></div> || <div class="mw-highlight mw-highlight-lang-mathematica mw-content-ltr" dir="ltr"><pre style="background: inherit;">Divide[3,2] < (Subscript[y, 2])^(n)</pre></div> || Skipped - no semantic math || Skipped - no semantic math || - || - | ||
|} | |} | ||
</div> | </div> |
Latest revision as of 12:03, 28 June 2021
DLMF | Formula | Constraints | Maple | Mathematica | Symbolic Maple |
Symbolic Mathematica |
Numeric Maple |
Numeric Mathematica |
---|---|---|---|---|---|---|---|---|
24.12.E1 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \tfrac{1}{2} \leq x_{1}^{(n)}}
\tfrac{1}{2} \leq x_{1}^{(n)} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | (1)/(2) <= (x[1])^(n) |
Divide[1,2] <= (Subscript[x, 1])^(n) |
Skipped - no semantic math | Skipped - no semantic math | - | - |
24.12.E2 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \frac{3}{4}+\frac{1}{2^{n+2}\pi} < x^{(n)}_{1}}
\frac{3}{4}+\frac{1}{2^{n+2}\pi} < x^{(n)}_{1} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | (3)/(4)+(1)/((2)^(n + 2)* Pi) < (x[1])^(n) |
Divide[3,4]+Divide[1,(2)^(n + 2)* Pi] < (Subscript[x, 1])^(n) |
Skipped - no semantic math | Skipped - no semantic math | - | - |
24.12.E7 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \tfrac{1}{2} \leq y^{(n)}_{1}}
\tfrac{1}{2} \leq y^{(n)}_{1} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | (1)/(2) <= (y[1])^(n) |
Divide[1,2] <= (Subscript[y, 1])^(n) |
Skipped - no semantic math | Skipped - no semantic math | - | - |
24.12.E9 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \frac{3}{2}-\frac{\pi^{n+1}}{3(n!)} < y^{(n)}_{2}}
\frac{3}{2}-\frac{\pi^{n+1}}{3(n!)} < y^{(n)}_{2} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | (3)/(2)-((Pi)^(n + 1))/(3*(factorial(n))) < (y[2])^(n) |
Divide[3,2]-Divide[(Pi)^(n + 1),3*((n)!)] < (Subscript[y, 2])^(n) |
Skipped - no semantic math | Skipped - no semantic math | - | - |
24.12.E10 | Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \frac{3}{2} < y^{(n)}_{2}}
\frac{3}{2} < y^{(n)}_{2} |
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle } | (3)/(2) < (y[2])^(n) |
Divide[3,2] < (Subscript[y, 2])^(n) |
Skipped - no semantic math | Skipped - no semantic math | - | - |