The Cayley-Hamilton Theorem

Stephan Adelsberger 🌐, Stefan Hetzl 🌐 and Florian Pollak 📧

September 15, 2014

Abstract

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

License

BSD License

Topics

Session Cayley_Hamilton