Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] New AFP entry: The Cayley Hamilton Theorem

view this post on Zulip Email Gateway (Aug 19 2022 at 15:50):

From: Tobias Nipkow <nipkow@in.tum.de>
The Cayley-Hamilton Theorem
Stephan Adelsberger, Stefan Hetzl and Florian Pollak

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

http://afp.sourceforge.net/entries/Cayley_Hamilton.shtml

Thanks to the authors!

Last updated: Apr 26 2024 at 16:20 UTC