The Cayley-Hamilton Theorem

Stephan Adelsberger, Stefan Hetzl and Florian Pollak

15 September 2014

Abstract

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

Used by

Topics

Theories

Cite

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