LISP and Symbolic Computation