EUROCAL 1987,
Leipzig,
GDR
James H. Davenport (Ed.):
EUROCAL '87, European Conference on Computer Algebra, Leipzig, GDR, June 2-5, 1987, Proceedings.
Lecture Notes in Computer Science 378 Springer 1989, ISBN 3-540-51517-8 
@proceedings{DBLP:conf/eurocal/1987,
editor = {James H. Davenport},
title = {EUROCAL '87, European Conference on Computer Algebra, Leipzig,
GDR, June 2-5, 1987, Proceedings},
booktitle = {EUROCAL},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {378},
year = {1989},
isbn = {3-540-51517-8},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Papers
Applications and Systems
- R. Böffgen, M. A. Reichert:
The computer algebra system SIMATH.
48-49
- Lars Langemyr:
Converting SAC-2 code to LISP.
50-51
- V. Tomov, M. Nisheva, T. Tonev:
Computer algebra system for continued fractions manipulation.
52-53
- Johannes Buchmann, Michael Pohst:
Computing a lattice basis from a system of generating vectors.
54-63
- Mark P. W. Mutrie, Bruce W. Char, Richard H. Bartels:
Expression optimization using high-level knowledge.
64-70
- R. G. Cowell, Francis J. Wright:
CATFACT: Computer algebraic tools for applications of catastrophe theory.
71-80
- Vladimir P. Gerdt, A. B. Shabat, S. I. Svinolupov, A. Yu. Zharkov:
Computer algebra applications for investigating integrability of nonlinear evolution systems.
81-92
- Vladimir P. Gerdt, A. Yu. Zharkov:
Computer classification of integrable seventh order MKdV-like equations.
93-94
- John Fitch, Richard G. Hall:
Symbolic computation and the finite element method.
95-96
- D. M. Klimov, V. M. Rudenko, V. F. Zhuravlev:
Application of Lie group and computer algebra to nonlinear mechanics.
97-106
- Jerzy Paczynski:
Hierarchical symbolic computations in the analysis of large-scale dynamical systems.
107-115
- N. I. Gurin:
SCHOONSCHIP for computing of gravitino interaction cross sections in n=2 supergravity.
116-117
- N. N. Vasiliev:
Creation of efficient symbolic-numeric interface.
118-119
- P. van den Heuvel, J. A. van Hulzen, V. V. Goldman:
Automatic generation of FORTRAN-coded Jacobians and Hessians.
120-131
- Cristomir Kazasov:
Laplace transformations in REDUCE 3.
132-133
- Tsuyoshi Yamamoto, Yoshinao Aoki:
REDUCE 3.2 on iAPX 86/286-based personal computers.
134-135
- M. Spiridonova:
Some extensions and applications of REDUCE System.
136-137
- William H. Burge, Stephen M. Watt:
Infinite structures in SCRATCHPAD II.
138-148
- J. Smit, Sabih H. Gerez, R. Mulder:
Application of a structured LISP system to computer algebra.
149-160
- Reiner Creutzburg, Manfred Tasche:
Number-theoretic transforms of prescribed length.
161-162
- Masayuki Suzuki, Tateaki Sasaki, Mitsuhisa Sato, Yoshinari Fukui:
A Hybrid algebraic-numeric system ANS and its preliminary implementation.
163-171
- L. S. Dulyan:
The calculation of QCD triangular Feynman graphs if the external gluonic field using REDUCE-2 system.
172-173
- R. N. Fedorova, Vladimir V. Kornyak:
Computer algebra application for determining local symmetries of differential equations.
174-175
- Johannes Ranft, Holger Perlt:
Trace calculations for gauge theories on a personal computer.
176-177
- R. Liska, L. Drska:
Evaluation of plasma fluid equations collision integrals using REDUCE.
178
- Vladislav L. Katkov, Michail D. Popov:
Computerised system of analytic transformations for analysing of differential equations.
179-185
- Eugene Shablygin:
Integral equation with hidden Eigenparameter solver: REDUCE and FORTRAN in tandem.
186-191
- A. Ya. Rodionov, A. Yu. Taranov:
Combinatorial aspects of simplification of algebraic expressions.
192-201
- P. D. Pearce, John Fitch:
Dynamic program improvement.
202-203
- Karl-Udo Jahn:
Computer algebra and numerical convergence.
204-205
- Vladimir P. Gerdt, N. A. Kostov, Z. T. Kostova:
Computer algebra and computation of Puiseux expansions of algebraic functions.
206-207
- F. Brackx, H. Serras:
Boundary value problems for the Laplacian in the Euclidean space solved by symbolic computation.
208-215
- Vitali A. Eltekov, Vladimir B. Shikalov:
The methods for symbolic evaluation of determinants and their realization in the planner-analytic system.
216-222
- Eugene V. Zima:
Transformation of computation formulae in systems of recurrence relations.
223-224
- V. A. Ilyin, A. P. Kryukov:
DIMREG - The package for calculations in the dimensional regularization with 4-dimensional gamma5-matrix in quantum field theory.
225-232
- A. P. Kryukov, A. Ya. Rodionov:
CTS - Algebraic debugging system for REDUCE programs.
233-243
- Adrian Bowyer, James H. Davenport, Philip S. Milne, Julian A. Padget, Andrew F. Wallis:
Applications of computer algebra in solid modelling.
244-245
- K. Kusche, B. Kutzler, H. Mayr:
Implementation of a geometry theorem proving package in SCRATCHPAD II.
246-257
- Bernhard Roider, Sabine Stifter:
Collision of convex objects.
258-259
Polynomial Algorithms
Advanced Algorithms
Last update Wed May 23 00:45:54 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
