Table of contents

  1. Front Matter
  2. Pages 1-1
  3. Nikolaos Glinos, B. David Saunders
    Pages 23-34
  4. J. E. Åman, R. A. d'Inverno, G. C. Joly, M. A. H. MacCallum
    Pages 47-58
  5. Ralph W. Wilkerson
    Pages 59-63
  6. Claire Dicrescenzo, Dominique Duval
    Pages 100-107
  7. H. Najid-Zejli
    Pages 115-122
  8. Richard D. Jenks
    Pages 123-147
  9. J. P. Fitch, J. A. Padget
    Pages 148-158
  10. H. Michael Möller, Ferdinando Mora
    Pages 172-183

About these proceedings

Keywords

Computeralgebra algebra algorithms calculus complexity computer control optimization term rewriting time

Bibliographic information

  • DOI https://doi.org/10.1007/BFb0032823
  • Copyright Information Springer-Verlag 1984
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-13350-6
  • Online ISBN 978-3-540-38893-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349