Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. perron-frobenius for irreducible matrices in JNF-representation
Changeset 8368:37d29bd87a06 by rene thiemann _rene.thiemann@uibk.ac.at_:
perron-frobenius for irreducible matrices in JNF-representation
The file was modified thys/Perron_Frobenius/Perron_Frobenius_2.thy (diff)
The file was modified thys/Perron_Frobenius/Perron_Frobenius_Aux.thy (diff)