Springer-Verlag Series on Algorithms and Computation in Mathematics

The series includes both books and video tapes. Contact: Dr Martin Peters, Senior Mathematics Editor, Mathematics Editorial IV, Springer-Verlag, Tiergartenstr. 17 69121 Heidelberg Germany

Books and Texts

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.

Y.K. Huen,
"Introduction To Sequence Algebra"
in HTML for free download,
CAH Research Centre, ISBN: 981-04-0866-8 (National Library Board, Singapore), 1999.

This book describes the theory and applications of sequence algebra in
number theory using object-oriented algebraic paradigm.
Symbolic computations are based on Macsyma 2.2.1.

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.

A. Miola and M. Temperini (Editors) (Paperback Published 1997)
"Advances in the Design of Symbolic Computation Systems"
(Texts and Monographs in Symbolic Computation)

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.

J.R. Sendra, F. Winkler, S. Perez-Diaz,
"Rational Algebraic Curves -- A Computer Algebra Approach",
Springer-Verlag Berlin Heidelberg, series "Algorithms and Computation in Mathematics", vol.22, ISBN 978-3-540-73724-7, 2007

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.

Michael Wester,
"Computer Algebra Systems, (John Wiley)

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.