Sebastien Gouezel

Publication Activity (10 Years)

Years Active: 2015-2021
Publications (10 Years): 3

Top Topics

Transition Probabilities

Top Venues

Arch. Formal Proofs

Comb. Probab. Comput.

Publications

Sebastien Gouezel
Formalizing the Gromov-Hausdorff space. CICM Workshops (2021)
Sebastien Gouezel
Gromov Hyperbolicity. Arch. Formal Proofs 2018 (2018)
Sebastien Gouezel
Lp spaces. Arch. Formal Proofs 2016 (2016)
Sebastien Gouezel
A Numerical Lower Bound for the Spectral Radius of Random Walks on Surface Groups. Comb. Probab. Comput. 24 (6) (2015)