Patrick Massot

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 4

Top Topics

Information Bottleneck

Top Venues

Publications

Floris van Doorn, Patrick Massot, Oliver Nash
Formalising the h-Principle and Sphere Eversion. CPP (2023)
Patrick Massot, Floris van Doorn, Oliver Nash
Formalising the h-principle and sphere eversion. CoRR (2022)
Kevin Buzzard, Johan Commelin, Patrick Massot
Formalising perfectoid spaces. CPP (2020)
Kevin Buzzard, Johan Commelin, Patrick Massot
Formalising perfectoid spaces. CoRR (2019)