Un mathématicien peut-il utiliser un logiciel de vérification de démonstration
18 Oct 2018 Patick massot
Exponential decay of correlations for Anosov flows
07 Jul 2017 Masato Tsujii
SL2(R): harmonic analysis and dynamics III
07 Jul 2017 Livio Flaminio
Stochastic properties of the Z2-periodic Sinai billiard
07 Jul 2017 Françoise Pène
Microlocal methods in chaotic dynamics II
07 Jul 2017 Maciej Zworski
Spectral analysis of Morse-Smale gradient flows
06 Jul 2017 Gabriel Rivière
06 Jul 2017 Maciej Zworski
Numerical calculation of resonances on convexcocompact surfaces via zeta-functions
06 Jul 2017 Tobias Weich
SL2(R): harmonic analysis and dynamics II
06 Jul 2017 Livio Flaminio
Microlocal methods in chaotic dynamics I
05 Jul 2017 Semyon Dyatlov
