J. A. van Hulzen, editor, Computer Algebra, EUROCAL 83, European Computer Algebra Conference, London, England, March 28-30, 1983, Proceedings. Volume 162 of Lecture Notes in Computer Science, Springer, 1983.

Conference: eurocal1983

Abstract is missing.

- Integration - What do we want from the theory?2-11
- The Euclidean algorithm for Gaussian integers12-23
- Multi polynominal remainder sequence and its application to linear diophantine equations24-35
- Towards mechanical solution of the Kahan Ellipse Problem 136-44
- Automatically determining symmetries of ordinary differential equations45-54
- Algebraic computation of the statistics of the solution of some nonlinear stochastic differential equations55-67
- Characterization of a linear differential system with a regular singularity68-77
- The Bath concurrent LISP machine78-90
- The ecology of LISP or the case for the preservation of the environment91-100
- The design of maple: A compact, portable and powerful computer algebra system101-115
- LISP compilation viewed as provable semantics preserving program transformation116-127
- Implementing REDUCE on a micro-computer128-136
- A note on the complexity of constructing Gröbner-Bases137-145
- Gröbner-Bases, Gaussian elimination and resolution of systems of algebraic equations146-156
- The computation of the Hilbert function157-167
- An algorithm for constructing detaching bases in the ring of polynominals over a field168-179
- On the problem of Beha Eddin Amuli and the computation of height functions180-193
- A procedure for determining algebraic integers of given norm194-202
- Computation of integral solutions of a special type of systems of quadratic equations203-213
- Factorization of sparse polynominals214-224
- Early detection of true factors in univariate polynominal factorization225-235
- On the complexity of finding short vectors in integer lattices236-244
- Factoring polynominals over algebraic number fields245-254
- The construction of a complete minimal set of contextual normal forms255-266
- A knowledge-based approach to user-friendliness in symbolic computing267-274
- Computer algebra and VLSI, prospects for cross fertilization275-285
- Code optimization of multivariate polynominal schemes: A pragmatic approach286-300