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.

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

Used by

Cite

× 
@article{Cayley_Hamilton-AFP,
  author  = {Stephan Adelsberger and Stefan Hetzl and Florian Pollak},
  title   = {The Cayley-Hamilton Theorem},
  journal = {Archive of Formal Proofs},
  month   = {September},
  year    = {2014},
  note    = {\url{https://isa-afp.org/entries/Cayley_Hamilton.html},
            Formal proof development},
  ISSN    = {2150-914x},
}
Download

Download

× Download latest

Older releases: