Text this: Integrating symbolic mathematical computation and artificial intelligence :