Title: Artificial Intelligence and Symbolic Computation