Nuprl Definition : triangular-num
t(n) == (n * (n + 1)) ÷ 2
Definitions occuring in Statement :
divide: n ÷ m,
multiply: n * m,
add: n + m,
natural_number: $n
Definitions occuring in definition :
divide: n ÷ m,
multiply: n * m,
add: n + m,
natural_number: $n
FDL editor aliases :
triangular-num
Latex:
t(n) == (n * (n + 1)) \mdiv{} 2
Date html generated:
2016_05_15-PM-05_19_07
Last ObjectModification:
2015_09_23-AM-07_53_07
Theory : general
Home
Index