EUROCAL '87

1. Front Matter

   PDF

2. Computer algebra in physical research of jinr

   • R. N. Fedorova, V. P. Gerdt, N. N. Govorun, V. P. Shirikov

   Pages 1-10

3. Complexity of quantifier elimination in the theory of ordinary differential equations

   • D.Yu. Grigor'ev

   Pages 11-25

4. Groups and polynomials

   • Geoff C Smith

   Pages 26-33

5. Symbolic computation in relativity theory

   • M. A. H. MacCallum

   Pages 34-43

6. A zero structure theorem for polynomial-equations-solving and its applications

   • Wu Wen-tsun

   Pages 44-44

7. Some algorithms of rational function algebra

   • S. A. Abramov

   Pages 45-47

8. The computer algebra system simath

   • R. Böffgen, M. A. Reichert

   Pages 48-49

9. Converting SAC-2 code to lisp

   • Lars Langemyr

   Pages 50-51

10. Computer algebra system for continued fractions manipulation

    • V. Tomov, M. Nisheva, T. Tonev

    Pages 52-53

11. Computing a lattice basis from a system of generating vectors

    • Johannes Buchmann, Michael Pohst

    Pages 54-63

12. Expression optimization using high-level knowledge

    • Mark P. W. Mutrie, Bruce W. Char, Richard H. Bartels

    Pages 64-70

13. Catfact: Computer algebraic tools for applications of catastrophe theory

    • R. G. Cowell, F. J. Wright

    Pages 71-80

14. 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

15. Computer classification of integrable seventh order MKdV — Like equations

    • V. P. Gerdt, A.Yu. Zharkov

    Pages 93-94

16. Symbolic computation and the finite element method

    • John Fitch, Richard Hall

    Pages 95-96

17. Application of lie group and computer algebra to nonliner mechanics

    • D.M. Klimov, V.M. Rudenko, V.F. Zhuravlev

    Pages 97-106

18. Hierarchical symbolic computations in the analysis of large-scale dynamical systems

    • Jerzy Paczyński

    Pages 107-115

19. Schoonschip for computing of gravitino interaction cross sections in N=2 supergravity

    • N. I. Gurin

    Pages 116-117

20. Creation of efficient symbolic-numeric interface

    • N. N. Vasiliev

    Pages 118-119

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.

• algorithm
• algorithms
• computer
• computer algebra
• computer science
• robot
• robotics
• algorithm analysis and problem complexity
• complexity

Policies and ethics