Login / Signup
Sébastien Gouëzel
ORCID
Publication Activity (10 Years)
Years Active: 2021-2022
Publications (10 Years): 3
Top Topics
Universally Quantified
Top Venues
CoRR
CICM
</>
Publications
</>
Sébastien Gouëzel
A formalization of the change of variables formula for integrals in mathlib.
CoRR
(2022)
Sébastien Gouëzel
A Formalization of the Change of Variables Formula for Integrals in mathlib.
CICM
(2022)
Sébastien Gouëzel
Formalizing the Gromov-Hausdorff space.
CoRR
(2021)