René Thiemann. Stochastic Matrices and the Perron-Frobenius Theorem. Archive of Formal Proofs, 2017, 2017. [doi]
@article{Thiemann17-1,
title = {Stochastic Matrices and the Perron-Frobenius Theorem},
author = {René Thiemann},
year = {2017},
url = {https://www.isa-afp.org/entries/Stochastic_Matrices.html},
researchr = {https://researchr.org/publication/Thiemann17-1},
cites = {0},
citedby = {0},
journal = {Archive of Formal Proofs},
volume = {2017},
}