Item:Q7718: Difference between revisions
Created a new Item: factorial, product of all integers between 1 and the integral input of the function |
Created claim: described at URL (P408): https://www.w3.org/TR/MathML3/chapter4.html#contm.factorial |
||
| (6 intermediate revisions by the same user not shown) | |||
| Property / instance of | |||
| Property / instance of: real-valued function / rank | |||
Normal rank | |||
| Property / instance of | |||
| Property / instance of: function / rank | |||
Normal rank | |||
| Property / part of | |||
| Property / part of: combinatorics / rank | |||
Normal rank | |||
| Property / part of | |||
| Property / part of: number theory / rank | |||
Normal rank | |||
| Property / defining formula | |||
n! = \begin{cases} \prod_{k = 1}^n k & n > 0 \\ 1 & n = 0 \end{cases} | |||
| Property / defining formula: / rank | |||
Normal rank | |||
| Property / described at URL | |||
| Property / described at URL: https://www.openmath.org/cd/integer1.xhtml#factorial / rank | |||
Normal rank | |||
| Property / described at URL: https://www.openmath.org/cd/integer1.xhtml#factorial / qualifier | |||
| Property / described at URL | |||
| Property / described at URL: https://www.w3.org/TR/MathML3/chapter4.html#contm.factorial / rank | |||
Normal rank | |||
| Property / described at URL: https://www.w3.org/TR/MathML3/chapter4.html#contm.factorial / qualifier | |||
