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