OP-00092 Lean verified Uniform polynomial bounds for products at joint spectral radius one DS · joint spectral radius · matrix products · OpenProblemsInNLA
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