Nuprl Definition : Riemann-sum-alt

Riemann-sum-alt(f;a;b;k) ==
  eval k' = k in
  eval x = (b - a/r(k')) in
    rsum'(0;k' - 1;i.f ((r(k' - i) * a) + (r(i) * b)/r(k'))) * x

Definitions occuring in Statement : rsum': rsum'(n;m;k.x[k]), rdiv: (x/y), rsub: x - y, rmul: a * b, radd: a + b, int-to-real: r(n), callbyvalue: callbyvalue, apply: f a, subtract: n - m, natural_number: $n
Definitions occuring in definition : callbyvalue: callbyvalue, rsub: x - y, rsum': rsum'(n;m;k.x[k]), natural_number: $n, apply: f a, rdiv: (x/y), radd: a + b, subtract: n - m, rmul: a * b, int-to-real: r(n)
FDL editor aliases : Riemann-sum-alt

Latex:
Riemann-sum-alt(f;a;b;k) == eval k' = k in eval x = (b - a/r(k')) in rsum'(0;k' - 1;i.f ((r(k' - i) * a) + (r(i) * b)/r(k'))) * x Date html generated: 2016_05_18-AM-10_44_18 Last ObjectModification: 2015_09_23-AM-09_16_40 Theory : reals Home Index