Patrick Massot

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Teaching mathematics using Lean and controlled natural language	2026-02-10	Paper
Holonomic Approximation Through Convex Integration IMRN. International Mathematics Research Notices	2023-07-12	Paper
Formalising the h-principle and sphere eversion	2022-10-14	Paper
Flexibility in contact geometry in high dimension [after Borman, Eliashberg and Murphy]	2022-04-05	Paper
Formalising perfectoid spaces	2019-10-27	Paper
Examples of non-trivial contact mapping classes in all dimensions IMRN. International Mathematics Research Notices	2018-12-12	Paper
Contactomorphism groups and Legendrian flexibility	2018-03-21	Paper
On the contact mapping class group of Legendrian circle bundles Compositio Mathematica	2017-09-28	Paper
Quantitative Darboux theorems in contact geometry Transactions of the American Mathematical Society	2016-09-22	Paper
Destination. Dynamical systems with Poincaré. Edited by Aurélien Alvarez	2015-12-14	Paper
Topological Methods in 3-Dimensional Contact Geometry Bolyai Society Mathematical Studies	2015-10-05	Paper
Weak and strong fillability of higher dimensional contact manifolds Inventiones Mathematicae	2013-06-28	Paper
Infinitely many universally tight torsion free contact structures with vanishing Ozsváth-Szabó contact invariants Mathematische Annalen	2012-08-13	Paper
Tightness in contact metric 3-manifolds Inventiones Mathematicae	2012-06-26	Paper
Geodesible contact structures on 3-manifolds Geometry & Topology	2008-09-17	Paper

Research outcomes over time

This page was built for person: Patrick Massot