Computer Algebra: EUROCAM '82, European Computer Algebra Conference Marseille, France 5–7 April 1982 [1 ed.] 3540116079, 9783540116073

Table of contents :
Asymptotically fast algorithms for the numerical muitiplication and division of polynomials with complex coefficients....Pages 3-15
An adaptive hybrid algorithm for multiplying dense polynomials....Pages 16-23
The construction of multivariate polynomials with preassigned zeros....Pages 24-31
Lattices and factorization of polynomials over algebraic number fields....Pages 32-39
Commutative algebra and computer algebra....Pages 40-48
The nielsen reduction as key problem to polynomial algorithms in free groups....Pages 49-56
The structure of near-rings of small order....Pages 57-64
Computing double coset representatives for the generation of solvable groups....Pages 65-70
On the determination of algebraic number fields of given discriminant....Pages 71-76
Rewrite rule theory and abstract data type analysis....Pages 77-90
Algebraic specifications: A constructive methodology in logic programming....Pages 91-100
A theorem-proving approach to the Knuth-Bendix completion algorithm....Pages 101-108
Solving symbolic equations with press....Pages 109-116
Deterministic versus probabilistic factorization of integral polynomials....Pages 117-125
On polynomial factorization....Pages 126-134
Hacijan's algorithm in VAXIMA: improvements and difficulties....Pages 135-143
The parallel Risch algorithm (I)....Pages 144-157
An algorithm to compute the equations of tangent cones....Pages 158-165
Computer algebra systems viewed by a notorious user....Pages 166-180
Implementation of differential geometric objects and functions with an application to extended Maxwell equations....Pages 181-187
A sum-substitutor used as trigonometric simplifier....Pages 188-195
Transformation of an intractable problem into a tractable problem: Evaluation of a determinant in several variables....Pages 196-203
Algebraic computation of the solution of some nonlinear differential equations....Pages 204-211
Factorization in cylindrical algebraic decomposition — Abstract....Pages 212-214
Cylindrical algebraic decomposition by quantifier elimination....Pages 215-222
Algorithms for the computation of free lattices....Pages 223-230
Linear algebraic approach for computing polynomial resultant....Pages 231-236
The development of a vector-based algebra system....Pages 237-248
Nlargeing a z80 microprocessor....Pages 249-255
Escaping from intermediate expression swell: a continuing saga....Pages 256-262
REDUCE — A case study in algebra system development....Pages 263-272
An algorithm to obtain formal solutions of a linear homogeneous differential equation at an irregular singular point....Pages 273-280
Symbolic numeric methods in microwave technology....Pages 281-288
A program in REDUCE for finding explicit solutions to certain ordinary differential equations....Pages 289-293
An application of MACSYMA to nonlinear systems decoupling....Pages 294-301