Algorithms in 4-manifold topology

Stefan Bastl, Rhuaidi Burke, Rima Chatterjee +28

We show that there exists an algorithm that takes as input two closed, simply connected, topological 4-manifolds and decides whether or not these 4-manifolds are homeomorphic. In p…