Interactive theorem proving, automated reasoning, and dynamical systems
Jeremy Avigad
Carnegie Mellon University
April 5, 2016
Estimating long-term behavior of periodically driven flows without trajectory integration
Gary Froyland
University of New South Wales
April 4, 2016
Linear Response- Formulae and Rigorous Approximations
Wael Bahsoun
Loughborough University
April 4, 2016
Effective computation of expansivity rates in one-dimensional dynamics
Pawel Pilarczyk
IST Austria
April 4, 2016
On the measure of the set of regular parameter values for the quadratic map
Zbigniew Galias
AGH University of Science & Technology
April 4, 2016
Sums of Cantor sets and convolutions of singular measures
Anton Gorodetski
University of California Irvine
March 11, 2016
New criteria for equality of Hausdorff and affinity dimensions, via self-affine measures on positive subsystems
Pablo Shmerkin
Torcuato Di Tella University
March 11, 2016
On the fractal geometry of horseshoes in arbitrary dimensions
Carlos Moreira
Instituto Nacional de Matemática Pura e Aplicada (IMPA)
March 11, 2016
Computation and inverse problems for linear response.
Mark Pollicott
Warwick University
March 11, 2016