menu

Home
Topics
Download
Help
Statistics
About

Contribution

Ondřej Kunčar

http://www21.in.tum.de/~kuncar/

This is an unofficial reimagining of the Archive of Formal Proofs

2016

Perron-Frobenius Theorem for Spectral Radius Analysis
by Jose Divasón, Ondřej Kunčar, René Thiemann and Akihisa Yamada

20 May