Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Ondřej Kunčar
Efficient Certification of Complexity Proofs: Formalizing the Perron–Frobenius Theorem (Invited Talk Paper)
Related publications
On Iohvidov's Proofs of the Fischer-Frobenius Theorem
Journal of Research of the National Bureau of Standards, Section B: Mathematical Sciences
Polynomial Eigenfuctions of the Perron–frobenius Operator
Izvestiya Vysshikh Uchebnykh Zavedeniy. Prikladnaya Nelineynaya Dinamika
Nonlinear Physics
Applied Mathematics
Astronomy
Physics
Statistical
Nonlinear Perron-Frobenius Theory and Discrete Event Systems
Journal Europeen des Systemes Automatises
Control
Electronic Engineering
Industrial
Systems Engineering
Manufacturing Engineering
Computer Science Applications
Electrical
Efficient Certification and Zero-Knowledge Proofs of Knowledge on Infrastructure Topology Graphs
Certification of Termination Proofs Using CeTA
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
The Perron-Frobenius Operator in Spaces of Smooth Functions on an Interval
Ergodic Theory and Dynamical Systems
Mathematics
Applied Mathematics
On Koopman and Perron-Frobenius Operators of Random Dynamical Systems
ESAIM: Proceedings and Surveys
A Note on a Theorem of Perron
Proceedings of the American Mathematical Society
Mathematics
Applied Mathematics
Galton-Watson and Branching Process Representations of the Normalized Perron-Frobenius Eigenvector
ESAIM - Probability and Statistics
Statistics
Probability
