Nuprl Definition : atan
atan(a;x) == accelerate(2;λN.atan_approx(a;x;N))
Definitions occuring in Statement :
atan_approx: atan_approx(a;x;M),
accelerate: accelerate(k;f),
lambda: λx.A[x],
natural_number: $n
Definitions occuring in definition :
accelerate: accelerate(k;f),
natural_number: $n,
lambda: λx.A[x],
atan_approx: atan_approx(a;x;M)
FDL editor aliases :
atan
Latex:
atan(a;x) == accelerate(2;\mlambda{}N.atan\_approx(a;x;N))
Date html generated:
2018_05_22-PM-03_05_49
Last ObjectModification:
2017_10_26-PM-03_40_46
Theory : reals_2
Home
Index