Table of contents (35 papers)

  1. Front Matter
  2. An adaptive hybrid algorithm for multiplying dense polynomials
    David K. Probst, Vangalur S. Alagar
    Pages 16-23
  3. The structure of near-rings of small order
    Josef Angerer, Günter Pilz
    Pages 57-64
  4. Rewrite rule theory and abstract data type analysis
    David R. Musser, Deepak Kapur
    Pages 77-90
  5. Solving symbolic equations with press
    Leon Sterling, Alan Bundy, Lawrence Byrd, Richard O'Keefe, Bernard Silver
    Pages 109-116
  6. On polynomial factorization
    D. Lazard
    Pages 126-134
  7. The parallel Risch algorithm (I)
    James H. Davenport
    Pages 144-157

About these proceedings


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