Arnold Schönhage (auth.), Jacques Calmet (eds.)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
Reviews
There are no reviews yet.