[isabelle] New AFP entry: Tensor Product of Matrices



Tensor Product of Matrices
T.V.H. Prathamesh

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.

http://afp.sourceforge.net/entries/Matrix_Tensor.shtml

Enjoy!

Attachment: smime.p7s
Description: S/MIME Cryptographic Signature



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.