Nuprl Definition : approx-ball-to-ball

approx-ball-to-ball(k;p) ==  λi.(r(p i))/k



Definitions occuring in Statement :  int-rdiv: (a)/k1 int-to-real: r(n) apply: a lambda: λx.A[x]
Definitions occuring in definition :  lambda: λx.A[x] int-rdiv: (a)/k1 int-to-real: r(n) apply: a
FDL editor aliases :  approx-ball-to-ball

Latex:
approx-ball-to-ball(k;p)  ==    \mlambda{}i.(r(p  i))/k



Date html generated: 2019_10_30-AM-11_28_40
Last ObjectModification: 2019_06_28-PM-01_56_22

Theory : real!vectors


Home Index