Design and Implementation of Symbolic Computation Systems

This volume constitutes the proceedings of the
International Symposium on   Design and Implementation of
Symbolic Computation Systems (DISCO '93), held in Gmunden,
Austria, in September 1993.
The growing importance of         systems for symbolic computation
has greatly influenced the decision of      organizing this third
conference in the series: DISCO '93 focuses mainly on the
most innovative methodological and technological aspects of
the      design and implementation of hardware and software
systems for symbolic and algebraic computation, automated
reasoning, geometric modeling and               computation, and automatic
programming. The general objective of DISCO '93   is to
present an up-to-date view of the field and to serve as a
forum insymbolic computation for the scientific exchange
among academic, industrial and user communities.
Besides invited talks by Buchberger, Monagan, Omodeo   and
Hong, the volume contains 28 contributions, carefully
selected by a highly competent international program
committee from a total of 56            submissions.