Nuprl Definition : arctan
arctan(x) == approx-arg(λ2x.full-arctan(x);1;x)
Definitions occuring in Statement :
full-arctan: full-arctan(x),
approx-arg: approx-arg(f;B;x),
so_lambda: λ2x.t[x],
natural_number: $n
Definitions occuring in definition :
approx-arg: approx-arg(f;B;x),
so_lambda: λ2x.t[x],
full-arctan: full-arctan(x),
natural_number: $n
FDL editor aliases :
arctan
Latex:
arctan(x) == approx-arg(\mlambda{}\msubtwo{}x.full-arctan(x);1;x)
Date html generated:
2018_05_22-PM-03_07_07
Last ObjectModification:
2017_10_27-AM-00_57_05
Theory : reals_2
Home
Index