Six-Year Index of "Computers and Mathematics"

devlin.qxp 3/16/99 5:13 PM Page 248

Six-Year Index of “Computers and Mathematics” compiled by Keith Devlin and Nancy Wilson

The “Computers and Mathematics” section of the Mathematica and Me, by J. J. Uhl, Jr., November AMS Notices ran from the summer of 1988 1988, p. 1345 through to the last issue of 1994, at first with Other Comments on Mathematica, by Doug Lind, Jon Barwise as editor, later with Keith Devlin at November 1988, p. 1344 the helm. This index lists all feature articles that Mathematica—a Review, by Eugene A. Herman, appeared in the section, in chronological order, November 1988, p. 1334 followed by a listing of all software reviews, or- dered alphabetically by the name of the package. Mathematics Without Theorems? by Keith De- vlin, December 1988, p. 1481 Feature (Lead in) Articles Cyclic Random Competition: A Case History in Ex- Observations on the Use of Computers in Proof perimental Mathematics, by David Griffeath, De- Checking, by N. Shankar, July/August 1988, cember 1988, p. 1472 p. 804 Creating Courseware, by Jon Barwise and John The HP–28S Brings Computations and Theory Etchemendy, January 1989, p. 32 Back Together in the Classroom, by Yves Niev- The Barrier of Meaning, by Gian-Carlo Rota, Feb- ergelt, July/August 1988, p. 799 ruary 1989, p. 141 Are Algorithms Patentable?, by Edward N. Zalta, Grinnell College’s MathLAN, by Gene Herman, July/August 1988, p. 796 March 1989, p. 243 Supercalculators on the PC, by Barry Simon and A New Proof of the Gödel Incompleteness Theo- Richard M. Wilson, September 1988, p. 978 rem, by George Boolos, April 1989, p. 388 Academic Computing and Networking, by Richard Functional Programming Languages, by Alex S. Palais, October 1988, p. 1140 Feldman, May/June 1989, p. 549 The CAYLEY Group Theory System, by D. F. Holt, Computers in the University of Wisconsin, Madi- October 1988, p. 1135 son Mathematics Department, by Rod Smart, For the Love of Mathematics, by Jon Barwise, No- May/June 1989, p. 545 vember 1988, p. 1349 Chaitin’s Equation: An Extension of Gödel’s The- Mathematica in Undergraduate Mathematics, by orem, by Jean-Paul Delahaye, October 1989, p. Paul Zorn, November 1988, p. 1349 984 Keith Devlin is Dean of the School of Science at St. TE X and Typesetting—an Author’s View, by Mary’s College, Moraga, CA. His e-mail address is Michael Doob, November 1989, p. 1203 [email protected]. Nancy Wilson is copy editor at the T X and Typesetting—a Publisher’s View, by Mar- same institution. Her e-mail address is nwilson@ E stmarys-ca.edu. tin Gilchrist, November 1989, p. 1199

248 NOTICES OF THE AMS VOLUME 42, NUMBER 2 devlin.qxp 3/16/99 5:13 PM Page 249

