Table of contents (79 papers)

  1. Front Matter
  2. Computer algebra in physical research of jinr
    R. N. Fedorova, V. P. Gerdt, N. N. Govorun, V. P. Shirikov
    Pages 1-10
  3. Groups and polynomials
    Geoff C Smith
    Pages 26-33
  4. Symbolic computation in relativity theory
    M. A. H. MacCallum
    Pages 34-43
  5. The computer algebra system simath
    R. Böffgen, M. A. Reichert
    Pages 48-49
  6. Converting SAC-2 code to lisp
    Lars Langemyr
    Pages 50-51
  7. Computer algebra system for continued fractions manipulation
    V. Tomov, M. Nisheva, T. Tonev
    Pages 52-53
  8. Computing a lattice basis from a system of generating vectors
    Johannes Buchmann, Michael Pohst
    Pages 54-63
  9. Expression optimization using high-level knowledge
    Mark P. W. Mutrie, Bruce W. Char, Richard H. Bartels
    Pages 64-70
  10. Computer algebra application for investigating integrability of nonlinear evolution systems
    V. P. Gerdt, A. B. Shabat, S. I. Svinolupov, A.Yu. Zharkov
    Pages 81-92
  11. Symbolic computation and the finite element method
    John Fitch, Richard Hall
    Pages 95-96
  12. Application of lie group and computer algebra to nonliner mechanics
    D.M. Klimov, V.M. Rudenko, V.F. Zhuravlev
    Pages 97-106

About these proceedings

Introduction

This is the sixth in a series of conference proceedings of international conferences on computer algebra held in Europe. All the preceding ones have also been published as Lecture Notes in Computer Science. They contain original research material not published elsewhere, and a few invited lectures summarising the state of the art. Computer algebra is the science of using computers to do algebraic calculations, rather than the purely arithmetic calculations which we all know computers can do. These calculations may be polynomial-like calculations - one thread of the conference was devoted to polynomial algorithms - or may relate to other areas of mathematics such as integration, the solution of differential equations, or geometry - a second thread was devoted to those topics. The calculations can be applied in a wide range of scientific and engineering subjects, and in branches of mathematics. Physics has benefitted especially from these calculations, and the proceedings contain many papers on this, and also papers on applications in computer aided design and robotics, to name but a few other applications. The third thread of the proceedings was devoted to these applications and to the computer algebra systems which perform these calculations.

Keywords

algorithm algorithms computer computer algebra computer science robot robotics

Bibliographic information

  • Copyright Information Springer-Verlag 1989
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-51517-3
  • Online ISBN 978-3-540-48207-9
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349