Table of contents

  1. Front Matter
  2. W. Bibel, D. Korn, C. Kreitz, S. Schmitt
    Pages 1-21
  3. Christophe Bourely, Nicolas Peltier
    Pages 34-45
  4. Anatoli Degtyarev, Andrei Voronkov
    Pages 46-60
  5. G. Barthe, H. Elbers
    Pages 61-62
  6. Arnim Buch, Thomas Hillenbrand, Roland Fettig
    Pages 63-64
  7. Masanobu Numazawa, Masahito Kurihara, Azuma Ohuchi
    Pages 65-66
  8. Philip S. Santas
    Pages 112-125
  9. Martin Gogolla
    Pages 126-137
  10. Paolo Ciancarini, Cecilia Mascolo
    Pages 138-149
  11. Beatrice Amrhein, Oliver Gloor, Wolfgang Küchlin
    Pages 150-161
  12. Tudor Jebelean
    Pages 162-173
  13. Giovanni Cesari, Roman Maeder
    Pages 174-182
  14. Reinhard Bündgen, Manfred Göbel, Wolfgang Küchlin
    Pages 183-194
  15. Hans Haugeneder, Donald Steiner
    Pages 195-197
  16. Carla Limongelli, Giuseppina Malerba, Marco Temperini
    Pages 202-203
  17. Manfred Kerber, Michael Kohlhase, Volker Sorge
    Pages 204-215
  18. Karsten Homann, Jacques Calmet
    Pages 216-227
  19. Gianna Cioni, Attilio Colagrossi, Marco Temperini
    Pages 240-251
  20. Brian J. Dupée, James H. Davenport
    Pages 252-262
  21. Anthony C. Hearn
    Pages 263-270
  22. Arthur Norman, John Fitch
    Pages 271-276
  23. Stéphane Dalmas, Marc Gaëtano, Claude Huchet
    Pages 287-296
  24. Stéphane Dalmas, Marc Gaëtano
    Pages 308-319
  25. Mario Daberkow, Andreas Weber
    Pages 320-330
  26. Georgios Grivas, Alexios Palinginis
    Pages 331-342
  27. Simon Gray, Norbert Kajler, Paul S. Wang
    Pages 343-356
  28. Back Matter

About these proceedings


This book presents the refereed proceedings of the Fourth International Symposium on Design and Implementation of Symbolic Computation Systems, DISCO '96, held in Karlsruhe, Germany, in September 1996.
The volume includes four invited contributions surveying the state of the art in a particular subfield or pointing to some new research directions together with 31 revised full papers selected from a total of some 70 submissions. Many current aspects of mathematical software systems, as employed e.g. in computer algebra, automated theorem proving, or al- gebraic specification are addressed.


Algebraic Specification Algebraische Spezifikation Autmatisches Theorembeweisen Automated Theorem Proving Computer Algebra Computeralgebra Mathematical Software Systems Mathematische Softwaresysteme System algorithms computer-assisted surgery geometry programming programming language proving

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1996
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-61697-9
  • Online ISBN 978-3-540-70635-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Finance, Business & Banking
IT & Software
Consumer Packaged Goods