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