Advertisement

Table of contents

  1. Front Matter
  2. David K. Probst, Vangalur S. Alagar
    Pages 16-23
  3. Josef Angerer, Günter Pilz
    Pages 57-64
  4. David R. Musser, Deepak Kapur
    Pages 77-90
  5. Leon Sterling, Alan Bundy, Lawrence Byrd, Richard O'Keefe, Bernard Silver
    Pages 109-116
  6. D. Lazard
    Pages 126-134
  7. James H. Davenport
    Pages 144-157
  8. F. Lamnabhi-Lagarrigue, M. Lamnabhi
    Pages 204-211
  9. Dennis S. Arnon, Scott McCallum
    Pages 215-222
  10. L. Bordoni, A. Colagrossi, A. Miola
    Pages 231-236
  11. John Fitch, Jed Marti
    Pages 249-255
  12. J. Smit, J. A. van Hulzen
    Pages 281-288
  13. Daniel Claude, Pierre Dufresne
    Pages 294-301

About these proceedings

Keywords

Computeralgebra Division algebraic number field boundary element method computer algebra construction development linear algebra logic logic programming online ordinary differential equation programming theorem transformation

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-11607-9
  • Copyright Information Springer-Verlag Berlin Heidelberg 1982
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-11607-3
  • Online ISBN 978-3-540-39433-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site