Computers-in-Calculus: The Dearborn Project, by Two Computer-Supported Proofs in Metric Space David A. James, January 1990, p. 8 Topology, by William M. Farmer and F. Javier Homework Assignments by Computer Mail, by Thayer (The MITRE Corporation) November 1991, Stephen B. Maurer, February 1990, p. 128 p. 1133 Computers in Mathematics at Lafayette College, TEX and the Single CPU—Part II, by Michael Doob, by Clifford A. Reiter and Thomas R. Yuster, Feb- December 1991, p. 1243 ruary 1990, p. 124 Mathematics and Computers at the AAAS, by Keith Devlin, February 1992, p. 113 TEX and the Single CPU, by Michael Doob, March 1990, p. 270 Tales of Gods and Heroes: “The Nectar of the Almost No Stuff In, Wrong Stuff Out, by J. Dou- Gods”, by M. C. Nucci, May/June 1992, p. 427 glas Child, April 1990, p. 415 The Nature of Proof?, by Keith Devlin, November The Right Stuff, by Keith Devlin, April 1990, 1992, p. 1065 p. 417 Computers, Formal Proofs, and the Law Courts, Pedagogical Issues in the Use of Computers, by by Donald MacKenzie, November 1992, p. 1066 Ed Dubinsky, May/June 1990, p. 563 Year-end Thoughts, by Keith Devlin, December Ejournals, by Leslie Burkholder, May/June 1990, 1992, p. 1186 p. 565 Automated Reasoning Answers Open Questions, by Larry Wos, January 1993, p. 15 Four Computer Mathematical Environments, by Barry Simon, September 1990, p. 861 Using Programs to Teach Logic to Computer Sci- entists, by Doug Goldson and Steve Reeves, Feb- Computer Viruses: Diagonalization and Fixed ruary 1993, p. 143 Points, by William F. Dowling, September 1990, p. 858 AMS-LATEX, by George Grätzer, February 1993, p. 148 Four Word Processors with TEX Capabilities, by J. S. Milne, October 1990, p. 1018 Advances in TEX Implementations; Part I: Postcript Fonts, by George Grätzer, September 1993, p. 834 Computer Algebra and Stochastic Calculus, by Wilfrid S. Kendall, November 1990, p. 1254 TwoGroups: A Database for Group-Theory, by G. Butler, S. S. Iyer, and E. A. O’Brien, September Computers and Research at Four-Year Colleges, 1993, p. 839 by Keith Devlin, November 1990, p. 1257 Geomview: An Interactive Geometry Viewer, by Report on a Computer Information Survey, by J. I. Mark Phillips, Silvio Levy, and Tamara Munzner, Hall, December 1990, p. 1363 October 1993, p. 985 Symbolic Algebra Reviews in the ’90s, by Victo- Cabri-Géomètre vs. the Geometer’s Sketchpad: A ria Bush, December 1990, p. 1359 Comparison of Two Dynamic Geometry Systems, Index of Reviews of Mathematical Software, com- by William V. Habegger and John W. Emert, Oc- piled by Susan E. Quinn, December 1990, p. 1357 tober 1993, p. 988 Guidelines for Reviews of Software, December The Geometry Forum, by Gene Klotz, October 1990, p. 1363 1993, p. 992 Checking Mathematics with Computer Assistance, Some Primality Testing Algorithms, by R. G. E. by N. G. de Bruijin, January 1991, p. 8 Pinch, November 1993, p. 1203 Mathematics and Beauty: Several Short Class- Using the math.school.edu Convention, by Greg room Experiments, by Clifford A. Pickover, March Kuperberg, November 1993, p. 1210 1991, p. 190 The Death of Proof, by Keith Devlin, December Will the “Real” Arithmetic Please Stand Up?, by 1993, p. 1352 Peter R. Turner, April 1991, p. 298 Advances in TEX Implementations; Part II: Inte- Is Computer Teaching Harmful?, by P. R. Halmos, grated Environments, by George Grätzer, Febru- May/June 1991, p. 420 ary 1994, p. 106 A Perspective on Computational Number The- Advances in TEX Implementations; Part III: A New ory, by Robert D. Silverman, July/August 1991, Version of LATE X, Finally, by George Grätzer, p. 562 July/August 1994, p. 611 Crimes and Misdemeanors in the Computer Al- Advances in TEX; Part IV: Header and Footer Con- gebra Trade, by David R. Stoutemyer, September trol in LATE X,, by George Grätzer, September 1991, p. 778 1994, p. 772 Symbolic vs. Numerical Computations in Mathemat- Pocket Calculating the Quartic, by Eugene ical Research, by Silvio Levy, October 1991, p. 900 Lehman, September 1994, p. 777

FEBRUARY 1995 NOTICES OF THE AMS 249 devlin.qxp 3/16/99 5:13 PM Page 250

