Nuprl Definition : sine-small
sine-small(x) == accelerate(2;λN.sine-approx(x;genfact-inv(N;48;k.4 * ((2 * k) + 3) * ((2 * k) + 2));N))
Definitions occuring in Statement :
sine-approx: sine-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],
sine-approx: sine-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 :
sine-small
Latex:
sine-small(x) ==
accelerate(2;\mlambda{}N.sine-approx(x;genfact-inv(N;48;k.4 * ((2 * k) + 3) * ((2 * k) + 2));N))
Date html generated:
2019_10_29-AM-10_34_55
Last ObjectModification:
2019_02_08-PM-01_47_19
Theory : reals
Home
Index