Un mathématicien peut-il utiliser un logiciel de vérification de démonstration plus
|
Exponential decay of correlations for Anosov flows
|
SL2(R): harmonic analysis and dynamics III
|
Stochastic properties of the Z2-periodic Sinai billiard
|
Microlocal methods in chaotic dynamics II
|
Spectral analysis of Morse-Smale gradient flows
|
Microlocal methods in chaotic dynamics II
|
SL2(R): harmonic analysis and dynamics II
|
Functional analytic approach to dynamical systems III
|
Microlocal methods in chaotic dynamics I
|
Functional analytic approach to dynamical systems II
|