Nuprl Definition : raise-left-endpoint
raise-left-endpoint(a;b;n) == (n + 1 * a + b)/n + 2
Definitions occuring in Statement :
int-rdiv: (a)/k1,
int-rmul: k1 * a,
radd: a + b,
add: n + m,
natural_number: $n
Definitions occuring in definition :
int-rdiv: (a)/k1,
radd: a + b,
int-rmul: k1 * a,
add: n + m,
natural_number: $n
FDL editor aliases :
raise-left-endpoint
Latex:
raise-left-endpoint(a;b;n) == (n + 1 * a + b)/n + 2
Date html generated:
2016_05_18-AM-08_38_15
Last ObjectModification:
2015_09_23-AM-09_06_53
Theory : reals
Home
Index