E: Symbolic Computing 1997