Perron Frobenius

swMATH28597MaRDI QIDQ40311FDOQ40311

Author name not available (Why is that?)

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

Cited In (4)

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

This page was built for software: Perron Frobenius