Gouëzel, Sébastien
- A corrected quantitative version of the Morse lemma
2018/10/10 by Sébastien Gouëzel, Gouëzel, Sébastien, Vladimir Shchur +1 · 2 citations
Mathematics · #FOS: Mathematics #Geometric Analysis and Curvature Flows #Geometric Topology (math.GT) #Geometric and Algebraic Topology #Mathematical Dynamics and Fractals
- Ruelle spectrum of linear pseudo-Anosov maps
2018/08/01 by Faure, Frédéric, Gouëzel, Sébastien, Lanneau, Erwan · 2 citations
#Dynamical Systems (math.DS) #FOS: Mathematics
- A formalization of the change of variables formula for integrals in mathlib
2022/07/26 by Gouëzel, Sébastien · 2 citations
#FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
- Minimal distance between random orbits
2022/09/27 by Sébastien Gouëzel, Gouëzel, Sébastien, Jérôme Rousseau +3 · 2 citations
Mathematics · Physics and Astronomy · #Dynamical Systems (math.DS) #FOS: Mathematics #Mathematical Dynamics and Fractals #Quantum chaos and dynamical systems #Stochastic processes and statistical mechanics
- Quantitative Pesin theory for Anosov diffeomorphisms and flows
2016/10/18 by Sébastien Gouëzel, SÉBASTIEN GOUËZEL, LUCHEZAR STOYANOV +3 · 1 citation
Mathematics · Physics and Astronomy · #Dynamical Systems (math.DS) #FOS: Mathematics
- A blueprint for the formalization of Carleson's theorem on convergence of Fourier series
2024/05/10 by L. Becker, Becker, Lars, de Frutos-Fernández, María Inés +26 · 1 citation
Mathematics · #Advanced Harmonic Analysis Research #Differential Equations and Boundary Problems #Advanced Banach Space Theory