In this paper we describe a procedure to
simplify any given triangulation of S3 using
Pachner moves. We obtain an explicit exponential-type bound on
the number of Pachner moves needed for this process. This leads
to a new recognition algorithm for the 3-sphere.
Department of Pure Mathematics and Mathematical Statistics Center for Mathematical Sciences University of Cambridge Wilberforce Road Cambridge, CB3 0WB UK