Computer Algebra

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Asymptotically fast algorithms for the numerical muitiplication and division of polynomials with complex coefficients
3. Altmetric Badge
   Chapter 2 An adaptive hybrid algorithm for multiplying dense polynomials
4. Altmetric Badge
   Chapter 3 The construction of multivariate polynomials with preassigned zeros
5. Altmetric Badge
   Chapter 4 Lattices and factorization of polynomials over algebraic number fields
6. Altmetric Badge
   Chapter 5 Commutative algebra and computer algebra
7. Altmetric Badge
   Chapter 6 The nielsen reduction as key problem to polynomial algorithms in free groups
8. Altmetric Badge
   Chapter 7 The structure of near-rings of small order
9. Altmetric Badge
   Chapter 8 Computing double coset representatives for the generation of solvable groups
10. Altmetric Badge
    Chapter 9 On the determination of algebraic number fields of given discriminant
11. Altmetric Badge
    Chapter 10 Rewrite rule theory and abstract data type analysis
12. Altmetric Badge
    Chapter 11 Algebraic specifications: A constructive methodology in logic programming
13. Altmetric Badge
    Chapter 12 A theorem-proving approach to the Knuth-Bendix completion algorithm
14. Altmetric Badge
    Chapter 13 Computer Algebra
15. Altmetric Badge
    Chapter 14 Deterministic versus probabilistic factorization of integral polynomials
16. Altmetric Badge
    Chapter 15 On polynomial factorization
17. Altmetric Badge
    Chapter 16 Hacijan's algorithm in VAXIMA: improvements and difficulties
18. Altmetric Badge
    Chapter 17 The parallel Risch algorithm (I)
19. Altmetric Badge
    Chapter 18 An algorithm to compute the equations of tangent cones
20. Altmetric Badge
    Chapter 19 Computer algebra systems viewed by a notorious user
21. Altmetric Badge
    Chapter 20 Implementation of differential geometric objects and functions with an application to extended Maxwell equations
22. Altmetric Badge
    Chapter 21 A sum-substitutor used as trigonometric simplifier
23. Altmetric Badge
    Chapter 22 Transformation of an intractable problem into a tractable problem: Evaluation of a determinant in several variables
24. Altmetric Badge
    Chapter 23 Algebraic computation of the solution of some nonlinear differential equations
25. Altmetric Badge
    Chapter 24 Factorization in cylindrical algebraic decomposition — Abstract
26. Altmetric Badge
    Chapter 25 Cylindrical algebraic decomposition by quantifier elimination
27. Altmetric Badge
    Chapter 26 Algorithms for the computation of free lattices
28. Altmetric Badge
    Chapter 27 Linear algebraic approach for computing polynomial resultant
29. Altmetric Badge
    Chapter 28 The development of a vector-based algebra system
30. Altmetric Badge
    Chapter 29 Nlargeing a z80 microprocessor
31. Altmetric Badge
    Chapter 30 Escaping from intermediate expression swell: a continuing saga
32. Altmetric Badge
    Chapter 31 REDUCE — A case study in algebra system development
33. Altmetric Badge
    Chapter 32 An algorithm to obtain formal solutions of a linear homogeneous differential equation at an irregular singular point
34. Altmetric Badge
    Chapter 33 Symbolic numeric methods in microwave technology
35. Altmetric Badge
    Chapter 34 A program in REDUCE for finding explicit solutions to certain ordinary differential equations
36. Altmetric Badge
    Chapter 35 An application of MACSYMA to nonlinear systems decoupling