Nash, Oliver
- Formalising the h-principle and sphere eversion
2022/10/14 by Patrick Massot, Massot, Patrick, van Doorn, Floris +2 · 8 citations
Mathematics · #57R12 #68V20 #Algebraic Geometry and Number Theory #F.4.1 #FOS: Computer and information sciences #FOS: Mathematics #Geometric Topology (math.GT) #History and Theory of Mathematics #Homotopy and Cohomology in Algebraic Topology #Logic in Computer Science (cs.LO)