Algorithmic and Computer Methods for Three-Manifolds by A.T. Fomenko & S.V. Matveev