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: f a
, 
lambda: λx.A[x]
Definitions occuring in definition : 
lambda: λx.A[x]
, 
int-rdiv: (a)/k1
, 
int-to-real: r(n)
, 
apply: f 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