Proceeding on computer algebra - Buchberger Bruno Ed.; European conference on computer algebra (1985 : Linz) (Berlin Springer-Verlag, 1985)