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 juil 2017 Masato Tsujii
SL2(R): harmonic analysis and dynamics III
07 juil 2017 Livio Flaminio
Stochastic properties of the Z2-periodic Sinai billiard
07 juil 2017 Françoise Pène
Microlocal methods in chaotic dynamics II
07 juil 2017 Maciej Zworski
Spectral analysis of Morse-Smale gradient flows
06 juil 2017 Gabriel Rivière
06 juil 2017 Maciej Zworski
Numerical calculation of resonances on convexcocompact surfaces via zeta-functions
06 juil 2017 Tobias Weich
SL2(R): harmonic analysis and dynamics II
06 juil 2017 Livio Flaminio
Microlocal methods in chaotic dynamics I
05 juil 2017 Semyon Dyatlov