Advances in TEX Part V: Using Text Fonts in the Converge, a package for use in teaching and New Standard LATEX, by George Grätzer, October learning mathematics from algebra through cal- 1994, p. 927 culus, is reviewed by Gustaf Gripenberg in A Construction for Computer Visualization of July/August 1994, p. 618. Certain Complex Curves, by Andrew Hanson, No- Cube is a Macintosh program that simulates a vember/December 1994, p. 1156 Rubik’s cube. Reviewed by Tevian Dray, Novem- ber 1991, p. 1140. Advances in TEX; Part VI: Using Math Fonts in the New Standard LATEX by George Grätzer, Novem- Data Desk is a general purpose statistics pack- ber/December 1994, p. 1164 age for the Mac, including many graphics fea- tures, data importing, multiple regression, and Software Reviews more. Reviewed by Roger Pinkham, February APL *PLUS PC is a programming language in ma- 1994, p. 113. trix calculus. Reviewed by Fernando Tusell, Oc- DEGraph is an equation graphing program for tober 1989, p. 996. the Macintosh. Reviewed by David Hartz, ASP (A Statistical Package) is a general purpose May/June 1989, p. 559. statistical package. Reviewed by Louis D. Grey, Derive is a menu-driven symbolic manipulation February 1992, p. 117. program. Reviewed by Eric L. Grinberg, Septem- Axiom is an open, modular system, descendant ber 1989, p. 838; and by Phil Miles, March 1990, of the Scratchpad system. Reviewed by Larry p. 275; and again by Barry Simon, September Lambe, January 1994, p. 14. 1990, p. 861. Bitmap-free TEX (DVIWindo and DVIPSONE) con- Derive (v2). Reviewed by Marvin Margolis, Janu- cerns the Windows- based screen previewer and ary 1992, p. 12. Two books utilizing the Derive a printer driver for TEX. Reviewed by John L. program were reviewed by Alan Solomon, Casti May/June 1993, p. 464. July/August 1992, p. 595. The first book is titled Calculus and the Derive Program: Experiments Exploring Math from Algebra to Calculus with De- with the Computer, by Lawrence G. Gilligan and rive: A Mathematical Assistant, by Jerry Glynn; James F. Marquardt. Reviewed by Alan D. the second book is titled Calculus and the Derive Solomon, July/August 1992, p. 595. Program: Experiments with the Computer, by L. Calculus Calculator (CC) is a mathematical work- Gilligan and J. Marquardt. Derive was included sheet for IBM–PCs with graphics capability. Re- in a comparative CAS review by Barry Simon, viewed by Herbert L. Holden, September 1989, September 1992, p. 700. p. 842, and again by Roger Pinkham, January DirectTEX is a no-compromise solution to im- 1992, p. 12. plementing TEX on the Macintosh, treating the Calculus T/L II is an instructional program for Mac as though it were a command-line system. college-level calculus; includes a portion of Maple. It is a shareware implementation, working only Reviewed by Mihai Cipu, November/December in the presence of Macintosh Programmer’s Work- 1994, p. 1165. shop. Reviewed in comparison with OzTEX (v1.42 and v1.6) and CMacT X (v2.0) by Tom Scavo, Cayley is a programming language aimed at dis- E Yannis Haralambous, and Werenfried Spit, De- crete mathematics with a strong emphasis on cember 1993, p. 1353. group theory and related algebraic structures. Re- viewed by D. F. Holt, October 1988, p. 1135. dstool (short for Dynamical System TOOLkit) is designed to aid researchers in the investigation ChiWriter is a scientific word processor. Dis- of dynamical systems. Reviewed by A. Back, J. cussed by J. S. Milne, October 1990, p. 1018. Chi- Guckenheimer, M. Myers, F. Wicklin, and P. Wor- Writer was also included in a comparative review folk (all from the Center for Applied Mathemat- by J. S. Milne, October 1992, p. 838. ics at Cornell University), April 1992, p. 303. CMacT X is a recent port of UNIX C-T X to the E E Eureka is an equation solver allowing several si- Macintosh. Reviewed in comparison with OzT X E multaneous equations. Reviewed by Barry Simon (v1.42 and v1.6) and DirectT X (v2.0) by Tom E and Richard M. Wilson, September 1988, p. 978. Scavo, Yannis Haralambous, and Werenfried Spit, December 1993, p. 1353. EXP is a scientific word processor. Discussed by J. S. Milne, October 1990, p. 1018. Computational Laboratories in Number Theory, a suite of programs and accompanying manual Exploring Mathematics from Algebra to Calculus to explain the text Introduction to the Theory of with Derive, by Jerry Glynn. Reviewed by Alan D. Numbers, by Ivan Niven, Herbert Zuckerman, Solomon, July/August 1992, p. 595. and Hugh Montgomery, is reviewed by Susanna Exploring Interior-Point Linear Programming is Fishel, July/August 1994, p. 619. an easily accessible introduction to the new class

