Computational and Geometric Aspects of Modern Algebra: Detecting 3-manifold presentations