Advertisement

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
  11. Jeffrey S. Leon, Vera Pless
    Pages 249-257
  12. A. C. Norman, P. M. A. Moore
    Pages 258-265
  13. Richard M. Cowan, Martin L. Griss
    Pages 266-278
  14. Edward W. Ng
    Pages 330-345
  15. A. C. Norman, J. H. Davenport
    Pages 398-407
  16. Barry M. Trager
    Pages 408-414
  17. Joel Moses, Richard Zippel
    Pages 426-430
  18. George Havas, Leon S. Sterling
    Pages 431-451
  19. Richard D. Jenks
    Pages 466-480
  20. Daniel G. Bobrow, L. Peter Deutsch
    Pages 481-489
  21. Martin L. Griss, Robert R. Kessler, Gerald Q. Maguire Jr.
    Pages 490-502
  22. Giorgio Ausiello, Giovanni Francesco Mascari
    Pages 514-530

About these proceedings

Keywords

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

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-09519-5
  • Copyright Information Springer-Verlag Berlin Heidelberg 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
  • Buy this book on publisher's site
Industry Sectors
Biotechnology
Electronics
IT & Software
Telecommunications