Text this: Computer approaches to mathematical problems