Nuprl Definition : partial-arcsin

partial-arcsin(a) ==  real-from-approx(n.arcsine-approx(a;n))


Definitions occuring in Statement :  arcsine-approx: arcsine-approx(a;n),  real-from-approx: real-from-approx(n.x[n])
Definitions occuring in definition :  real-from-approx: real-from-approx(n.x[n]),  arcsine-approx: arcsine-approx(a;n)
FDL editor aliases :  partial-arcsin
Latex:
partial-arcsin(a)  ==    real-from-approx(n.arcsine-approx(a;n))


Date html generated: 2019_10_31-AM-06_13_15
Last ObjectModification: 2019_05_21-AM-11_54_01

Theory : reals_2


Home Index