Perron Frobenius

MaRDI QIDQ40311swMATHFDO

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

Publication date 20 May 2016

Official website https://www.isa-afp.org/entries/Perron_Frobenius.html

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

(4)

• A Perron-Frobenius theorem for deciding matrix growth
• Comprehending Isabelle/HOL’s Consistency
• Berlekamp Zassenhaus
• TcT

This page was built for software: Perron Frobenius