An algorithm for the recognition of 3-spheres (according to Thompson)

The question of the existence of an algorithm for determining whether given 3-manifolds are homeomorphic is a key question of low-dimensional topology. An algorithm due to A. Thompson for the recognition of the standard 3-sphere is presented. The use of handle decomposition instead of triangulation greatly simplifies both the formulation and the proof of the algorithm.