Nuprl Definition : dot-product
x ⋅ y == Σ{(x i) * (y i) | 0≤i≤n - 1}
Definitions occuring in Statement :
rsum: Σ{x[k] | n≤k≤m},
rmul: a * b,
apply: f a,
subtract: n - m,
natural_number: $n
Definitions occuring in definition :
rsum: Σ{x[k] | n≤k≤m},
subtract: n - m,
natural_number: $n,
rmul: a * b,
apply: f a
FDL editor aliases :
dot-product
Latex:
x \mcdot{} y == \mSigma{}\{(x i) * (y i) | 0\mleq{}i\mleq{}n - 1\}
Date html generated:
2016_05_18-AM-09_46_50
Last ObjectModification:
2015_09_23-AM-09_13_18
Theory : reals
Home
Index