Nuprl Definition : scalar-product
(a . b) == Σ(r) 0 ≤ i < n. (a i) * (b i)
Definitions occuring in Statement :
infix_ap: x f y,
apply: f a,
natural_number: $n,
rng_sum: rng_sum,
rng_times: *
Definitions occuring in definition :
rng_sum: rng_sum,
natural_number: $n,
infix_ap: x f y,
rng_times: *,
apply: f a
FDL editor aliases :
scalar-product
Latex:
(a . b) == \mSigma{}(r) 0 \mleq{} i < n. (a i) * (b i)
Date html generated:
2018_05_21-PM-09_41_51
Last ObjectModification:
2017_12_18-PM-00_41_33
Theory : matrices
Home
Index