Text this: Using computers in mathematics