[isabelle] New AFP entry: The Cayley Hamilton Theorem
- To: Isabelle Users <isabelle-users at cl.cam.ac.uk>
- Subject: [isabelle] New AFP entry: The Cayley Hamilton Theorem
- From: Tobias Nipkow <nipkow at in.tum.de>
- Date: Tue, 16 Sep 2014 10:54:48 +0200
- User-agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.9; rv:24.0) Gecko/20100101 Thunderbird/24.6.0
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