EUROSAM 84: International Symposium on Symbolic and Algebraic Computation Cambridge, England, July 9–11, 1984

Introduction....Pages 1-1
Homogeneous linear difference equation (Frobenius — Boole method)....Pages 2-12
An experiment toward a general quadrature for second order linear ordinary differential equations by symbolic computation....Pages 13-22
Operational calculus techniques for solving differential equations....Pages 23-34
On the application of symbolic computation to nonlinear control theory....Pages 35-46
Quartic equations and algorithms for riemann tensor classification....Pages 47-58
Symbolic computation and the Dirichlet problem....Pages 59-63
Simplification of polynomials in n variables....Pages 64-73
On the equivalence of hierarchical and non-hierarchical rewriting on conditional term rewriting systems....Pages 74-85
Implementation of a p-adic package for polynomial factorization and other related operations....Pages 86-99
Computations on curves....Pages 100-107
Detecting torsion divisors on curves of genus 2....Pages 108-114
Computation in radical extensions....Pages 115-122
A primer: 11 Keys to new scratchpad....Pages 123-147
A pure and really simple initial functional algebraic language....Pages 148-158
Some effectivity problems in polynomial ideal theory....Pages 159-171
Upper and lower bounds for the degree of Groebner bases....Pages 172-183
On the complexity of the Gröbner-bases algorithm over K[x,y,z]....Pages 184-194
Algorithms for computing Gröbner bases of polynomial ideals over various Euclidean rings....Pages 195-206
Computations with rational subsets of confluent groups....Pages 207-212
Camac2: A portable system for combinatorial and algebraic computation....Pages 213-224
Polynomial time algorithms for Galois groups....Pages 225-236
Code generation and optimization for finite element analysis....Pages 237-247
A comparison of algorithms for the symbolic computation of Padé approximants....Pages 248-259
Automatic error cumulation control....Pages 260-271
Polynomial factorization by root approximation....Pages 272-276
Effective Hilbert irreducibility....Pages 277-284
GCDHEU: Heuristic polynomial GCD algorithm based on integer GCD computation....Pages 285-296
A new lifting process for the multivariate polynomial factorization....Pages 297-309
Explicit construction of the hilbert class fields of imaginary quadratic fields with class numbers 7 and 11....Pages 310-320
On a simple primality testing algorithm....Pages 321-332
A criterion for the equivalence of two ideals....Pages 333-340
y′+fy=g....Pages 341-350
Integration in finite terms with special functions: A progress report....Pages 351-358
A note on the Risch differential equation....Pages 359-366
Approximation by continued fraction of a polynomial real root....Pages 367-377
On the automatic resolution of certain diophantine equations....Pages 378-385
On pseudo-resultants....Pages 386-396