Combinatorial Analysis - 26.5 Lattice Paths: Catalan Numbers

From testwiki
Revision as of 12:05, 28 June 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
26.5.E1 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \frac{1}{n+1}\binom{2n}{n} = \frac{1}{2n+1}\binom{2n+1}{n}}
\frac{1}{n+1}\binom{2n}{n} = \frac{1}{2n+1}\binom{2n+1}{n}
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle }
(1)/(n + 1)*binomial(2*n,n) = (1)/(2*n + 1)*binomial(2*n + 1,n)
Divide[1,n + 1]*Binomial[2*n,n] == Divide[1,2*n + 1]*Binomial[2*n + 1,n]
Successful Successful Skip - symbolical successful subtest Successful [Tested: 3]
26.5.E1 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \frac{1}{2n+1}\binom{2n+1}{n} = \binom{2n}{n}-\binom{2n}{n-1}}
\frac{1}{2n+1}\binom{2n+1}{n} = \binom{2n}{n}-\binom{2n}{n-1}
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle }
(1)/(2*n + 1)*binomial(2*n + 1,n) = binomial(2*n,n)-binomial(2*n,n - 1)
Divide[1,2*n + 1]*Binomial[2*n + 1,n] == Binomial[2*n,n]-Binomial[2*n,n - 1]
Successful Failure Skip - symbolical successful subtest Successful [Tested: 3]
26.5.E1 Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle \binom{2n}{n}-\binom{2n}{n-1} = \binom{2n-1}{n}-\binom{2n-1}{n+1}}
\binom{2n}{n}-\binom{2n}{n-1} = \binom{2n-1}{n}-\binom{2n-1}{n+1}
Failed to parse (LaTeXML (experimental; uses MathML): Invalid response ("") from server "http://latexml:8080/convert/":): {\displaystyle }
binomial(2*n,n)-binomial(2*n,n - 1) = binomial(2*n - 1,n)-binomial(2*n - 1,n + 1)
Binomial[2*n,n]-Binomial[2*n,n - 1] == Binomial[2*n - 1,n]-Binomial[2*n - 1,n + 1]
Failure Failure Successful [Tested: 3] Successful [Tested: 3]