Nuprl Definition : partition-sum
partition-sum(f;x;p) == Σ{(f (x i)) * (p[i + 1] - p[i]) | 0≤i≤||p|| - 2}
Definitions occuring in Statement :
rsum: Σ{x[k] | n≤k≤m},
rsub: x - y,
rmul: a * b,
select: L[n],
length: ||as||,
apply: f a,
subtract: n - m,
add: n + m,
natural_number: $n
Definitions occuring in definition :
rsum: Σ{x[k] | n≤k≤m},
subtract: n - m,
length: ||as||,
rmul: a * b,
apply: f a,
rsub: x - y,
add: n + m,
natural_number: $n,
select: L[n]
FDL editor aliases :
partition-sum
partition-sum
Latex:
partition-sum(f;x;p) == \mSigma{}\{(f (x i)) * (p[i + 1] - p[i]) | 0\mleq{}i\mleq{}||p|| - 2\}
Date html generated:
2016_05_18-AM-09_04_26
Last ObjectModification:
2015_09_23-AM-09_09_52
Theory : reals
Home
Index