Nuprl Definition : cosine-small
cosine-small(x) == accelerate(2;λN.cosine-approx(x;genfact-inv(N;8;k.4 * ((2 * k) + 2) * ((2 * k) + 1));N))
Definitions occuring in Statement :
cosine-approx: cosine-approx(x;k;N),
accelerate: accelerate(k;f),
genfact-inv: genfact-inv(N;b;m.f[m]),
lambda: λx.A[x],
multiply: n * m,
add: n + m,
natural_number: $n
Definitions occuring in definition :
accelerate: accelerate(k;f),
lambda: λx.A[x],
cosine-approx: cosine-approx(x;k;N),
genfact-inv: genfact-inv(N;b;m.f[m]),
add: n + m,
multiply: n * m,
natural_number: $n
FDL editor aliases :
cosine-small
Latex:
cosine-small(x) ==
accelerate(2;\mlambda{}N.cosine-approx(x;genfact-inv(N;8;k.4 * ((2 * k) + 2) * ((2 * k) + 1));N))
Date html generated:
2019_10_29-AM-10_38_04
Last ObjectModification:
2019_02_08-PM-01_54_38
Theory : reals
Home
Index