Nuprl Definition : un-ctrex1

un-ctrex1(x) ==  (rroot(2;x r1) r(2) rroot(3;r1 ((r(3))/4 x))) r1



Definitions occuring in Statement :  rroot: rroot(i;x) int-rdiv: (a)/k1 rsub: y rmul: b radd: b int-to-real: r(n) natural_number: $n
Definitions occuring in definition :  rsub: y rroot: rroot(i;x) radd: b rmul: b int-rdiv: (a)/k1 int-to-real: r(n) natural_number: $n
FDL editor aliases :  un-ctrex1

Latex:
un-ctrex1(x)  ==    (rroot(2;x  +  r1)  -  r(2)  *  rroot(3;r1  +  ((r(3))/4  *  x)))  +  r1



Date html generated: 2016_05_18-AM-10_47_32
Last ObjectModification: 2015_09_23-AM-09_16_58

Theory : reals


Home Index