Evaluate binomial coefficients: Difference between revisions
Content deleted Content added
m '''See Also:''' * Combinations and permutations |
|||
Line 7: | Line 7: | ||
: <math>\binom{n}{k} = \frac{n!}{(n-k)!k!} = \frac{n(n-1)(n-2)\ldots(n-k+1)}{k(k-1)(k-2)\ldots 1}</math> |
: <math>\binom{n}{k} = \frac{n!}{(n-k)!k!} = \frac{n(n-1)(n-2)\ldots(n-k+1)}{k(k-1)(k-2)\ldots 1}</math> |
||
'''See Also:''' |
|||
* [[Combinations and permutations]] |
|||
{{Template:Combinations and permutations}} |
|||
=={{header|ACL2}}== |
=={{header|ACL2}}== |
||