Perron-Frobenius Theorem for Spectral Radius Analysis

MaRDI QIDQ7361200swMATHFDO

Authors Jose Divasón, Ondřej Kunčar, René Thiemann, Akihisa Yamada

Publication date 20 May 2016

Cites work

• Arctic Termination ...Below Zero
• Certification of complexity proofs using CeTA
• Certification of Termination Proofs Using CeTA
• From Matrix Interpretations over the Rationals to Matrix Interpretations over the Naturals
• From types to sets by local type definitions in higher-order logic
• Unnamed Publication
• Unnamed Publication
• Unnamed Publication
• Matrices
• Matrix interpretations for proving termination of term rewriting
• Matrix Theory
• Theory of algebraic numbers. Vol. 1

Cited in

(5)

• Expander Graphs
• A verified algorithm for computing the Smith normal form of a matrix
• Verified Algorithms for Solving Markov Decision Processes
• Stochastic Matrices and the Perron-Frobenius Theorem
• A verified factorization algorithm for integer polynomials with polynomial complexity

This page was built for software: Perron-Frobenius Theorem for Spectral Radius Analysis