
**********************  REFERENCES - SYMBOLIC COMPUTATION  *********************  

					mck@beach.cis.ufl.edu (Mark Kilby)
							 UF CIS Department
					desouza@berkeley.edu
							UC Berkeley MATH

*** JOURNALS and NEWSLETTERS


Computer Algebra Systems in Education NEWSLETTER,
Dept. of Mathematics, Colby College, Waterville, ME 04961.

Journal of Symbolic Computation, 
B. Buchberger, Editor, Johannes Kepler University,
A4040 Linz, Austria. Published by Academic Press.

MACSYMA Newsletter,
Symbolics, Inc., Eleven Cambridge Center, Cambridge, MA 02142.

Scratchpad II Newsletter,
Computer Algebra Group, Knowledge Systems, Computing Technology Department,
IBM Thomas J. Watson Research Center, Box 218, Yorktown Heights,
NY 10598.

SIGSAM Bulletin,
Special Interest Group on Symbolic \& Algebraic
Manipulation of the ACM (Association for Computing Machinery).
11 West 42nd Street, New York, NY 10036.

Computer Physics Communications 


*** PAPERS


S. Kamal Abdali, Guy W. Cherry, and 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.

G. Collins 
"Computer Algebra of Polynomials and Rational Functions," 
Monthly?  (1972?) 

R.D. Drinkard, Jr. N.K. Sulinski,
"MACSYMA: A program for computer algebraic manipulation
(demonstrations and analysis)",
New London Laboratory, Naval Underwater Systems Center,
New London, Connecticut 06320.

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, v18, (1984), 10-11.

Jeffery P. Golden,
"Differentiation of unknown functions in MACSYMA",
SIGSAM Bulletin, v19, (1985), 19-24.

M.A. Hussain, B. Noble,
"Applications of MACSYMA to calculations in applied mathematics",
General Electric Co.

R.D. Jenks,
"11 keys to new Scratchpad",
Proceeding of EUROSAM 84, (J. Fitch, ed.),
Springer-Verlag, New York, 1984.

J.F. Ogilvie,
"Applications of computer algebra in physical chemistry",
Computers and Chemistry, v6, (1982), 169-172.

R. Pavelle, M. Rothstein, J. Fitch,
"Computer algebra",
Scientific American, Dec. 1981.

S. Steinberg,
"Mathematics and symbol manipulation",
ACM SIGSAM Bulletin, v16, (1982), 11-15.

S. Steinberg, P. Roache,
"Symbolic manipulation and computational fluid dynamics",
Journal of Computational Physics, v57, (1985), pages 251-284.

D.R. Stoutemyer,
"Symbolic computation comes of age",
SIAM News, v12, (1979).

M. Wester, S. Steinberg
"An extension to MACSYMA's concept of functional differentiation",
SIGSAM Bulletin, v17, (1983), 25-30.

M. Wester, S. Steinberg
"A survey of symbolic differentiation implementations",
1984 MACSYMA User's conference.

C. Williamson, Jr.,
"Taylor series solutions of explicit ODE's
in a strongly typed algebra system",
SIGSAM Bulletin, v18, (69), (1984), 25-29.

M.C. Wirth,
"On the automation of computational physics",
Lawrence Livermore Laboratory, 1980.


*** TEXTS


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

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

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.

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

J. Davenport, Y. Siret, E. Tournier, J. Davenport
Calcul Formel: Systemes et algorithmes pour des manipulations  algebriques
Editeur : Masson (1987)

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

K.O. Geddes,
"Algebraic Algorithms for Symbolic Computation",
course Notes, Dept. of Computer Science, University
of Waterloo.

K. O. Gueddes, S. R. Czapor & G. Labahn,
"Algorithms for Computer Algebra",
Kluwer Acad. Publ. 1992. Boston, 1992, 585 pages (ISBN 0-7923-9259-0)

M. Mignotte: Mathematiques pour le Calcul Formel
Presses Universitaires de France 1989

Maurice Mignotte,
"Mathematics for Computer Algebra",
Springer-Verlag, 1992.

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

G. Rayna: REDUCE Software for Algebraic Computation
Springer Verlag New York 1987

R.E. Zippel,
"Algebraic Manipulation",
course Notes, Department of Computer Science, MIT, 1982.


*** CONFERENCES AND PROCEEDINGS


J. Fitch (Editor),
EUROSAM 84, International Symposium on Symbolic
and Algebraic Computation, Cambridge, England, July 1984,
Lecture Notes in Computer Science, 174, Springer-Verlag,
New York, 1984.

V.E. Golden (Editor),
Proceedings of the 1984 MACSYMA User's
Conference, Schenectady, New York, July, 1984.

B. Buchberger (Editor),
EUROCAL '85, Linz, Austria, April, 1985.

S. Hitotumatu (Chairman),
Fifth RIMS Conference on Formula
Manipulation and Its Application to Mathematical Study,
1985, Kyoto, Japan.

B. Char (Editor),
SYMSAC `86, Proceedings of the 1986 Symposium
on Symbolic and Algebraic computing, ACM, 1986.

T. Sasaki (Chairman),
Sixth RIMS Conference, 1986, Kyoto, Japan.

W. Lassner (Chairman),
EUROCAL 87, European Conference on Computer
Algebra, Leipzig, GDR.

R. Janssen, (Editor),
Trends in Computer Algebra,
Lecture Notes in Computer Science,
Springer Verlag, 1987.

A. Miola (Chairman),
1988 International Symposium on Symbolic and
Algebraic Computation, Roma, Italy.

E. Kaltofen & S. M. Watt (Editors),
Computers and Mathematics
Springer-Verlag, 1989.


*** SYMBOL MANIPULATION PROGRAMS


MACSYMA,
Computer Aided Mathematics Group, Symbolics Inc.,
11 Cambridge Center, Cambridge, MA 02142.

DOE MACSYMA,
Jan Mockler, National Energy Software Center,
Argonne National Laboratory, 9700 S. Cass. Ave.,
Chicago, Illinois 60439.
Leo Harten, Paradigm Associates, Inc.,
29 Putnam Avenue, Suite 6, Cambridge, MA 021329.

Maple,
WATCOM Products Inc., 415 Phillip St., 
Waterloo, Ontario, Canada N2L 3X2.

Mathematica,
Wolfram Research, Inc.,
P.O. Box 6059,
Champaign, Illinois 61821.

muMATH,
The Soft Warehouse, 3615 Harding Ave., Suite 505,
Honolulu, Hawaii 96816.

REDUCE,
A.C. Hearn, The Rand Corporation, 1700 Main St.,
P.O. Box 2138, Santa Monica, CA 90406

SMP,
Inference Corporation, Computer Mathematics Group, Suite 501,
5300 West Century Blvd.,  Los Angles, CA 90045

Scratchpad II,
Richard Jenks, Computer Algebra Group,
IBM  T.J. Watson Research Center, P.O. Box 218,
Yorktown Heights, NY 10598.


