Symbolic and Algebraic Computation. International Symposium ISSAC 88, Rome