T型他C类艾利-H（H）阿米尔顿T型神灵

斯蒂芬·阿德尔斯伯格 🌐,斯特凡·赫兹尔 🌐和弗洛里安·波拉克 📧

2014年9月15日

摘要

本文档包含Cayley-Hamilton定理的证明基于HOL/多元分析中矩阵的发展。

许可证

许可协议

话题

会议Cayle_Hamilton

使用者

引用

× 
@文章{Cayley_Hamilton-AFP，author={Stephan Adelsberger、Stefan Hetzl和Florian Pollak}，title={凯莱-汉密尔顿定理}，journal={正式证据存档}，月份＝{九月}，年份={2014}，注释={\url{https://isa-afp.org/entries/Cayley_Hamilton.html},形式证明开发}，ISSN={2150-914x}，}
下载

下载

× 下载最新版本

旧版本：