- Marc Giusti:
Complexity of standard bases in projective dimension zero. EUROCAL 1987: 333-335 - D. Yu. Grigoryev:
Complexity of quantifier elimination in the theory of ordinary differential equations. EUROCAL 1987: 11-25 - N. I. Gurin:
SCHOONSCHIP for computing of gravitino interaction cross sections in n=2 supergravity. EUROCAL 1987: 116-117 - J. P. G. Henry, M. Merle:
Complexity of computation of embedded resolution of algebraic curves. EUROCAL 1987: 381-390 - P. van den Heuvel, J. A. van Hulzen, V. V. Goldman:
Automatic generation of FORTRAN-coded Jacobians and Hessians. EUROCAL 1987: 120-131 - Viatcheslav A. Ilyin, Alexander P. Kryukov:
DIMREG - The package for calculations in the dimensional regularization with 4-dimensional gamma5-matrix in quantum field theory. EUROCAL 1987: 225-232 - Karl-Udo Jahn:
Computer algebra and numerical convergence. EUROCAL 1987: 204-205 - Michael Kalkbrener:
Solving systems of algebraic equations by using Gröbner bases. EUROCAL 1987: 282-292 - Erich L. Kaltofen
, Mukkai S. Krishnamoorthy, B. David Saunders:
Mr. Smith goes to Las Vegas: Randomized parallel computation of the Smith Normal Form of polynomial matrices. EUROCAL 1987: 317-322 - Vladislav L. Katkov, Michail D. Popov:
Computerised system of analytic transformations for analysing of differential equations. EUROCAL 1987: 179-185 - Cristomir Kazasov:
Laplace transformations in REDUCE 3. EUROCAL 1987: 132-133 - D. M. Klimov, V. M. Rudenko, V. F. Zhuravlev:
Application of Lie group and computer algebra to nonlinear mechanics. EUROCAL 1987: 97-106 - M. V. Kondratéva, E. V. Pankratév:
A recursive algorithm for computation of the Hilbert polynomial. EUROCAL 1987: 365-375 - Heinz Kredel:
Primary ideal decomposition. EUROCAL 1987: 270-281 - Alexander P. Kryukov, A. Ya. Rodionov:
CTS - Algebraic debugging system for REDUCE programs. EUROCAL 1987: 233-243 - K. Kusche, B. Kutzler, H. Mayr:
Implementation of a geometry theorem proving package in SCRATCHPAD II. EUROCAL 1987: 246-257 - George Labahn, Stanley Cabay:
Matrix-Padé fractions. EUROCAL 1987: 438-449 - Lars Langemyr:
Converting SAC-2 code to LISP. EUROCAL 1987: 50-51 - Lars Langemyr, Scott McCallum:
The computation of polynomial greatest common divisors over an algebraic number field. EUROCAL 1987: 298-299 - Richard Liska, L. Drska:
Evaluation of plasma fluid equations collision integrals using REDUCE. EUROCAL 1987: 178 - Malcolm A. H. MacCallum:
Symbolic computation in relativity theory. EUROCAL 1987: 34-43 - Bernd Martin, Gerhard Pfister:
Singularities of moduli spaces. EUROCAL 1987: 311-312 - Mark P. W. Mutrie, Bruce W. Char, Richard H. Bartels:
Expression optimization using high-level knowledge. EUROCAL 1987: 64-70 - Pavol Návrat, Ludovít Molnár, Vladimir Vojtek:
Using Automatic Program Synthesizer as a Problem Solver: Some Interesting Experiments. EUROCAL 1987: 412-423 - G. Németh, Magda Zimányi:
Computation of generalized Padé approximants. EUROCAL 1987: 450-451 - Jerzy Paczynski:
Hierarchical symbolic computations in the analysis of large-scale dynamical systems. EUROCAL 1987: 107-115 - P. D. Pearce, John P. Fitch:
Dynamic program improvement. EUROCAL 1987: 202-203 - Johannes Ranft, Holger Perlt:
Trace calculations for gauge theories on a personal computer. EUROCAL 1987: 176-177 - Tomás Recio, Luis Miguel Pardo:
Rabin's width of a complete proof and the width of a semialgebraic set. EUROCAL 1987: 456-462 - A. Ya. Rodionov, A. Yu. Taranov:
Combinatorial aspects of simplification of algebraic expressions. EUROCAL 1987: 192-201
