
		Index of Reviews of Symbolic Software


-------------------------------------------------------------------------------
The first part of this index appeared in the Notices of the AMS, December 1990
compiled by Susan Emmerson Quinn <emmerson@ucs.indiana.edu> and are articles
that have been published in the Notices. For articles published elsewhere look
forward for the worsds "Published Elsewhere"
-------------------------------------------------------------------------------

 ** Calculus Calculator (CC) ** is a mathematical work sheet for an IBM PC 
with graphics capability. CC was reviewed by Herbert L. 
Holden, September 1989, volume 36, number 7, page 842.

 ** CAYLEY ** is a programming language aimed at discrete mathematics with a 
strong emphasis on group theory and related algebraic structures. CAYLEY 
was reviewed by D. F. Holt, October 1988, volume 35, number 8, page 1135.

 ** Derive ** is a menu driven symbolic manipulation program. Derive was 
reviewed by Eric L. Grinberg September 1989, volume 36, number 7, page 
838. it was also discussed by Phil Miles, March 1990, volume 37, number 3, 
page 275, and Barry Simon September 1990, volume 37, number 7, page 
861.

 ** Eureka ** is an equation solver allowing several simultaneous equations.
It was reviewed by Barry Simon and Richard M. Wilson,  September 
1988, volume 35, number 7, page 978. 

 ** Exploring Small Groups (ESG)  **is a tool for learning abstract algebra. 
ESG was reviewed by Suzanne Molnar, December 
1989, volume 37, number 10, page 1358.

 ** Fields & Operators ** is an interactive graphics program designed to help 
users visualize surfaces, vector fields, and integral flows; and to investigate 
the effects of differential operators applied to them. It was 
reviewed by Marvin S. Margolis, October 1990, volume 37, number 8, page 
1024.

 ** f(z) ** is an interactive microcomputer graphics program designed to aid in 
the study of functions of a complex variable. f(z) was reviewed by Marvin 
Margolis, July/August 1989, volume 36, number 6, page 676.
 
 ** Gauss ** is a mathematical programming language built around manipulation 
of mathematical objects with an interpretative and compiled mode. It
was reviewed by Barry Simon and Richard M. Wilson, September 1988, 
volume 35, number 7, page 978. 

 ** Groups ** is a program for the NeXT that can help students learn about all
of th finite grups of orders up to 20. Groups is reviewed by Suzanne M. 
Molnar, April 1990, volume 37, number 4, page 427.

 ** ISETL (Interactive Set Language) ** is an interpreted, interactive 
implementation of the high-level computer language, SETL.  ISETL 
is reviewed by Donald Muench, March 1990, 
volume 37, number 3, page 276.

 ** Maple ** is a general purpose mathematical program which includes 
symbolic manipuation. Maple is discussed by Barry Simon, September 
1990, volume 37, number 7, page 861.

 ** MATCALC ** is a matrix calculation package designed for use in teaching 
basic linear algebra concepts as well as modern computational methods in 
linear and matrix algebra. MATCALC was reviewed by V. S. Ramamurthi, 
July/August 1989, volume 36, number 6, page 678.

 ** MathCad 2.0 **, reviewed as a ``superculator," is a kind of technical word 
processor with ``live" formulas."  MathCad 2.0  was reviewed by Barry Simon 
and Richard M. Wilson, September 1988, volume 35, number 7, page 978, 
and also by Mary Beth Ruskai, (version 2.03), January 1990, volume 37, 
number 1, page 15.

 ** Mathematica  ** is a kit of powerful mathematical tools--graphical, 
algebraic, and numerical, all accessible by a single command language, and 
programming language, and in a uniform graphial environment. 
Mathematica was reviewed by Eugene A. Herman, November 1988, volume 
35, number 9, page 1334 and discussed in collected comments by Doug 
Lind, J. J. Uhl, Jr. Paul Zorn, Jon Barwise, November 1988, volume 35, 
number 9, page 1345. It was also discussed by Barry Simon, September 
1990, volume 37, number 7, page 861.

 ** MathView Professional **  is a package of numerical routines such as 
algebraic systems problems, roots and zeroes, ODE, integrals, optimization, 
series operations and more. MathView Professional  was reviewed by 
Raymond F. Smith, April 1989, volume 36, number 4,  page 393.

 ** MICROCALC 4.0 ** is a program for learning and teaching calculus. 
It was reviewed by Gustaf Gripenberg, July/August 1989, 
volume 36, number 6, page 680.

 ** Milo ** is a symbolic math and graphing program. Milo was reviewed by 
