Nuprl Definition : Taylor-approx
Taylor-approx(n;a;b;i,x.F[i; x]) == Σ{(F[k; a]/r((k)!)) * b - a^k | 0≤k≤n}
Definitions occuring in Statement :
rsum: Σ{x[k] | n≤k≤m},
rdiv: (x/y),
rnexp: x^k1,
rsub: x - y,
rmul: a * b,
int-to-real: r(n),
natural_number: $n,
fact: (n)!
Definitions occuring in definition :
rsum: Σ{x[k] | n≤k≤m},
natural_number: $n,
rmul: a * b,
rdiv: (x/y),
int-to-real: r(n),
fact: (n)!,
rnexp: x^k1,
rsub: x - y
FDL editor aliases :
Taylor-approx
Latex:
Taylor-approx(n;a;b;i,x.F[i; x]) == \mSigma{}\{(F[k; a]/r((k)!)) * b - a\^{}k | 0\mleq{}k\mleq{}n\}
Date html generated:
2016_05_18-AM-10_28_26
Last ObjectModification:
2015_09_23-AM-09_16_07
Theory : reals
Home
Index