Computer Algebra Eurocal83 European Computer Algebra Conference London England March 2830 1983 Proceedings 1983