Tensor Product of Matrices

T.V.H. Prathamesh

18 January 2016

Abstract

In this work, the Kronecker tensor product of matrices and the proofs of some of its properties are formalized. Properties which have been formalized include associativity of the tensor product and the mixed-product property.
BSD License

Depends On

Used by

Topics

Theories

Cite

×
@article{Matrix_Tensor-AFP,
  author  = {T.V.H. Prathamesh},
  title   = {Tensor Product of Matrices},
  journal = {Archive of Formal Proofs},
  month   = January,
  year    = 2016,
  note    = {\url{http://isa-afp.org/entries/Matrix_Tensor.html},
            Formal proof development},
  ISSN    = {2150-914x},
}
Download