Nuprl Definition : Taylor-remainder

Taylor-remainder(I;n;b;a;i,x.F[i; x]) ==  F[0; b] - Taylor-approx(n;a;b;i,x.F[i; x])


Definitions occuring in Statement :  Taylor-approx: Taylor-approx(n;a;b;i,x.F[i; x]),  rsub: x - y,  natural_number: $n
Definitions occuring in definition :  rsub: x - y,  natural_number: $n,  Taylor-approx: Taylor-approx(n;a;b;i,x.F[i; x])
FDL editor aliases :  Taylor-remainder
Latex:
Taylor-remainder(I;n;b;a;i,x.F[i;  x])  ==    F[0;  b]  -  Taylor-approx(n;a;b;i,x.F[i;  x])


Date html generated: 2016_05_18-AM-10_30_03
Last ObjectModification: 2015_09_23-AM-09_16_15

Theory : reals


Home Index