Nuprl Definition : arcsine
arcsine(x) == r0_∫-x arcsine_deriv(t) dt
Definitions occuring in Statement :
arcsine_deriv: arcsine_deriv(x),
integral: a_∫-b f[x] dx,
int-to-real: r(n),
natural_number: $n
Definitions occuring in definition :
arcsine_deriv: arcsine_deriv(x),
natural_number: $n,
int-to-real: r(n),
integral: a_∫-b f[x] dx
FDL editor aliases :
arcsine
Latex:
arcsine(x) == r0\_\mint{}\msupminus{}x arcsine\_deriv(t) dt
Date html generated:
2016_10_26-PM-00_41_14
Last ObjectModification:
2016_09_12-PM-05_45_31
Theory : reals_2
Home
Index