Nuprl Definition : rexp-approx
rexp-approx(x;k;N) == poly-approx(λi.(r1)/(i)!;x;k;N)
Definitions occuring in Statement :
poly-approx: poly-approx(a;x;k;N),
int-rdiv: (a)/k1,
int-to-real: r(n),
fact: (n)!,
lambda: λx.A[x],
natural_number: $n
Definitions occuring in definition :
poly-approx: poly-approx(a;x;k;N),
lambda: λx.A[x],
int-rdiv: (a)/k1,
int-to-real: r(n),
natural_number: $n,
fact: (n)!
FDL editor aliases :
rexp-approx
Latex:
rexp-approx(x;k;N) == poly-approx(\mlambda{}i.(r1)/(i)!;x;k;N)
Date html generated:
2019_10_29-AM-10_38_35
Last ObjectModification:
2019_02_03-PM-09_50_30
Theory : reals
Home
Index