Nuprl Definition : convex-comb
convex-comb(x;y;r;s) == ((r * x) + (s * y)/r + s)
Definitions occuring in Statement :
rdiv: (x/y),
rmul: a * b,
radd: a + b
Definitions occuring in definition :
rdiv: (x/y),
rmul: a * b,
radd: a + b
FDL editor aliases :
convex-comb
Latex:
convex-comb(x;y;r;s) == ((r * x) + (s * y)/r + s)
Date html generated:
2017_10_04-PM-11_10_50
Last ObjectModification:
2017_07_29-PM-05_41_22
Theory : reals_2
Home
Index