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

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

  • Copyright Information Springer-Verlag 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