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
  11. Su Feng, Toshiki Sakabe, Yasuyoshi Inagaki
    Pages 256-271
  12. Maria Paola Bonacina, Jieh Hsiang
    Pages 272-287
  13. Hoon Hong, Andreas Neubacher, Wolfgang Schreiner
    Pages 288-302
  14. Richard Zippel
    Pages 303-318
  15. Carla Limongelli, Marco Temperini
    Pages 319-330
  16. A. C. Norman
    Pages 331-340
  17. Robert Fournier, Norbert Kajler, Bernard Mourrain
    Pages 341-353
  18. Stephan A. Missura
    Pages 359-363
  19. Antonio Vantaggiato
    Pages 364-368
  20. S. Bonamico, G. Cioni, A. Colagrossi
    Pages 369-373
  21. Toby Walsh
    Pages 379-383
  22. Back Matter

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

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 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
  • Buy this book on publisher's site