Nuprl Definition : real-vec-norm
||x|| == rsqrt(x ⋅ x)
Definitions occuring in Statement :
dot-product: x ⋅ y,
rsqrt: rsqrt(x)
Definitions occuring in definition :
rsqrt: rsqrt(x),
dot-product: x ⋅ y
FDL editor aliases :
real-vec-norm
Latex:
||x|| == rsqrt(x \mcdot{} x)
Date html generated:
2016_05_18-AM-09_48_05
Last ObjectModification:
2015_09_23-AM-09_13_27
Theory : reals
Home
Index