Výsledky vyhledávání - "algorithms with automatic result verification"
-
1
Computer-Assisted Verification Method for Invariant Densities and Rates of Decay of Correlations
ISSN: 1536-0040, 1536-0040Vydáno: Philadelphia Society for Industrial and Applied Mathematics 01.01.2011Vydáno v SIAM journal on applied dynamical systems (01.01.2011)“…A new computer-assisted verification method for invariant densities and decay rates of correlations is proposed. This new method is based on the Hilbert cone…”
Získat plný text
Journal Article