Floris van Doorn Patrick Massot Oliver Nash Formalising the h-Principle and Sphere Eversion. 121-134 2023 CPP https://doi.org/10.1145/3573105.3575688 conf/cpp/2023 db/conf/cpp/cpp2023.html#DoornMN23