Text this: The computer modelling of mathematical reasoning