Computer Algebra: EUROCAM '82, European Computer Algebra Conference Marseille, France 5–7 April 1982

Description

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