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 :
natural_number: $n,
int-to-real: r(n),
int-rdiv: (a)/k1,
rmul: a * b,
radd: a + b,
rroot: rroot(i;x),
rsub: x - y
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_10_26-PM-00_50_53
Last ObjectModification:
2016_09_12-PM-05_46_31
Theory : reals_2
Home
Index