250 NOTICES OF THE AMS VOLUME 42, NUMBER 2 devlin.qxp 3/16/99 5:13 PM Page 251

of algorithms known as interior-point methods finite-precision arithmetic and high-precision, for linear programming (Karmarkar’s algorithm). floating-point calculation, built with special at- Reviewed by Louis Baker, November 1994, tention for its use for number-theoretic compu- p. 1168. tations. Pari and GP were reviewed by Fernando Exploring Small Groups (ESG) is a tool for learn- Gouvea, October 1991, p. 903. An informational ing abstract algebra. Reviewed by Suzanne Mol- follow-up to GP/Pari, by Fernando Gouvea, ap- nar, December 1989, p. 1358. peared in January 1993, p. 30. f(z) is an interactive microcomputer graphics Grapher is a Macintosh program that can be program designed to aid in the study of functions used to generate several types of graphs.Grapher of a complex variable. Reviewed by Marvin Mar- is capable of plotting both rectangular and polar golis, July/August 1989, p. 676, and by Tevian curves and is able to handle parametric equa- Dray, October 1992, p. 841. tions, interpolating polynomials, systems of differential equation, direction fields and series. FFTLIB is a library of FORTRAN subroutines for Reviewed by Jim Northrup, April 1992, p. 309. performing a variety of discrete Fourier trans- forms on IBM–PCs. Reviewed by Herb Holden, Graphical Aids for Stochastic Processes (GASP) is April 1990, p. 426. a set of six computer videos on probability and stochastic processes. Reviewed by Andrew Fields & Operators is an interactive graphics pro- Matchett, February 1989, p. 147. gram designed to help users visualize surfaces, vector fields, and integral flows and to investi- Groups is a program for the NeXT that can help gate the effects of differential operators applied students learn about all of the finite groups of to them. Reviewed by Marvin S. Margolis, Octo- orders up to 20. Reviewed by Suzanne M. Mol- ber 1990, p. 1024. The Macintosh version was re- nar, April 1990, p. 427. viewed by Jim Northrup, January 1994, p. 22. GyroGraphics offers real-time interactive ani- FITLIB provides the user with FORTRAN sub- mation of 3-D graphs of surfaces, space curves, routine libraries in both source code and object vector fields, tangent vectors, acceleration vec- code format for the purpose of fitting data with tors, and tangent planes. Reviewed by Gustaf tension splines. Reviewed by Herb Holden, March Gripenberg, February 1990, p. 109. GyroGraph- 1989, p. 251. ics (v4) was reviewed by Larry Riddle, April 1993, p. 332. 4-Dimensional Hypercube is a simple program Harmonic Function Theory is a collection of which displays a 2-D cross section of a 4-D hy- Mathematica routines, together with extensive percube. Reviewed by Tevian Dray, October 1992, documentation, for the manipulation of the ex- p. 841. pressions arising in the study of harmonic func- FOR_C: A FORTRAN to C Translator, by Cobalt tions. Requires Mathematica 2.0 or later, running Blue, is designed to port existing FORTRAN code on any platform. Freeware designed to accom- into clear, readable ANSI C code, which can then pany the author’s book Harmonic Function The- be compiled on any ANSI C compiler. Reviewed ory. Reviewed by Paul C. Abbott, November 1993, by Jeffrey M. Augenbaum, March 1992, p. 189. p. 1212. Frame Maker is a fully integrated text graphics HiQ is a completely integrated software envi- and equation processing system. Reviewed by R. ronment for real-world problem solving in en- W. Darling, February 1993, p. 150. gineering, mathematics, and the applied sci- Function Finder is intended to help students de- ences. Reviewed by Maurino Bautista, September velop their own methods of finding equations to 1994, p. 784. match tables of values. Function Finder creates IMAGE-Calculus is a graphing tool for the ex- a function, and the student must learn about this ploration of calculus concepts. Reviewed by John function by building a table of values for it. Re- Nolan, May/June 1994, p. 455. viewed by Jim Northrup, May/June 1991, p. 424. ISETL (Interactive Set Language) is an interpreted, GAP is a system for computations in discrete al- interactive implementation of the high-level com- gebra, with particular emphasis on computa- puter language SETL. Reviewed by Donald tional group theory. Reviewed by Edward Spitz- Muench, March 1990, p. 276. nagel, September 1994, p. 780. jspell is a state of the art ASCII file spellchecker Gauss is a mathematical programming language especially suitable for TE X/LATE X documents. built around manipulation of mathematical ob- Reviewed by Eric Schweitzer, September 1994, jects with an interpretative and compiled mode. p. 782. Reviewed by Barry Simon and Richard M. Wilson, Kaos is a dynamical system tool kit with inter- September 1988, p. 978. active graphics interface. Reviewed by Ian Stew- GP/PARI is a collection of programs for fast, in- art, December 1991, p. 1246.

