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.
BSD License

Topics

Theories of Cayley_Hamilton

Used by