Text this: The interface of three areas of computer science with the mathematical sciences