Nuprl Definition : ravg
ravg(x;y) == (x + y/r(2))
Definitions occuring in Statement :
rdiv: (x/y),
radd: a + b,
int-to-real: r(n),
natural_number: $n
Definitions occuring in definition :
rdiv: (x/y),
radd: a + b,
int-to-real: r(n),
natural_number: $n
FDL editor aliases :
ravg
Latex:
ravg(x;y) == (x + y/r(2))
Date html generated:
2016_05_18-AM-07_34_45
Last ObjectModification:
2015_09_23-AM-09_01_54
Theory : reals
Home
Index