Table of contents (51 papers)

  1. Front Matter
  2. Unification of commutative terms
    J. Siekmann
    Pages 22-22
  3. Canonicality in rule systems
    Michael R. Genesereth
    Pages 23-29
  4. An algorithm for the analytic evaluation of a class of integrals
    M. Caffo, E. Remiddi, S. Turrini
    Pages 52-57
  5. Systems of algebraic equations
    Daniel Lazard
    Pages 88-94
  6. Some computations related to torsion points on elliptic curves over number fields
    H. Bartz, K. Fischer, H. Folz, H. G. Zimmer
    Pages 108-118
  7. The computerisation of algebraic geometry
    J. H. Davenport
    Pages 119-133
  8. Algebraic extensions of arbitrary integral domains
    Josh D. Cohen, David Y. Y. Yun
    Pages 134-139
  9. On unit computation in real quadratic fields
    M. Pohst, H. Zassenhaus
    Pages 140-152
  10. A semi-numeric difference algorithm
    Dana L. Ulery, Hatem M. Khalil
    Pages 177-188

About these proceedings

Keywords

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

Bibliographic information

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