Books and Texts on Symbolic Computation

Abel and Braselton,
"Differential equations with Maple V",
Academic Press. 1994.

A. G. Akritas, 
"Elements of Commuter Algebra with Applications",
John Wiley, 1989.

B. Buchberger, G.E. Collins, R. Loos, R. Albrecht (Editors),
"Computer Algebra, Symbolic and Algebraic Computation",
Springer-Verlag, New York, 1982.

B. Buchberger, G. Collins, and R. Loos (Editors),
"Computer Algebra Symbolic and ALgebraic Computation", (second edition),
Springer-Verlag, ISBN 3-211-81776-x, 1983.

B.F. Caviness, R.P. Gilbert, R. Shtokhamer,
"An Introduction to Applied Symbolic Computation Using MACSYMA",
course notes, Department of Computer Science, University of Delaware.

B. W. Char, K. O. Geddes, G. H. Gonnet, and S. M. Watt, 
"First leaves: a tutorial introduction to Maple, in Maple User's Guide",
WATCOM Publications Ltd., Waterloo, Ontario, 1985.

J. Cohen,
"Introduction to Computer Symbolic Manipulation, Applications, and Algorithms",
Course notes, Department of Mathematics and Computer Science, University of Denver.

J. H. Davenport, Y. Siret and E. Tournier,
"Computer Algebra: Systems and Algorithms for Algebraic Computation",
Academic Press, 1988.

Ellis et al.,
"Maple V Flight Manual"
Brooks/Cole Publishing Co., 511 Forest Lodge Rd, Pacific Grove, CA 93950, 1-800 -354-0092, (408) 373-0728, FAX: (408) 375-6414.

Ellis & Lodi, 
"Maple for the Calculus Student",
Brooks/Cole Publishing Co., 511 Forest Lodge Rd, Pacific Grove, CA 93950, 1-800 -354-0092, (408) 373-0728, FAX: (408) 375-6414.

K.O. Geddes, S. R. Czapor, and G. Labahn,
"Algorithms for Computer Algebra",
Kluwer Academic Publishers, Boston, 1992.

J. C. Howard, 
"Practical Applications of Symbolic Computations",
IPC Science and Technology Press, Guildford, England 1979.

D. E. Knuth, 
"The Art of Computer Programming, Vol. 2:  Semi-Numerical Algorithms", (second edition),
Addison-Wesley, Reading, Massachusetts, 1981.

Michael Kofler
"MAPLE: AN INTRODUCTION AND REFERENCE"
Addison Wesley Longman Limited, 522 pages, ISBN 0-201-17899-0, July 1997.

J. D. Lipson, 
"Algebra and Algebraic Computing",
Addison-Wesley, Reading, Massachusetts, 1981.

"Macsyma User's Guide", 
Symbolics Inc., Cambridge, Massachusetts, 1987.

M. Mignotte, 
"Math'ematiques pour le calcul formel",
Presses Universitaires de France, Paris, 1989.

R. Pavelle (Editor), 
"Applications of Computer Algebra", 
Kluwer Academic Publishers, Boston, 1985.

J. Pfalzgraf and D. Wang,
"Automated Practical Reasoning",
RISC/Springer Series, 1995. 

R. H. Rand,
"Computer Algebra in Applied Mathematics: An introduction to MACSYMA",
Pittman, Marshfield, 1984.

R. H. Rand and D. Armbruster, 
"Perturbation methods, bifurcation theory and computer algebra",
Applied Mathematical Sciences, 65, Springer-Verlag, New York, 1987.

G. Rayna, 
"Reduce--Software for Algebraic Computation", 
Springer-Verlag, New York, 1987.

J. R. Rice, 
"Mathematical aspects of scientific software", 
IMA Volumes in Mathematics and Its Applications, 14, Springer-Verlag, New York, 1988.

C. C. Sims,  
"Abstract Algebra:  A Computational Approach",
John Wiley & Sons, New York, 1984.

Cameron Smith and Nancy Blachman,
"The Mathematica Graphics Guidebook",
Addison-Wesley, 1995, ISBN 0-201-53280-8.

D. Stauffer, F. W. Hehl, V. Winkelmann, and J. G. Zabolitzky,
"Computer Simulation and Computer Algebra--Lectures for Beginners",
Springer-Verlag, New York, 1988.

B. Sturmfels,
"Algorithms in Invariant Theory"
RISC/Springer Series of Texts and Monographs in Symbolic Computation, 1993.

M. C. Tangora,
"Computers in Algebra",
Marcel Dekker, New York, 1988.

F. Winkler,
"Polynomial Algorithms in Computer Algebra"
RISC/Springer Series of Texts and Monographs in Symbolic Computation, 1996.

S. Wolfram, 
"Mathematica--A System for Doing Mathematics by Computer",
Addison-Wesley, Redwood City, California, 1988.

C. Wooff and D. Hodgkinson, 
"muMath:  A Microcomputer Algebra System",
Academic Press, San Diego, 1987.

W. Wu,           
"Mechanical Theorem Proving in Geometries"  
RISC/Springer Series of Texts and Monographs in Symbolic Computation, 1994.

H.G. Zimmer,
"Computational problems, methods, and results in algebraic number theory"
Springer-Verlag Lecture Notes in Computer Science, Vol. 268, New York, 1972.

R.E. Zippel,
"Effective Polynomial Computation"
Kluwer Academic Publishers, ISBN-7923-9375-9, 1993.