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: x - y,
rmul: a * b,
radd: a + b,
int-to-real: r(n),
natural_number: $n
Definitions occuring in definition :
rsub: x - y,
rroot: rroot(i;x),
radd: a + b,
rmul: a * 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