Text this: Artificial intelligence and symbolic mathematical computation :