Table of contents

  1. Front Matter
  2. J. Siekmann
    Pages 22-22
  3. Michael R. Genesereth
    Pages 23-29
  4. M. Caffo, E. Remiddi, S. Turrini
    Pages 52-57
  5. Daniel Lazard
    Pages 88-94
  6. H. Bartz, K. Fischer, H. Folz, H. G. Zimmer
    Pages 108-118
  7. J. H. Davenport
    Pages 119-133
  8. Josh D. Cohen, David Y. Y. Yun
    Pages 134-139
  9. M. Pohst, H. Zassenhaus
    Pages 140-152
  10. Dana L. Ulery, Hatem M. Khalil
    Pages 177-188

About these proceedings

Keywords

Algebraic Computation Computer Computer-Aided Manufacturing (CAM) algorithms calculus computer algebra data structures verification

Bibliographic information

  • Copyright Information Springer-Verlag 1979
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-09519-4
  • Online ISBN 978-3-540-35128-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349