Computational Approaches to Problems in Noncommutative Algebra -- Theory, Applications and Implementations