Text this: Mathematical experiments on the computer