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
![]()
|