Paper Info
Title
A Perron–Frobenius theorem for deciding matrix growth
Abstract
Matrix interpretations are widely used in automated complexity analysis. Certifying such analyses boils down to determining the growth rate of An for a fixed non-negative rational matrix A. There exists a conceptually simple algorithm to determine the growth rate, but this algorithm has the disadvantage that it is based on algebraic number computations.
Year
DOI
Venue
2021
10.1016/j.jlamp.2021.100699
Journal of Logical and Algebraic Methods in Programming
Keywords
DocType
Volume
Complexity,Isabelle/HOL,Spectral radius
Journal
123
ISSN
Citations 
PageRank 
2352-2208
0
0.34
References 
Authors
0
1
Name
Order
Citations
PageRank
René Thiemann198469.38