[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.

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

Thanks to the authors!




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