OP-00093 Lean verified Realizing arbitrary polynomial growth exponents by finite matrix families DS · growth rates · joint spectral radius · matrix products · OpenProblemsInNLA
OP-00164 Open Temporal regularity of marginal matrix-product growth DS · growth rates · joint spectral radius · matrix products · OpenProblemsInNLA