Nuprl Definition : atan_approx
atan_approx(a;x;M) == eval k = atan-log(a;M) in atan-approx(k;x;M)
Definitions occuring in Statement :
atan-log: atan-log(a;M),
atan-approx: atan-approx(k;x;N),
callbyvalue: callbyvalue
Definitions occuring in definition :
callbyvalue: callbyvalue,
atan-log: atan-log(a;M),
atan-approx: atan-approx(k;x;N)
FDL editor aliases :
atan_approx
Latex:
atan\_approx(a;x;M) == eval k = atan-log(a;M) in atan-approx(k;x;M)
Date html generated:
2018_05_22-PM-03_05_34
Last ObjectModification:
2017_10_26-PM-00_09_26
Theory : reals_2
Home
Index