Symbolic and Algebraic Computation

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Dynamic maintenance of paths and path expressions on graphs
3. Altmetric Badge
   Chapter 2 Generic programming
4. Altmetric Badge
   Chapter 3 From a noncomputability result to new interesting definitions and computability results
5. Altmetric Badge
   Chapter 4 Symbolic derivation and automatic generation of parallel routines for finite element analysis
6. Altmetric Badge
   Chapter 5 Liouvillian first integrals of differential equations
7. Altmetric Badge
   Chapter 6 Fast reduction of the Risch differential equation
8. Altmetric Badge
   Chapter 7 An application of reduce to the approximation of F(X,Y)
9. Altmetric Badge
   Chapter 8 The use of symbolic computation in solving some non-relativistic quantum mechanical problems
10. Altmetric Badge
    Chapter 9 Experiments with quadtree representation of matrices
11. Altmetric Badge
    Chapter 10 Discovering inequality conditions in the analytical solution of optimization problems
12. Altmetric Badge
    Chapter 11 Can EXCALC be used to investigate high-dimensional cosmological models with non-linear Lagrangians?
13. Altmetric Badge
    Chapter 12 Gröbner trace algorithms
14. Altmetric Badge
    Chapter 13 Solving systems of algebraic equations
15. Altmetric Badge
    Chapter 14 Groebner bases in non-commutative algebras
16. Altmetric Badge
    Chapter 15 Greater easy common divisor and standard basis completion algorithms
17. Altmetric Badge
    Chapter 16 Experiments with a projection operator for algebraic decomposition
18. Altmetric Badge
    Chapter 17 Rational Newton algorithm for computing formal solutions of linear differential equations
19. Altmetric Badge
    Chapter 18 An ordinary differential equation solver for REDUCE
20. Altmetric Badge
    Chapter 19 A fixed point method for power series computation
21. Altmetric Badge
    Chapter 20 An algorithm for symbolic computation of center manifolds
22. Altmetric Badge
    Chapter 21 Shortest division chains in imaginary quadratic number fields
23. Altmetric Badge
    Chapter 22 Effective tests for cyclotomic polynomials
24. Altmetric Badge
    Chapter 23 The probability of relative primality of Gaussian integers
25. Altmetric Badge
    Chapter 24 Some computational aspects of root finding in GF(q m )
26. Altmetric Badge
    Chapter 25 Symbolic computation for Witt rings
27. Altmetric Badge
    Chapter 26 Computations with algebraic curves
28. Altmetric Badge
    Chapter 27 On the computational complexity of the resolution of plane curve singularities
29. Altmetric Badge
    Chapter 28 Generalized characteristic polynomials
30. Altmetric Badge
    Chapter 29 Decomposition of algebras
31. Altmetric Badge
    Chapter 30 Algebraic transformations of polynomial equations, symmetric polynomials and elimination
32. Altmetric Badge
    Chapter 31 Tetrahedrizing point sets in three dimensions
33. Altmetric Badge
    Chapter 32 A generalization of the roider method to solve the robot collision problem in 3D
34. Altmetric Badge
    Chapter 33 Symbolic analysis of planar drawings
35. Altmetric Badge
    Chapter 34 A geometrical decision algorithm based on the gröbner bases algorithm
36. Altmetric Badge
    Chapter 35 Solving permutation problems using rewriting systems
37. Altmetric Badge
    Chapter 36 Applying rewriting techniques to groups with power-commutation-presentations
38. Altmetric Badge
    Chapter 37 Efficient decision procedures for locally finite theories II
39. Altmetric Badge
    Chapter 38 Aformal approach to some usually informal techniques used in mathematical reasoning
40. Altmetric Badge
    Chapter 39 Decision procedures for elementary sublanguages of set theory. XIV. Three languages involving rank related constructs
41. Altmetric Badge
    Chapter 40 Computer algebra on MIMD machine
42. Altmetric Badge
    Chapter 41 Algebraic extensions and algebraic closure in Scratchpad II
43. Altmetric Badge
    Chapter 42 Software development for computer algebra or from ALDES/SAC-2 to WEB/Modula-2
44. Altmetric Badge
    Chapter 43 Cayley, version 4: The user language
45. Altmetric Badge
    Chapter 44 Improved sparse multivariate polynomial interpolation algorithms
46. Altmetric Badge
    Chapter 45 Heuristic methods for operations with algebraic numbers
47. Altmetric Badge
    Chapter 46 Asymptotic estimation of oscillating functions using an interval calculus
48. Altmetric Badge
    Chapter 47 A new algorithm for computing symbolic limits using hierarchical series
49. Altmetric Badge
    Chapter 48 Verification of non-identities in algebras
50. Altmetric Badge
    Chapter 49 Equations in words
51. Altmetric Badge
    Chapter 50 Cayley factorization
52. Altmetric Badge
    Chapter 51 Complexity of computing the characters and the genre of a system of exterior differential equations