FEBRUARY 1995 NOTICES OF THE AMS 251 devlin.qxp 3/16/99 5:13 PM Page 252

Leo is a scientific word processor. Discussed by by Eugene A. Herman, November 1988, p. 1334, J. S. Milne, October 1990, p. 1018. It was in- and discussed in collected comments by Doug cluded in a comparative review by J. S. Milne, Oc- Lind, J. J. Uhl, Jr., Paul Zorn, and Jon Barwise, No- tober 1992, p. 838. vember 1988, p. 1345. It is also discussed by LifeLab is a public domain Macintosh program Barry Simon, September 1990, p. 861. Mathe- for experimenting with 2-D cellular automata. Re- matica 2.0 review by Sha Xin Wei appears in viewed by Andrew Trevorrow, July/August 1989, May/June 1992, p. 428. Mathematica 2.0 for Win- p. 680. dows reviewed by Fernando Gouvea, May/June 1992, p. 435. The Mathematica program for DOS Linear Algebra and Differential Equations–an In- as well as for Windows was included in a com- tegrated Approach is a textbook for an under- parative CAS review by Barry Simon, September graduate course in matrix theory and differen- 1992, p. 700. Mathematica was included in an- tial equations by Charles G. Cullen. It is designed other comparative review by Paul C. Abbott, Oc- to accompany three software packages: MAT- tober 1992, p. 829. MAN, MATALG, and RK124. Reviewed by William H. Ruckle, March 1992, p. 185. Mathematica Help Stack is a Mac hypercard stack that provides cross-reference about Mathemat- Linear Programming is a program for use by be- ica functions and commands. Comes with Math- ginners in linear programming. Reviewed by Ray- ematica—Quick Reference Guide for Mathemat- mond Smith, May/June 1990, p. 568. ica functions. Reviewed by Frank Zizza, May/June MacMath is a suite of programs designed for 1994, p. 459. use in a course on differential equations. It is in- Mathematical MacTutor is an educational pack- tended to be used in conjunction with the text- age including algebra, geometry, calculus, num- book Differential Equations: A Dynamical Systems ber theory, analysis, graph theory, and statistics. Approach. Reviewed by Bob Fisch, July/August Reviewed by Mihai Cipu, May/June 1994, p. 458. 1992, p. 590. MathType is an equation editor that lets you Macsyma is an interactive symbolic algebra pro- build up complex equations, in accordance with gram. Reviewed by Yvonne Nagle, January 1990, conventions of mathematical typesetting, using p. 11; also discussed by Barry Simon, September point-and-click techniques. MathType (Mac v2.11) 1990, p. 861. Part I of a comparative review (with is reviewed by David G. Hartz, April 1991, p. 304. Maple) by John Crow appears in March 1994, MathType for Windows is reviewed by Fernando p. 195; Part II appears in April 1994, p. 299. Gouvea, November 1992, p. 1069. MathType 3.0 Maple is a general purpose mathematical pro- is reviewed by David Hartz, May/June 1993, gram which includes symbolic manipulation. p. 469. Discussed by Barry Simon, September 1990, MathView Professional is a package of numeri- p. 861. Included in a comparative CAS review by cal routines such as algebraic systems problems, Barry Simon, September 1992, p. 700, and in an- roots and zeroes, ODE, integrals, optimization, other comparative review by Paul C. Abbott, Oc- series operations, and more. Reviewed by Ray- tober 1992, p. 829. Part I of a comparative review mond F. Smith, April 1989, p. 393. (with Macsyma) by John Crow appears in March 1994, p. 195; Part II appears in April 1994, p. 299. Mathwriter is a mathematical text processing Maple V for the Macintosh is reviewed by Ira program for the Macintosh. Reviewed by Thomas Gessel, March 1993, p. 236. Scavo, July/August 1991, p. 568. MATCALC is a matrix calculation package de- Matlab is a general purpose package for numeric signed for use in teaching basic linear algebra computation available in PC and Macintosh stu- concepts as well as modern computational meth- dent edition format. Reviewed by Barry Simon ods in linear and matrix algebra. Reviewed by V. and Richard M. Wilson, September 1988, p. 978; S. Ramamurthi, July/August 1989, p. 678. and again by Joel Davis, Tevian Dray, and Andre Weideman, April 1993, p. 329. MathCad, reviewed as a “supercalculator”, is a kind of technical word processor with “live” for- Matrix Algebra is a Macintosh program for use mulas. Reviewed by Barry Simon and Richard M. in a linear algebra course. Reviewed by Suzanne Wilson, September 1988, p. 978; v2.03 reviewed M. Molnar, January 1993, p. 28. by Mary Beth Ruskai, January 1990, p. 15; v3.1 MAX: MAtriX Algebra Calculator is IBM–PC soft- reviewed by William H. Ruckle, January 1993, p. ware consisting of linear algebra problems, en- 26. MathCad 5.0 PLUS review appears in Octo- abling students to work with “real-life problems ber 1994, p. 929, by Raj K. Markanda. that require computer support.” Reviewed by Mathematica is a kit of powerful mathematical Gustaf Gripenberg, April 1994, p. 305. tools and programming language in a uniform MG–Mathematical Graphics System is a program graphical environment. Mathematica is reviewed for creating and displaying 2- and 3-D mathe-

