Proceeding on computer algebra - Caviness Bob F. Ed.; European conference on computer algebra (1987 : Leipzing); Davenport J H (Berlin Springer-Verlag, 1985)