Six-Year Index of 'Computers and Mathematics'

1 Six-Year Index of Computers andMathematics compiled by Keith Devlin and Nancy Wilson248 NOTICES OF THEAMSVOLUME42, NUMBER2 The Computers and mathematics section of theAMS Noticesran from the summer of 1988through to the last issue of 1994, at first withJon Barwise as editor, later with Keith Devlin atthe helm. This Index lists all feature articles thatappeared in the section, in chronological order,followed by a listing of all software reviews, or-dered alphabetically by the name of the (Lead in) ArticlesObservations on the Use of Computers in ProofChecking, by N. Shankar, July/August 1988,p. 804 The HP 28S Brings Computations and TheoryBack Together in the Classroom, by Yves Niev-ergelt, July/August 1988, p.

2 799 Are Algorithms Patentable?,by Edward N. Zalta,July/August 1988, p. 796 Supercalculators on the PC, by Barry Simon andRichard M. Wilson, September 1988, p. 978 Academic Computing and Networking, by RichardS. Palais, October 1988, p. 1140 The CAYLEY group theory System, by D. F. Holt,October 1988, p. 1135 For the Love of mathematics , by Jon Barwise, No-vember 1988, p. 1349 Mathematica in Undergraduate mathematics , byPaul Zorn, November 1988, p. 1349 Mathematica and Me, by J. J. Uhl, Jr., November1988, p. 1345 Other Comments on Mathematica, by Doug Lind,November 1988, p. 1344 Mathematica a Review, by Eugene A. Herman,November 1988, p.

3 1334 mathematics Without Theorems?by Keith De-vlin, December 1988, p. 1481 Cyclic Random Competition: A Case History in Ex-perimental mathematics , by David Griffeath, De-cember 1988, p. 1472 Creating Courseware, by Jon Barwise and JohnEtchemendy, January 1989, p. 32 The Barrier of Meaning, by Gian-Carlo Rota, Feb-ruary 1989, p. 141 Grinnell College s MathLAN, by Gene Herman,March 1989, p. 243A New Proof of the G del Incompleteness Theo-rem, by George Boolos, April 1989, p. 388 Functional Programming Languages, by AlexFeldman, May/June 1989, p. 549 Computers in the University of Wisconsin, Madi-son mathematics Department, by Rod Smart,May/June 1989, p.

4 545 Chaitin s Equation: An Extension of G del s The-orem, by Jean-Paul Delahaye, October 1989, and Typesetting an Author s View, byMichael Doob, November 1989, p. 1203 TEX and Typesetting a Publisher s View, by Mar-tin Gilchrist, November 1989, p. 1199 Keith Devlin is Dean of the School of Science at s College, Moraga, CA. His e-mail address Nancy Wilson is copy editor at thesame institution. Her e-mail address is 3/16/99 5:13 PM Page 248 FEBRUARY1995 NOTICES OF THEAMS249 Computers-in-Calculus: The Dearborn Project, byDavid A. James, January 1990, p. 8 Homework Assignments by computer Mail, byStephen B.

5 Maurer, February 1990, p. 128 Computers in mathematics at Lafayette College,by Clifford A. Reiter and Thomas R. Yuster, Feb-ruary 1990, p. 124 TEX and the Single CPU, by Michael Doob, March1990, p. 270 Almost No Stuff In, Wrong Stuff Out, by J. Dou-glas Child, April 1990, p. 415 The Right Stuff, by Keith Devlin, April 1990,p. 417 Pedagogical Issues in the Use of Computers, byEd Dubinsky, May/June 1990, p. 563 Ejournals, by Leslie Burkholder, May/June 1990,p. 565 Four computer Mathematical Environments, byBarry Simon, September 1990, p. 861 computer Viruses: Diagonalization and FixedPoints, by William F. Dowling, September 1990,p.

6 858 Four Word Processors with TEX Capabilities, byJ. S. milne , October 1990, p. 1018 computer Algebra and Stochastic Calculus, byWilfrid S. Kendall, November 1990, p. 1254 Computers and Research at Four-Year Colleges,by Keith Devlin, November 1990, p. 1257 Report on a computer Information Survey, by J. , December 1990, p. 1363 Symbolic Algebra Reviews in the 90s, by Victo-ria Bush, December 1990, p. 1359 Index of Reviews of Mathematical Software, com-piled by Susan E. Quinn, December 1990, p. 1357 Guidelines for Reviews of Software, December1990, p. 1363 Checking mathematics with computer Assistance,by N. G. de Bruijin, January 1991, p.

7 8 mathematics and Beauty: Several Short Class-room Experiments, by Clifford A. Pickover, March1991, p. 190 Will the Real Arithmetic Please Stand Up?, byPeter R. Turner, April 1991, p. 298Is computer Teaching Harmful?, by P. R. Halmos,May/June 1991, p. 420A Perspective on Computational Number The-ory, by Robert D. Silverman, July/August 1991,p. 562 Crimes and Misdemeanors in the computer Al-gebra Trade, by David R. Stoutemyer, September1991, p. 778 Symbolic vs. Numerical Computations in Mathemat-ical Research, by Silvio Levy, October 1991, p. 900 Two computer -Supported Proofs in Metric SpaceTopology, by William M.

8 Farmer and F. JavierThayer (The MITRE Corporation) November 1991,p. 1133 TEX and the Single CPU Part II, by Michael Doob,December 1991, p. 1243 mathematics and Computers at the AAAS, byKeith Devlin, February 1992, p. 113 Tales of Gods and Heroes: The Nectar of theGods ,by M. C. Nucci, May/June 1992, p. 427 The Nature of Proof?, by Keith Devlin, November1992, p. 1065 Computers, Formal Proofs, and the Law Courts,by Donald MacKenzie, November 1992, p. 1066 Year-end Thoughts, by Keith Devlin, December1992, p. 1186 Automated Reasoning Answers Open Questions,by Larry Wos, January 1993, p. 15 Using Programs to Teach Logic to computer Sci-entists, by Doug Goldson and Steve Reeves, Feb-ruary 1993, p.

9 143 AMS-LATEX, by George Gr tzer, February 1993,p. 148 Advances in TEX Implementations; Part I: PostcriptFonts, by George Gr tzer, September 1993, p. 834 TwoGroups: A Database for group - theory , byG. Butler, S. S. Iyer, and E. A. O Brien, September1993, p. 839 Geomview: An Interactive Geometry Viewer, byMark Phillips, Silvio Levy, and Tamara Munzner,October 1993, p. 985 Cabri-G om tre vs. the Geometer s Sketchpad: AComparison of Two Dynamic Geometry Systems,by William V. Habegger and John W. Emert, Oc-tober 1993, p. 988 The Geometry Forum, by Gene Klotz, October1993, p. 992 Some Primality Testing Algorithms, by R.

10 G. , November 1993, p. 1203 Using the Convention, by GregKuperberg, November 1993, p. 1210 The Death of Proof, by Keith Devlin, December1993, p. 1352 Advances in TEX Implementations; Part II: Inte-grated Environments, by George Gr tzer, Febru-ary 1994, p. 106 Advances in TEX Implementations; Part III: A NewVersion of LATEX, Finally, by George Gr tzer,July/August 1994, p. 611 Advances in TEX; Part IV: Header and Footer Con-trol in LATEX,, by George Gr tzer, September1994, p. 772 Pocket Calculating the Quartic, by EugeneLehman, September 1994, p. 3/16/99 5:13 PM Page 249250 NOTICES OF THEAMSVOLUME42, NUMBER2 Advances in TEX Part V: Using Text Fonts in theNew Standard LATEX, by George Gr tzer, October1994, p.