factorial (Q7718): Difference between revisions
Jump to navigation
Jump to search
Created claim: defining formula (P333): n! = \begin{cases} \prod_{k = 1}^n k & n > 0 \\ 1 & n = 0 \end{cases} |
Created claim: described at URL (P408): https://www.openmath.org/cd/integer1.xhtml#factorial |
||
| 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 | |||
Revision as of 17:55, 30 April 2023
product of all integers between 1 and the integral input of the function
- factorial function
- !
- n!
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | factorial |
product of all integers between 1 and the integral input of the function |
|
Statements
0 references