Nuprl Definition : rv-norm
||x|| == rsqrt(x^2)
Definitions occuring in Statement :
rv-ip: x ⋅ y,
rsqrt: rsqrt(x)
Definitions occuring in definition :
rv-ip: x ⋅ y,
rsqrt: rsqrt(x)
FDL editor aliases :
rv-norm
Latex:
||x|| == rsqrt(x\^{}2)
Date html generated:
2016_11_08-AM-09_16_02
Last ObjectModification:
2016_10_31-PM-04_34_08
Theory : inner!product!spaces
Home
Index