Algorithmic and Computer Methods for Three-Manifolds (Mathematics and Its Applications, 425, Band 425)