Perron Frobenius

MaRDI QIDQ40311swMATHFDO

Official website https://www.isa-afp.org/entries/Perron_Frobenius.html

Cited in

(4)

• Comprehending Isabelle/HOL’s Consistency
• Berlekamp Zassenhaus
• TcT
• A Perron-Frobenius theorem for deciding matrix growth

This page was built for software: Perron Frobenius