Perron Frobenius

swMATH28597MaRDI QIDQ40311FDOQ40311

Author name not available (Why is that?)

Cited In (2)

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

This page was built for software: Perron Frobenius