Αποστολή με SMS: Artificial Intelligence, Automated Reasoning, and Symbolic Computation