252 NOTICES OF THE AMS VOLUME 42, NUMBER 2 devlin.qxp 3/16/99 5:13 PM Page 253

matical graphics. Reviewed by Marvin Margolis, CMacTEX (v2.0) by Tom Scavo, Yannis Haralam- March 1994, p. 200. bous, and Werenfried Spit, December 1993, Microcalc is a program for learning and teach- p. 1353. ing calculus. Reviewed by Gustaf Gripenberg, Perl was developed as a file manipulation and July/August 1989, p. 680. data reduction language for UNIX. Reviewed by Milo is a symbolic math and graphing program. Edward A. Bender and Howard Rumsey, Jr., March Reviewed by Raymond F. Smith, October 1989, 1992, p. 187. p. 987; and also by Sha Xin Wei in the same Phase Portraits is an equation graphing program issue, p. 991. for the Macintosh. Reviewed by David Hartz, Minitab is a general purpose statistical package May/June 1989, p. 559. available in PC format. The student edition was Phaser is an animator/simulator for dynamical reviewed by Marvin S. Margolis, March 1993, systems that runs on IBM–PCs. Reviewed by Mar- p. 238. vin Margolis, April 1990, p. 430. MINPACK1-LIB is a collection of FORTRAN li- Plot is a 2-D plotter for Cartesian, polar, or para- brary routines that can be used for solving non- metric functions used for exploration in precal- linear systems of equations and nonlinear least- culus and calculus courses. It has additional ca- squares problems. Reviewed by Gustaf Gripen- pabilities for 3-D plots, implicit graphs, and berg, April 1989, p. 397. differential equations. Reviewed by Larry Riddle, MLAB is a DOS-based computing environment for November 1991, p. 1138. mathematical and statistical modeling. Origi- Point Five is a line-oriented programming envi- nally developed at the National Institute of Health ronment with many spreadsheet-like properties in Baltimore, Maryland, for DEC systems. Widely and a built-in array editor. Reviewed by Barry used within the biomedical community. It is re- Simon and Richard M. Wilson, September 1988, viewed by Roger Pinkham, February 1993, p. 152. p. 978. Models is a package for handling differential Polymath combines scientific and engineering equation, difference equations, dynamical sys- plotting, a programming language, an editor, tems, and general mathematical models. Avail- and a comprehensive documentation system able in both IBM–PC and Macintosh versions. Re- into an interactive calculatorlike environment. viewed by Maurino P. Bautista, January 1992, The Polymath programming language is a greatly p. 9. expanded derivation of Forth that aims to fill the NetWare is designed to allow IBM or IBM-com- gap between using a programmable scientific patible microcomputers to share common re- calculator and programming in a classical com- sources. Reviewed by Mark Sand, March 1989, puter language. Reviewed by Roger Pinkham, p. 247. May/June 1991, p. 423. Numbers is a collection of software routines for PowerMath is a computer algebra system for the performing number- theoretic calculations that Macintosh. Reviewed by Yvonne Nagel, Novem- would most likely be encountered in a first course ber 1989, p. 204. It is also discussed by Phil on number theory. It is reviewed by Louis D. Miles, in the same issue, p. 1206. Grey, October 1992. Problem Solver is a computer program that ac- Object Logo Student Edition, is an implementa- companies the book Problem Solver for Finite tion of the programming language Logo for the Mathematics and Calculus, written by Kenneth Mac. It is reviewed by Suzanne M. Molnar, Janu- L. Wiggins. The package is primarily intended for ary 1994, p. 18. students of finite mathematics and applied cal- ODE is a differential equation teaching program culus. Reviewed by Mario Vassallo, July/August (shareware). Reviewed by Marvin Margolis, Jan- 1992, p. 593. uary 1992, p. 14. Prograph is a software development/program- Orbits allows the user to experiment with the non- ming language for the Macintosh. It lets you linear dynamical system obtained by iterating the build real Mac applications with windows, menus, function f(x) = Ax(1 – x), by investigating the etc., by drawing information flow graphs. Re- orbit –x, f(x), f(f(x)), … – of a point in the unit in- viewed by Jon Barwise, July/August 1992, p. 587. terval [0, 1]. Reviewed by Suzanne M. Molnar, PSMathGraphsII is a program for the preparation April 1990, p. 427. of accurate, high- resolution color diagrams on OzTE X is a public domain Macintosh imple- the Macintosh. Generates PostScript language mentation of Donald Knuth’s TEX typesetting description of mathematical objects. Produces system. OzTEX is reviewed by Andrew Trevorrow, PICT, EPS, and Illustrator file types for posting July/August 1989, p. 680. Versions 1.42 and 1.6 to other programs. Reviewed by Suzanne M. Mol- are reviewed in comparison with DirectTEX and nar, February 1992, p. 114. PSMathGraphsII v1.1

