Tensor Product of Matrices (Q7361749)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
AFP entry Matrix_Tensor
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Tensor Product of Matrices |
AFP entry Matrix_Tensor |
Statements
T.V.H. Prathamesh
0 references
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.
0 references
18 January 2016
0 references
Tensor Product of Matrices (English)
0 references
