The Cayley-Hamilton Theorem

Stephan Adelsberger 🌐, Stefan Hetzl 🌐 and Florian Pollak 📧

September 15, 2014

This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations.


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


BSD License


Session Cayley_Hamilton

Used by