Nuprl Definition : divisors-sum
Σ i|n. f[i] == Σ(if (n rem i + 1 =z 0) then f[i + 1] else 0 fi | i < n)
Definitions occuring in Statement :
sum: Σ(f[x] | x < k),
ifthenelse: if b then t else f fi ,
eq_int: (i =z j),
remainder: n rem m,
add: n + m,
natural_number: $n
Definitions occuring in definition :
sum: Σ(f[x] | x < k),
ifthenelse: if b then t else f fi ,
eq_int: (i =z j),
remainder: n rem m,
add: n + m,
natural_number: $n
FDL editor aliases :
divisors-sum
Latex:
\mSigma{} i|n. f[i] == \mSigma{}(if (n rem i + 1 =\msubz{} 0) then f[i + 1] else 0 fi | i < n)
Date html generated:
2016_05_15-PM-04_21_57
Last ObjectModification:
2015_09_23-AM-07_47_54
Theory : general
Home
Index