FEBRUARY 1995 NOTICES OF THE AMS 253 devlin.qxp 3/16/99 5:13 PM Page 254

is reviewed by Tom Scavo and Larry Riddle, No- ematics courses, including algebra, precalculus, vember 1992, p. 1075. calculus, and beyond. Reviewed by Larry Riddle, Reduce is a computer algebra system. Included October 1994, p. 931. in a comparative CAS review by Barry Simon, Tess is a Macintosh program that simulates a 4- September 1992, p. 700. D Rubik’s cube. Reviewed by Tevian Dray, No- Real MaTrices: RMT for Elementary Linear Alge- vember 1991, p. 1140 . bra performs computations with matrices hav- TEX is a mathematical typesetting system. Dis- ing real numbers as entries. Reviewed by Herb cussed by Martin Gilchrist, November 1989, Holden, October 1991, p. 904. p. 119. Discussed in the same issue by Michael Rubik Algebra enables the user to perform face Doob, p. 1203. TEX is also reviewed by Michael rotations on a Rubik’s cube and analyze them as Doob, March 1990, p. 270. a product of disjoint cycles. Reviewed by Mark Theorist is a symbolic algebra and graphing pack- Sand, November 1989, p. 1207. Rubik Algebra is age for Macintosh. Reviewed by Fritz Smith, De- also discussed by Suzanne M. Molnar, April 1990, cember 1991, p. 1253. p. 427. TI-85 is a graphics calculator. Reviewed by Roger Scratchpad is a computer algebra system and pro- Pinkham, January 1993, p. 29. gramming language. Reviewed by Larry Lambe, TKSolver Plus is an equation solver that allows February 1989, p. 143. solution by direct substitution if possible as well Scientific Programmer’s Toolkit is a collection of as using Newton’s method. Reviewed by Barry mathematical and graphical routines together Simon and Richard M. Wilson, September 1988, with utility and user interface routines, creating p. 978. a framework for writing programs. Reviewed by True BASIC is a programming language. Reviewed Marvin Margolis, July/August 1994, p. 615. by John F. Sallee, May/June 1989, p. 554. Scientific Word is a WYSIWYG front end to TEX. UBASIC is a public domain, high-precision BASIC Included in a comparative review by J. S. Milne, for IBM–PCs. Reviewed by Walter D. Neumann, October 1992, p. 838. May/June 1989, p. 557. UBASIC Version 8 is re- Snappea is a tool for anyone interested in hy- viewed by Walter D. Neumann, March 1990, perbolic 3-manifolds or knot theory. Reviewed p. 196. by Colin Adams, March 1990, p. 273. VTEX Typesetting Package is reviewed by John SOLVE1 consists of a number of Turbo Pascal pro- L. Casti, February 1990, p. 105. cedures for doing vector and matrix calculations Word is a word processing program with tech- on IBM–PC and compatible computers. Reviewed nical word processing capabilities. Version 4.0 by Gustaf Gripenberg, September 1990, p. 868. is reviewed by Thomas Scavo, December 1989, Sparsgem is a library of FORTRAN subroutines p. 1353. for solving systems of equations with sparse co- X(PLORE) is the latest version of the calculus efficient matrices. Reviewed by Charles W. calculator, calculating environment for devel- Champ, October 1990, p. 1023. oping, exploring, and testing mathematical ideas. Spreadsheets & Mathematics is an instructional Reviewed by Herbert Holden, March 1994, p. 200. package intended for any student ready for col- Xtal is a program designed to convey the idea of lege-level algebra. Designed to be used in a one- a visual-parallel programming language. Re- semester, 4-credit course. Reviewed by Mario viewed by Eric Schweitzer, February 1994, p. 111. Vassallo, April 1994, p. 303. ZG is a program for data analysis, featuring a StatXact is a software package for nonparamet- base mode that operates as a calculator and a list ric statistical inference. Its purpose is to provide mode that can analyze up to four lists of num- exact conditional tests when the asymptotic the- bers. Reviewed by Mark Sand, April 1989, p. 398. ory required by standard procedures may not be valid. Reviewed by Marvin Margolis, November 1994, p. 1167. T3 is a scientific word processor. Discussed by J. S. Milne, October 1990, p. 1018. Tarski’s World is a software tutorial written to introduce first-order predicate logic. Reviewed by Mark Seligman, November 1989, p. 1208. TEMATH is an easy-to-use tool for the exploration of mathematical concepts designed for students in a wide spectrum of high school math-

254 NOTICES OF THE AMS VOLUME 42, NUMBER 2 devlin.qxp 3/16/99 5:13 PM Page 255

JANUARY 1995 NOTICES OF THE AMS 255