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

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