Text this: Algorithmic Mathematics