Efficient Certification of Complexity Proofs: Formalizing the Perron–Frobenius Theorem (Invited Talk Paper)

doi 10.1145/3167103
Full Text
Abstract

Available in full text

Date
Authors
Publisher

ACM Press

Related search

On Iohvidov's Proofs of the Fischer-Frobenius Theorem

Journal of Research of the National Bureau of Standards, Section B: Mathematical Sciences
1976English

Polynomial Eigenfuctions of the Perron–frobenius Operator

Izvestiya Vysshikh Uchebnykh Zavedeniy. Prikladnaya Nelineynaya Dinamika
Nonlinear PhysicsApplied MathematicsAstronomyPhysicsStatistical
2016English

Nonlinear Perron-Frobenius Theory and Discrete Event Systems

Journal Europeen des Systemes Automatises
ControlElectronic EngineeringIndustrialSystems EngineeringManufacturing EngineeringComputer Science ApplicationsElectrical
2005English

Efficient Certification and Zero-Knowledge Proofs of Knowledge on Infrastructure Topology Graphs

2014English

Certification of Termination Proofs Using CeTA

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

The Perron-Frobenius Operator in Spaces of Smooth Functions on an Interval

Ergodic Theory and Dynamical Systems
MathematicsApplied Mathematics
1984English

On Koopman and Perron-Frobenius Operators of Random Dynamical Systems

ESAIM: Proceedings and Surveys
2014English

A Note on a Theorem of Perron

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
1986English

Galton-Watson and Branching Process Representations of the Normalized Perron-Frobenius Eigenvector

ESAIM - Probability and Statistics
StatisticsProbability
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy