Computational Noncommutative Algebra and Applications