J. Abbott: Univariate factorization over the integers. Preprint 1998. S. Kamal Abdali/Guy W. Cherry/Neil Soiffer: An object oriented approach to algebra system design. Proceedings of the 1986 Symposium on Symbolic and Algebraic Computation, Association for Computing Machinery, 1986. A.G. Akritas: Elements of Commuter Algebra with Applications. Wiley, 1989, 6338 Marco Avellaneda: Review of "An introduction to Gamma-convergence" by Dal Maso. Bull. AMS 31 (1994), 277-283. 8550 Henry Baker: Computing a*b (mod n) efficiently in ANSI C. ACM Sigplan Notices 27/1 (1992), 95-98. J. Bakker/M. Hazewinkel/J.Lenstra (ed.): Mathematics and computer science. North-Holland 1986. 16151 Daniel Bernstein: Multidigit multiplication for mathematicians. Adv. Appl. Math. ca. 2002, 19p. 9699 Stefan Braun/Harald Ha''user: Computeralgebra im industriellen Einsatz - ein konkretes Problem. Spektrum 1996/3, 93-95. Beispiel: Konstruktion von Stos''da''mpfern. Manuel Bronstein: Symbolic integration I. Springer 1996, 250p. 3-540-60521-5. DM 78. 2635 Bruno Buchberger/George Collins/Ruediger Loos (ed.): Computer algebra. Springer 1983. 2641 J. Calmet/J. van Hulzen: Computer algebra applications. 2635 Buchberger/Collins/Loos, 245-258. 5787 Carl de Boor: A practical guide to splines. Springer 1978. A. Cohen (ed.): Computer algebra in industry. Wiley 1993, 250p. Pds. 25. A. Cohen/H. Cuypers/H. Sterk (ed.): Some tapas of computer algebra. Springer 1998, 350p. 3-540-63480-0. DM 79. Topics are Gro''bner bases, real algebraic geometry, Lie algebras, factorisation of polynomials, integer programming, permutation groups, differential equations, coding theory, automatic theorem proving, polyhedral geometry. J. Cohen: Introduction to Computer Symbolic Manipulation, Applications, and Algorithms. Course notes, Department of Mathematics and Computer Science, University of Denver. J. Cohen: Computer algebra and symbolic computation - elementary algorithms. Peters 2003, 320p. $50. George Collins: Lecture notes in computer algebra. Univ. of Wisconsin, Madison. 2281 J. Davenport/Y. Siret/E. Tournier: Computer algebra. Academic Press 1988. J. Davenport: On the integration of algebraic functions. Springer 1981, 200p. 3-540-10290-6. DM 22. J. Davenport: Integration algorithmique des fonctions elementairement transcendents sur une courbe algebrique. Annales Inst. Fourier 34 (1984), 271-276. 6017 J. Davenport: Computer algebra - past, present and future. Euromath Bulletin 1/2 (1994), 25-44. Donald/Deepak Kapur/Mundy (ed.): Symbolic and numerical computation for artificial intelligence. Academic Press 1992. E. Dubinsky/U. Leron: Learning abstract algebra with ISETL. Springer 1994, 250p. 3-540-94104-5. DM 89. J.S.N. Elvey: Symbolic computation and constructive mathematics. Research Report, Dept. of Computer Science, Univ. of Waterloo, Waterloo, Ontario, Canada, 1983. R.J. Fateman: My view of the future of symbolic and algebraic computation. SIGSAM Bulletin, 18 (1984), 10-11. P. Flajolet/B. Salvy/P. Zimmerman: Automatic average-case analysis of algorithms. Theor. Comp. Sci. 79 (1991), 37-109. 6018 Benno Fuchssteiner: Computer algebra. Implications and perspectives. Euromath Bulletin 1/1 (1992), 21-38. 9702 Benno Fuchssteiner: Symmetrien bei partiellen Differentialgleichungen - ein Anwendungsgebiet der Computeralgebra. Spektrum 1996/3, 102-104. 7478 Joachim von zur Gathen/Juergen Gerhard: Skript Computeralgebra I. Universitaet Paderborn, Wintersemester 1994/95. Internet 1995, 118p. 7479 Joachim von zur Gathen/Juergen Gerhard: Skript Computeralgebra II. Universitaet Paderborn, Sommersemester 1995. Internet 1995, 60p. 16059 Joachim von zur Gathen/Jürgen Gerhard: Modern computer algebra. Cambridge UP 2003, 780p. Eur 58. Keith Geddes/Stephen Czapor/George Labahn: Algorithms for computer algebra. Kluwer 1992, 590p. Eur 111. 7483 Juergen Gerhard: Faktorisieren von Polynomen ueber F_q. Ein Vergleich neuerer Verfahren. Diplomarbeit, Erlangen 1994. 11683 Maria-Jose' Gonzalez-Lopez/Laureano Gonzalez-Vega: Newton identities in the multivariate case - Pham systems. In 11648 Buchberger/Winkler, 351-366. 23148 Willem de Graaf: Computational algebra. Internet ca. 2011, 70p. 9698 Johannes Grabmeier: Computeralgebra - symbolisches und exaktes Rechnen. Spektrum 1996/3, 88-92. 18370 Johannes Grabmeier/Erich Kaltofen/Volker Weispfenning (ed.): Computer algebra handbook. Springer 2003, 640p. 25973 Hans-Gert Gräbe: Skript zum Kurs Einführung in das symbolische Rechnen. Vorl. Univ. Leipzig WS 2012/13, 160p. Enthält in einem eigenen Kapitel eine sehr interessante und nützliche Übersicht über die verfügbaren Computeralgebrasysteme (Stand Oktober 2012). Howie: Automata and languages. Oxford UP 1991, 300p. 0-19-853442-6. £ 15. 6341 Anthony Hughes: Mathematical packages in ADA-like languages. 6339 Tangora, 71-75. 2640 J. van Hulzen/J. Calmet: Computer algebra systems. 2635 Buchberger/Collins/Loos, 221-243. Kaltofen/Watt (ed.): Computers and mathematics. Springer 1989, 400p. 3-540-97019-3. DM 78. 20825 Michael Kaplan: Computeralgebra. Springer 2005, 390p. Eur 39. Deepak Kapur/Y. Lakshman: Elimination methods - an introduction. In Donald/Kapur/Mundy 1992, 45-87. Resultants, Gro''bner bases, Ritt's characteristic sets. Donald Knuth: Arithmetik. Springer 2001, 540p. DM 69. 24409 Wolfram Koepf: Efficient computation of Chebyshev polynomials in computer algebra. Internet 2003, 23p. 20826 Wolfram Koepf: Computeralgebra. Springer 2006, 510p. Eur 39. 11548 Peter Kornerup/David Matula: LCF - a lexicographic binary representation of the rationals. J. Univ. Comp. Sci. 1 (1995), 484-503. 9700 Ralf Kraume: Symbolische Integration. Spektrum 1996/3, 95-98. 6072 Susan Landau: How to tangle with a nested radical. Math. Intell. 16/2 (1994), 49-55. 6340 Richard Larson: Hopf algebras via symbolic algebra. 6339 Tangora, 91-97. 4391 John Lipson: Elements of algebra and algebraic computing. Benjamin/Cummings 1981. 5773 Ruediger Loos: Introduction. 2635 Buchberger/Collins/Loos, 1-10. 3249 Heinz Lueneburg: Tools and fundamental constructions of combinatorial mathematics. Bibl. Inst. 1989. 2291 Heinz Lueneburg: On the rational normal form of endomorphisms. Bibl. Inst. 1987. The title is completely misleading, this book contains many very efficient algorithms for finite fields (for example for generators of their multiplicative group, pages 345-350) and polynonomials. Requires patient reading. 6342 John McKay: Advances in computational Galois theory. 6339 Tangora, 99-101. 3677 Maurice Mignotte: Mathematics for computer algebra. Springer 1992. B. Mishra: Algorithmic algebra. Springer 1993, 430p. 3-540-94090-1. DM 70. 18341 Teo Mora: Solving polynomial equation systems. 2 volumes. Cambridge UP 2003+2005, 420+760p. Eur 102+130. A masterpiece. 5937 Graham Niblo/Martin Roller (ed.): Geometric group theory. 2 volumes. Cambridge UP 1993. 5774 A. Norman: Integration in finite terms. 2635 Buchberger/Collins/Loos, 57-69. 11305 Andrew Odlyzko: Computer algebra and its applications - where are we going? Internet ca. 1996, 9p. J.F. Ogilvie: Applications of computer algebra in physical chemistry. Computers and Chemistry, 6 (1982), 169-172. 4711 Clifford Pickover: Mit den Augen des Computers. Markt & Technik 1992. 1277 Lorenzo Robbiano (ed.): Computational aspects of commutative algebra. Academic Press 1989. 6764 Arnold Schoenhage/Andreas Grotefeld/Ekkehard Vetter: Fast algorithms. Bibl. Inst. 1994, 300p. 3-411-16891-9. DM 68. Etwa 160 Programme fuer ganze Zahlen und Polynome in beliebiger und garantierter Genauigkeit. 6342 John McKay: Advances in computational Galois theory. 6339 Tangora, 99-101. Ulrich Schwardmann: Computeralgebra-Systeme. Programme fu''r Mathematik mit dem Computer. Addison-Wesley 1995. Fritz Schwarz: A factorization algorithm for linear ordinary differential equations. Proc. ISSAC '89. ACM Press 1989, 17-25. 9701 Fritz Schwarz: Differentialgleichungen lo''sen mit Computeralgebra. Spektrum 1996/3, 98-102. 16893 Raymond Seroul: Programming for mathematicians. Springer 2000, 430p. Eur 37. 22554 Victor Shoup: A computational introduction to number theory and algebra. Internet 2008, 600p. W. Steeb/K. Tan: Symbolic C++ - an introduction to computer algebra using object-oriented programming. Springer 1997, 600p. 981-3083-55-7. DM 84. S. Steinberg, P. Roache: Symbolic manipulation and computational fluid dynamics. Journal of Computational Physics, 57 (1985), pages 251-284. 18343 Hans Stetter: Numerical polynomial algebra. SIAM 2004, 470p. Eur 84. David Stoutemyer: Symbolic computation comes of age. SIAM News, 12 (1979), ... 6282 David Stoutemyer: Crimes and misdemeanors in the computer algebra trade. Notices AMS 38 (1991), 778-785. B. Sturmfels: Algorithms in invariant theory. Springer 1993, 300p. 3-211-82445-6. DM 59. 24839 Kiat Shi Tan/Willi-Hans Steeb/Yorick Hardy: Symbolic C++. Springer 2013, 690p. Eur 28 (Ebook). J. Ueberberg: Einfuehrung in die Computeralgebra mit REDUCE fuer Mathematiker, Informatiker und Physiker. Bibl. Inst. 1992, 330p. 3-411-15781-x. H. Wilf/Doron Zeilberger: Rational functions certify combinatorial identities. J. AMS 3 (1990), 147-158. 12092 Franz Winkler: Polynomial algorithms in computer algebra. Springer 1996, 250p. 3-211-82759-5. DM 89. Hans Zassenhaus: On Hensel factorization I-II. J. Number Theory 1 (1969), 291-311., Symp. Math. XV (1975), 499-513. Hans Zassenhaus: A remark on the Hensel factorization method. Math. Comp. 32 (1978), 287-292. Hans Zassenhaus: On polynomial factorization. Rocky Mount. J. Math. 15 (1985), 657-665.