Nuprl Definition : rexp-small
rexp-small(x) == accelerate(2;λN.rexp-approx(x;genfact-inv(N;3;m.4 * m);N))
Definitions occuring in Statement :
rexp-approx: rexp-approx(x;k;N),
accelerate: accelerate(k;f),
genfact-inv: genfact-inv(N;b;m.f[m]),
lambda: λx.A[x],
multiply: n * m,
natural_number: $n
Definitions occuring in definition :
accelerate: accelerate(k;f),
lambda: λx.A[x],
rexp-approx: rexp-approx(x;k;N),
genfact-inv: genfact-inv(N;b;m.f[m]),
multiply: n * m,
natural_number: $n
FDL editor aliases :
rexp-small
Latex:
rexp-small(x) == accelerate(2;\mlambda{}N.rexp-approx(x;genfact-inv(N;3;m.4 * m);N))
Date html generated:
2019_10_30-AM-11_41_02
Last ObjectModification:
2019_02_08-PM-02_08_08
Theory : reals_2
Home
Index