Oliver Nash
- 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)
- Formalising Lie algebras
2021/12/08 by Oliver Nash, Nash, Oliver · 1 citation
Computer Science · #Advanced Database Systems and Queries #FOS: Computer and information sciences #FOS: Mathematics #Logic in Computer Science (cs.LO) #Mathematics, Computing, and Information Processing #Representation Theory (math.RT)