[isabelle] New AFP entry: The Cayley Hamilton Theorem

The Cayley-Hamilton Theorem
Stephan Adelsberger, Stefan Hetzl and Florian Pollak

This document contains a proof of the Cayley-Hamilton theorem based on the
development of matrices in HOL/Multivariate Analysis.


Thanks to the authors!

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