Applications of the Theory of Normal Surfaces

The theory of normal surfaces is used extensively in algorithmic topology. Algorithms based on it most often follow the General Scheme described below. Suppose that we wish to solve a problem about a given 3-manifold M.