Text this: Intelligent computer mathematics