Nuprl Definition : matrix-times
(M*N) == matrix(Σ(r) 0 ≤ i < n. M[x,i] * N[i,y])
Definitions occuring in Statement :
mx: matrix(M[x; y]),
matrix-ap: M[i,j],
infix_ap: x f y,
natural_number: $n,
rng_sum: rng_sum,
rng_times: *
Definitions occuring in definition :
mx: matrix(M[x; y]),
rng_sum: rng_sum,
natural_number: $n,
infix_ap: x f y,
rng_times: *,
matrix-ap: M[i,j]
FDL editor aliases :
matrix-times
Latex:
(M*N) == matrix(\mSigma{}(r) 0 \mleq{} i < n. M[x,i] * N[i,y])
Date html generated:
2018_05_21-PM-09_34_36
Last ObjectModification:
2017_12_11-PM-00_29_27
Theory : matrices
Home
Index