Nuprl Definition : rsin
rsin(x) == approx-arg(λx.sine(x);1;x)
Definitions occuring in Statement :
approx-arg: approx-arg(f;B;x),
sine: sine(x),
lambda: λx.A[x],
natural_number: $n
Definitions occuring in definition :
natural_number: $n,
sine: sine(x),
lambda: λx.A[x],
approx-arg: approx-arg(f;B;x)
FDL editor aliases :
rsin
Latex:
rsin(x) == approx-arg(\mlambda{}x.sine(x);1;x)
Date html generated:
2017_01_09-AM-09_10_32
Last ObjectModification:
2016_11_25-PM-09_50_40
Theory : reals_2
Home
Index