Nuprl Definition : log-contraction
log-contraction(a;x) == x + (r(2) * (a - e^x/a + e^x))
Definitions occuring in Statement :
rexp: e^x,
rdiv: (x/y),
rsub: x - y,
rmul: a * b,
radd: a + b,
int-to-real: r(n),
natural_number: $n
Definitions occuring in definition :
rexp: e^x,
radd: a + b,
rsub: x - y,
rdiv: (x/y),
natural_number: $n,
int-to-real: r(n),
rmul: a * b
FDL editor aliases :
log-contraction
Latex:
log-contraction(a;x) == x + (r(2) * (a - e\^{}x/a + e\^{}x))
Date html generated:
2016_10_26-PM-00_29_02
Last ObjectModification:
2016_09_12-PM-05_44_42
Theory : reals_2
Home
Index