About these proceedings
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.
Algebraic Manipulation Automatisches Schließen Geometric Modelling Geometrisches Modellieren Hardware Symbolic Computation System Design and Implementation Systementwurf und Systemimplement automated reasoning geometric modeling modeling programming