Skip to main content
SpringerLink
Log in

EUROCAL '87

European Conference on Computer Algebra, Leipzig, GDR, June 2-5, 1987. Proceedings

  • Conference proceedings
  • © 1989

Overview

Editors:
  1. James H. Davenport
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 378)

Included in the following conference series:

Conference proceedings info: EUROCAL 1987.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (79 papers)

  1. Front Matter

    Download chapter 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
Back to top

Keywords

About this book

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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation