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

About these proceedings

Introduction

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.

Keywords

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 https://doi.org/10.1007/3-540-61697-7
  • Copyright Information Springer-Verlag 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
  • About this book
Industry Sectors
Electronics
Telecommunications
Biotechnology