Nuprl Definition : matrix-plus
M + N == matrix(M[x,y] +r N[x,y])
Definitions occuring in Statement :
mx: matrix(M[x; y]),
matrix-ap: M[i,j],
infix_ap: x f y,
rng_plus: +r
Definitions occuring in definition :
mx: matrix(M[x; y]),
infix_ap: x f y,
rng_plus: +r,
matrix-ap: M[i,j]
FDL editor aliases :
matrix-plus
Latex:
M + N == matrix(M[x,y] +r N[x,y])
Date html generated:
2018_05_21-PM-09_34_29
Last ObjectModification:
2017_12_11-PM-00_29_24
Theory : matrices
Home
Index