Non-commutative Computer Algebra with applications by Oleksandr Motsak