Table of contents

  1. Front Matter
  2. Martin Gogolla, Stefan Conrad, Rudolf Herzig
    Pages 17-32
  3. Bo Yi, Jiafu Xu
    Pages 33-44
  4. A. Diaz, M. Hitz, E. Kaltofen, A. Lobo, T. Valente
    Pages 66-80
  5. Andreas Weber
    Pages 95-106
  6. Paolo Di Blasio, Marco Temperini
    Pages 107-121
  7. Anthony C. Hearn, Eberhard Schrüfer
    Pages 134-144
  8. Philip S. Santas
    Pages 177-191
  9. Eugenio G. Omodeo, Alberto Policriti
    Pages 192-215
  10. William M. Farmer, Joshua D. Guttman, F. Javier Thayer
    Pages 216-228

About these proceedings

Introduction

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.

Keywords

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

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0013162
  • Copyright Information Springer-Verlag 1993
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-57235-0
  • Online ISBN 978-3-540-47985-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Electronics
Telecommunications
Biotechnology