Symbolic and Algebraic Computation: International Symposium ISSAC '88 Rome, Italy