Raymond F. Smith, October 1989, volume 36, number 8, page 987, and also 
by Sha Xin Wei in the same issue, page 991.

 ** NetWare  **is designed to allow IBM or IBM-compatible microcomputers to 
share common resources.  NetWare was reviewed by Mark Sand, March 
1989, volume 36, number 3, page 247.

 ** Orbits ** allows the user to experiment with the nonlinear dynamical system 
obtained by iterating the function $f(x) = Ax(1-x)$, by investigating the orbit 
$x, f(x), f(f(x) ), ...-$of a point in the unit interval $[0,1]$. Orbits is
reviewed by  Suzanne M. Molnar, April 1990, volume 37, number 4, page 427.

 ** PC-Macsyma ** is an interactive Symbolic Algebra program. PC-Macsyma is 
reviewed by Yvonne Nagle, January 1990, volume 37, number 1, page 11.
It is also discussed by Barry Simon, September 1990, volume 37, 
number 7, page 861.

 ** PC-Matlab  **is a matrix-based language for linear mathematics and is used 
for real number crunching. PC-Matlab was reviewed by Barry Simon and 
Richard M. Wilson, September 1988, volume 35, number 7, page 978. 

 ** Phase Portraits ** is an equation graphing program for the Macintosh. 
Phase Portraits was reviewed by David Hartz, May/June 1989, volume 36, 
number 5, page 559.

 ** Phaser ** is an animator/simulator for dynamical systems that runs on IBM 
and compatible personal computers. Phaser was reviewed is by Marvin 
Margolis, April 1990, volume 37, number 4, page 430.

 ** PowerMath II ** is a computer algebra system for the Macintosh. 
It was reviewed by Yvonne Nagel, November 1989, volume 36, 
number 9, page 204. It is also discussed by Phil Miles, in the same issue, 
page 1206.

 ** SCRATCHPAD II **   is a computer algebra system and programming 
language. It was  reviewed by Larry Lambe, February 1989, 
volume 36, number 2, page 143.

 ** SNAPPEA ** is a tool for anyone interested in hyperbolic 3-maifolds or knot 
theory. SNAPPEA was reviewed by Colin Adams, March 1990, volume 37, 
number 3, page 273.

 ** Tarski's World ** is a softwared tutorial written to introduce first-order 
predicate logic.  Tarski's World was reviewed by Mark Seligman, November 
1989, volume 36, number 9, page 1208.

 ** UBASIC ** is a public-domain high-precision BASIC for IBM compatible PCs. 
UBASIC was reviewed by Walter D. Neumann May/June 1989, volume 36, number 5,
page 557, and Updated in March 91, volume 38, number 3, pages 196-197.

------------------------------------------------------------------------------

Published Elsewhere:

B. SIMON,
"The New World of Higher Math,"
PC Magazine, Vol. 9, No. 10 (May 29,1990)
"Four Computer Mathematical Environments,"
Notices of the American Mathematical Society, Vol. 37,
No. 7 (September, 1990) 861-869.
"Maple V on a PC",
PC Magazine, April 16, 1991, page 50.
[Roger Alexander <alex@iastate.edu>,
 Keith O. Geddes <kogeddes@daisy.uwaterloo.ca>,
 Paul Zimmermann <zimmermann@inria.inria.f>]

R.J. FATEMAN & C.G. PONDER,
"Speed and Data Structures in Computer Algebra Systems",
Computer Science Division, UCB, CA 94720.
[C.T. Chou <ctc@engineering.cambridge.ac.uk>]

R.J. FATEMAN,
Macsyma' General Simplifier: Philosophie and Operation",
In V.E. Lewis (ed), Proceedings of the 1978 Macsyma Users
Conference", Washington D.C., 563-582.
[from Fateman & Ponder]

B.W. CHAR et al.,
"On the Design and Performance of the Maple System",
Dep. of Computer Science, Univ. of Waterloo, Waterloo,
Ontario, Canada, CS-84-13.
[from Fateman & Ponder]

B.W. CHAR et al.,
"On the Design and Performance of the Maple System",
Dep. of Computer Science, Univ. of Waterloo, Waterloo,
Ontario, Canada, CS-84-13.
[from Fateman & Ponder]

?. GONNET & ?. GRUNTZ,
"Algebraic Manipulation Systems",
Research Report, Dept. for Informatik,
ETH Zentrum, CH-8092 Zuerich.
[Tyko Strassen   <strassen@iam.unibe.ch>,
 Michael Monagan <monagan@inf.ethz.ch>]

