Text this: Algorithmic methods in non-commutative algebra