Computer Algebra

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 85 Introduction
3. Altmetric Badge
   Chapter 86 Integration — What do we want from the theory?
4. Altmetric Badge
   Chapter 87 The Euclidean algorithm for Gaussian integers
5. Altmetric Badge
   Chapter 88 Multi polynomial remainder sequence and its application to linear diophantine equations
6. Altmetric Badge
   Chapter 89 Towards mechanical solution of the Kahan ellipse problem I
7. Altmetric Badge
   Chapter 90 Automatically determining symmetries of ordinary differential equations
8. Altmetric Badge
   Chapter 91 Algebraic computation of the statistics of the solution of some nonlinear stochastic differential equations
9. Altmetric Badge
   Chapter 92 Characterization of a linear differential system with a regular singularity
10. Altmetric Badge
    Chapter 93 The Bath Concurrent LISP machine
11. Altmetric Badge
    Chapter 94 The ecology of LISP or the case for the preservation of the environment
12. Altmetric Badge
    Chapter 95 The design of Maple: A compact, portable, and powerful computer algebra system
13. Altmetric Badge
    Chapter 96 LISP compilation viewed as provable semantics preserving program transformation
14. Altmetric Badge
    Chapter 97 Implementing REDUCE on a microcomputer
15. Altmetric Badge
    Chapter 98 A note on the complexity of constructing Gröbner-bases
16. Altmetric Badge
    Chapter 99 Gröbner bases, Gaussian elimination and resolution of systems of algebraic equations
17. Altmetric Badge
    Chapter 100 The computation of the Hilbert function
18. Altmetric Badge
    Chapter 101 An algorithm for constructing detaching bases in the ring of polynomials over a field
19. Altmetric Badge
    Chapter 102 On the problem of Behā Eddīn 'Amūlī and the computation of height functions
20. Altmetric Badge
    Chapter 103 A procedure for determining algebraic integers of given norm
21. Altmetric Badge
    Chapter 104 Computation of integral solutions of a special type of systems of quadratic equations
22. Altmetric Badge
    Chapter 105 Factorisation of sparse polynomials
23. Altmetric Badge
    Chapter 106 Early detection of true factors in univariate polynomial factorization
24. Altmetric Badge
    Chapter 107 On the complexity of finding short vectors in integer lattices
25. Altmetric Badge
    Chapter 108 Factoring polynomials over algebraic number fields
26. Altmetric Badge
    Chapter 109 The construction of a complete minimal set of contextual normal forms
27. Altmetric Badge
    Chapter 110 A knowledge-based approach to user-friendliness in symbolic computing
28. Altmetric Badge
    Chapter 111 Computer algebra and VLSI, prospects for cross fertilization
29. Altmetric Badge
    Chapter 112 Code optimization of multivariate polynomial schemes: A pragmatic approach