OF THE
1994 AMS Election Special Section page 7 4 7
Fields Medals and Nevanlinna Prize Awarded at ICM-94 page 763
SEPTEMBER 1994, VOLUME 41, NUMBER 7
Providence, Rhode Island, USA ISSN 0002-9920 Calendar of AMS Meetings and Conferences
This calendar lists all meetings and conferences approved prior to the date this issue insofar as is possible. Instructions for submission of abstracts can be found in the went to press. The summer and annual meetings are joint meetings with the Mathe· January 1994 issue of the Notices on page 43. Abstracts of papers to be presented at matical Association of America. the meeting must be received at the headquarters of the Society in Providence, Rhode Abstracts of papers presented at a meeting of the Society are published in the Island, on or before the deadline given below for the meeting. Note that the deadline for journal Abstracts of papers presented to the American Mathematical Society in the abstracts for consideration for presentation at special sessions is usually three weeks issue corresponding to that of the Notices which contains the program of the meeting, earlier than that specified below. Meetings
Abstract Program Meeting# Date Place Deadline Issue 895 t October 28-29, 1994 Stillwater, Oklahoma Expired October 896 t November 11-13, 1994 Richmond, Virginia Expired October 897 * January 4-7, 1995 (101st Annual Meeting) San Francisco, California October 3 January 898 * March 4-5, 1995 Hartford, Connecticut December 1 March 899 * March 17-18, 1995 Orlando, Florida December 1 March 900 * March 24-25, 1995 Chicago, Illinois January 9 April 901 May 24-26, 1995 Jerusalem, Israel February 9 May (Joint Meeting with the lsreali Mathematical Union) 902 August 6-8, 1995 (97th Summer Meeting) Burlington, Vermont May 18 August 903 October 7-8, 1995 Boston, Massachusetts July 24 October 904 November 3-4, 1995 Kent, Ohio August 15 November November 17-18, 1995 Greensboro, North Carolina August 15 November January 10-13, 1996 (1 02nd Annual Meeting) Orlando, Florida March 22-23, 1996 Iowa City, Iowa April13-14, 1996 New York, New York April19-21, 1996 Baton Rouge, Louisiana November 1-3, 1996 Columbia, Missouri January 8-11, 1997 (103rd Annual Meeting) San Diego, California May 2-4, 1997 Detroit, Michigan January 7-10, 1998 (104th Annual Meeting) Baltimore, Maryland March 27-28, 1998 Manhattan, Kansas *Please refer to page 835 for listing of special sessions. t Please refer to the Table of Contents for further information.
Conferences
January 2-3, 1995: Short Course on Coding Theory, and Short Course on Knots and Physics, San Francisco, California June 25-July 27, 1995: Joint Summer Research Conferences in the Mathematical Sciences, University of Washington, Seattle, Washington July 9-29, 1995: AMS Summer Institute on Algebraic Geometry, University of California, Santa Cruz, California July 16-August 12, 1995: AMS-SIAM Summer Seminar in Applied Mathematics on the Mathematics of Numerical Analysis: Real Number Algorithms, Park City, Utah
Other Events Cosponsored by the Society
October 8-14, 1994: Symposium on the Legacy of Norbert Wiener: A Centennial Symposium, Massachusetts Institute of Technology, Cambridge, Massachusetts October 16-18, 1994: Women in Probability Workshop, Cornell University, Ithaca, New York November 27-December 3, 1994: Norbert Wiener Centenary Congress, Michigan State University, East Lansing, Michigan
Deadlines
November-December Issue*** January Issue Classified Ads* October 3, 1994 November 8, 1994 News Items September 21, 1994 November 3, 1994 Meeting Announcements** September 21, 1994 October 31, 1994 * Please contact AMS Advertising Department for an Advertising Rate Card for display advertising deadlines. ** For material to appear in the Mathematical Sciences Meetings and Conferences section. *** Please note December dates are earlier than previously published due to combined issue. ,_,_,,,,,...... _.,., ... ,.... _,, ...... ,_.,_,_,.. ,...... -...... ------OTICES OF THE AMERICAN MATHEMATICAL SOCIETY
DEPARTMENTS ARTICLES 739 Letters to the Editor 744 Academic Employment 763 Fields Medals and Nevanlinna Prize Awarded at ICM-94 Application Cover Sheet Winners of the Fields Medals and the Nevanlinna Prize were announced at 747 1994 AMS Election Special the International Congress of Mathematicians 1994 in August in Zurich, Section Switzerland. Allyn Jackson profiles the prize winners and reports on other 770 Forum ICM activities. 792 News and Announcements 766 The Tyranny of the Mean: Gender and Expectations Marcia C. Linn 804 Funding Information for the Mathematical Sciences In the tyranny of the mean referred to in the title, all members of the group with larger membership are expected to be more competent than all 806 For Your Information members of the group with smaller membership. Marcia C. Linn expands on 810 Acknowledgment of the theory and relates it to a number of areas in mathematics education. Contributions 830 Meetings and Conferences of FEATURE COLUMNS the AMS Stillwater, OK October 28-29, 830 772 Computers and Mathematics Keith Devlin Richmond, VA George Gratzer leads off this month's column with the fourth in his series November 11-13, 831 of articles on TE)<. Then Eugene Lehman describes a method of solving San Francisco, CA quartic equations on a pocket calculator. Next Edward Spitznagel looks January 4-7, 832 at the group theory package GAP; Eric Schweitzer reports on jspell, a Invited Addresses, Special TE)<-compatible spell checker; and Maurino Bautista reviews the software Sessions, and Contributed Papers, HiQ 2.02. The column concludes with a commentary by W. A. Beyer on a 835 previous Macsyma review and a note regarding an update of Mathematics AMS-SIAM Summer Seminar in Help Stack. Applied Mathematics, 839 841 Mathematical Sciences Meetings 790 Inside the AMS and Conferences John W. Morgan, chair of the Committee on Science Policy, outlines the 850 New Publications Offered by the three major areas of emphasis at the committee's April 1994 meeting. He AMS also reports on committee discussion of some National Science Foundation 855 Publications of Continuing questions and committee goals. Interest 856 Officers and Committee Members 869 Miscellaneous Personal Items, 869 Deaths, 869 870 Visiting Mathematicians 871 New Members of the AMS 875 Classified Advertising 891 Forms
SEPTEMBER 1994, VOLUME 41, NUMBER 7 737 ------·------·------·------..----·----·-----·-··------......
From the Executive Director ... NQ.:tiCES CHANGES Beginning with the January 1995 issue, there will be a change in the Notices. This AMERICAN MATHEMATICAL SOCIETY change implements the recommendations of a committee formed nearly two years ago to review member publications. The committee recommended an ''enhanced" Notices led by a full-time editor and a committee of associate editors. These editors will have EDITORIAL COMMITTEE au~ority over and responsibility for the content of the Notices and are expected to Sheldon Axler acttvely engage in acquisition and editorial oversight. In addition to anticipated content Amassa C. Fauntleroy Robert M. Fossum (Chairman) changes, there will be changes in format and style. There is an air of excitement as we Susan J. Friedlander (Forum Editor) await a livelier, more informative, mathematically enriched, enhanced Notices. Carolyn S. Gordon A consequence of the change in theNotice sis that this column, "From the Executive Carl R. Riehm (Letters Editor) Director", will no longer appear. It will, quite naturally, be replaced by an editorial page MANAGING EDITOR featuring articles written by the editor or possibly other writers selected by the editor. John S. Bradley ASSOCIATE EDITORS This column started in early 1989 shortly after I became Executive Director. It Jeffrey C. Lagarias, Special Articles was envisioned as a mechanism to inform readers of the Notices about timely issues before the mathematics community and about the various plans and activities of the ASSOCIATE MANAGING EDITOR Society. About sixty such articles have appeared. I hope the intent of the column has Allyn Jackson been achieved. Because this column will cease with the new Notices, and because I will SUBSCRIPTION INFORMATION be leaving the position of Executive Director next year, I want to take these last few Subscription prices for Volume 41 (1994) are columns to reflect on the activities of the Society over the past five or six years. $146 list; $117 institutional member; $88 individ ual member. (The subscription price for members I feel fortunate to have served as Executive Director of the Society during very is included in the annual dues.) A late charge of exciting and challenging times. It has been a period in which the AMS has taken an 10% of the subscription price will be imposed upon active approach toward achieving its mission of supporting mathematical research and orders received from nonmembers after January 1 scholarship. It has been a time in which the Society has taken actions to provide more of the subscription year. Add for postage: Surface delivery outside the United States and lndia-$15; op~nness and broader member participation in the deliberations of Society policy and to lndia-$28; expedited delivery to destinations in actions. North America-$32; elsewhere-$67. Subscrip Through surveys and interviews with the membership and others from the math tions and orders for AMS publications should be addressed to the American Mathematical Society, ematical community, the AMS reexamined how it might best serve the community P.O. Box 5904, Boston, MA 02206-5904. All orders and support mathematical research and scholarship. Following an intensive period of must be prepaid. information-gathering, the AMS Strategic Planning Task Force (SPTF) presented its ADVERTISING report to the Society in early 1991. This consensus report set a course of action for the Notices publishes situations wanted and classified AMS. Borrowing from the recent AMS National Policy Statement, the consensus is advertising, and display advertising for publishers that "researc~ within mathematics, the application of mathematics in other disciplines, and academic or scientific organizations. and the teaching of mathematics are interdependent-nourishing each other with ideas, @ Copyright 1994 by the American Mathematical methods. and inspiration." To support mathematical research and scholarship, "math Society. All rights reserved. ematics must be viewed as a synergistic system in which none of these components can be neglected without weakening the others." The SPTF then put forth several goals Printed in the United States of America. for the AMS and recommended the mechanism of annual operating plans to organize § The paper used in this journal is acid-free and strategies, set priorities, and allocate resources to achieve these goals. This has been a falls within the guidelines established to ensure per time of intense activity toward realizing the goals the SPTF set for the Society. manence and durability. 0 Printed on recycled paper. As Executive Director, one also has responsibility for the administration of the Most of this publication was typeset using the TEl{ affairs of the Society. The time of my tenure has been particularly interesting. The typesetting system. dominant business activity of the Society is publication, and this is a time of enormous change in publication-a time of complete reevaluation of the role of the publisher [Notices of the American Mathematical Society is published monthly except bimonthly in May/June, and of myriad challenges posed by the electronic delivery of information. The business July/August, and November/December by the Amer affairs of the Society are an interesting intellectual challenge, as they are international ican Mathematical Society at 201 Charles Street, in scope and quite complex and varied. Providence, Rl 02904-2213. Second class postage paid at Providence, Rl and additional mailing of I believe that the two major tasks that will face the next Executive Director are that fices. POSTMASTER: Send address change no the Society stay on course in the direction set forth by the SPTF, and that the financial tices to Notices of the American Mathematical Soci foundation of the Society remain sound during these times of rapid and uncertain change. ety, Customer Service Department, American Math Neither will be an easy task. ematical Society, P. 0. Box 6248, Providence, Rl 02940-6248.] Publication here of the Society's street In my next two columns, I will reflect on these two major issues before the Society. address, and the other information in brackets above, is a technical requirement of the U.S. Postal Ser William J aco vice. All correspondence should be mailed to the Post Office Box, NOT the street address. Tel: 401- 455-4000. e-mail: ams@math. ams. erg.
-·----.... - ..... ·------738 NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY gents of UC asking that the AWM ideas sitions taken under oath or confidential Letters be applied in my case-as indeed they documents sealed under court order. A were. A new Tenure Review Commit "trial'" in the Notices is not only undesir to the Editor tee of seven was chosen from a list of able, but legally prohibited. Therefore, I over forty distinguished mathematicians chose not to waste space in this letter cor and scholars from around the country. recting the numerous errors in FFfAV After weighing large amounts of in (some minor, some not so minor) and Response to "Fighting for Tenure: formation, including ten new letters of concentrated instead on explaining some Another View" recommendation and material about oth of the issues surrounding my settlement. This is my response to the article ''Fight ers promoted to tenure at Berkeley that (Corrections of some of these errors are ing for Tenure: Another View", by is not generally available, the commit available at math. berkeley. edu by Lenore Blum and Lisa Goldberg (FF tee unanimously recommended me for gopher or anonymous ftp.) TAV) published in the July/August 1994 tenure as a full professor. (See the July In conclusion, I wanted a fair hearing issue of the Notices. I wanted to re 16, 1993 and October 15, 1993 issues and a fair review of my work, that's all. spond in the same issue, but the editors of Science for more details of the re I didn't think I had gotten one the wouldn't extend me that courtesy. view process and the conclusions of the first time, so I fought hard for another In 1986 I was considered for pro Tenure Review Committee. The October review. I got it, and I'm satisfied. I motion to tenure at the University of 15, 1993 issue also contains an indepen could have won or lost, and losing California, Berkeley, Mathematics De dent review of my research, conducted meant not only failing to get tenure but partment and was turned down. I dis by Science. A summary of my research giving up my day in court-had the TRC puted the outcome, for it seemed I had is available at math. berkeley. edu recommended against my appointment, been held to a different standard from by gopher or anonymous ftp.) I was prohibited by the settlement from men who had been granted tenure. FF The university insisted on confiden going to court. TAV places great store in the negative tiality of the entire settlement agreement. Berkeley has quite a few famous findings of the Academic Senate's Com We can now argue about whether this mathematicians, including Fields medal mittee on Privilege and Tenure, which or that portion should have been made ists Smale, Jones, and Thurston. Readers conducted a hearing on my case in 1989. public, but in retrospect it is clear they might ask how I could claim to be their FFTAV fails to point out, however, that made the correct decision to keep the equal. In fact, I make no such claim, this committee was prohibited from con names of the reviewers strictly confi only that I rank well among the math sidering my mathematical merits, much dential. This custom in academia was ematicians Berkeley hired as assistant less the merits of the male assistant pro even more important in this case. since professors and promoted to tenure. fessors at Berkeley, all of whom had mathematicians on both sides have been Ultimately the university and I re been granted tenure easily and enthusi criticized for their opinions about my lied on judgments of people who are astically for nearly two decades.' research. experts in my field, who are world-class The case was settled over a year ago. My case has generated strong feel mathematicians, and who were able to It was settled using a process modeled on ings, pro and con. The authors of FFTAV look at my work in a detached way. the one designed by the same architects portray one side of this. (For carefully They recommended I be awarded tenure of positive and constructive change that researched articles following high jour FFfAV suggests we look to for guidance nalistic standards see the Science articles Letters to the Editor in matters of sex discrimination-the Letters submitted for publication in the Notices cited here. For other views see the Con Association for Women in Mathematics. are reviewed by the Editorial Committee. gressional Record, Case summary, June In their May/June 1992 newsletter the The Notices does not ordinarily publish com 1992, Serial No. 102-117, pp. 29-31, plaints about reviews of books or articles. al AWM suggested setting up a new tenure 215-264.) A problem with their argu though rebuttals and correspondence concerning review rather than going to court. 2 reviews in Bulletin ofthe American Mathematical ment is that it is based only on a small Hundreds of members of the AWM Society will be considered for publication. fraction of the information in the case, Letters should be typed and in legible form or and AMS signed a petition to the re- because that's all that can be revealed to they will be returned to the sender, possibly re people who had no role in it, and, with sulting in a delay of publication. All published let 1Disparate treatment for comparable worth forms ters must include the name of the author. Letters the basis for most discrimination lawsuits and was all due respect, the authors of FFTAV which have been, or may be, published elsewhere the basis for ours. The Committee on Privilege and had no role in it. The people who had will be considered, but the Managing Editor of the Tenure could not even consider this basic issue. the facts about my mathematical qualifi Notices should be informed of this fact when the letter is submitted. 'The AWM is not the first to think of this. cations were the members of the Tenure and it is now fast becoming the norm. Not surpris The committee reserves the right to edit let ingly. there is disagreement in most of the cases Review Committee, and I reiterate that ters. as to whether discrimination occurred. Academics, they decided I should be awarded tenure. Letters should be mailed to the Editor of the American Mathematical Society. P. 0. lawyers. administrators, judges, and the parties in Furthermore, neither the authors of FF Notices. volved look for a reasonable way to settle the issue. Box 6248. Providence. RI 02940. or sent by e Often this means finding a fair process to review TAV nor the editors of the Notices are mail to notices@math. ams. org. and will be tenure qualifications. privy to the thousands of pages of depo- acknowledged on receipt.
SEPTEMBER 1994, VOLUME 41, NUMBER 7 739 ·-·-·-·-·-·-·-·-·-·-...... -...... _...... _...... _...... ______...... - .. -...... -.. -...... _., ...... ,,,,_,, ...... ,,,,, .. ,_,,,...... Letters to the Editor as a full professor at Berkeley, and I'm their first tenured women research pro much his remarks-they are an attempt glad they did. I also realize that some fessors. (However, Cal Tech, Chicago, to state one strain of a current philosophy people can legitimately disagree with Columbia, Harvard, MIT, and Yale have of mathematics, written within the con the result, but in many cases across the not yet progressed.) straints set by his magazine to address country, promotions are not unanimous The Support Committee for Jenny a pop near-scientific culture-but rather decisions. I was offered the position, I Harrison has evolved into a statewide his chatty quotations of a spectrum of accepted it, and now I'm off to do what group, We Advocate Gender Equity interesting mathematicians. (Alas, if his I'm paid to do: mathematics. (WAGE), which is helping women aca quotation of Krantz's slur against mathe For me, the personal losses certainly demics achieve equality throughout the maticians is flawed, then can we trust his outweigh any personal gains from win University of California. quotations of others?) Those quotations, ning tenure, but I knew the risks and ac Coinciding with the settlement of and their context, suggest that the com cepted them from the beginning. There the case, UC Berkeley took the first puter revolution is sweeping all of us up is now a divided department that has steps to establish an affirmative action and that some fields of mathematics are suffered additional tension and division coordinator for the physical sciences enjoying the ride. from a backlash started by a vocal mi and mathematics to improve recruitment It is difficult to view without skepti nority not prepared to shake hands and and retention of graduate students from cism Krantz's expressed anxiety over a move on. Some members of the depart underrepresented groups. projected demise of proof. Proof is the ment appear to have conflicting feelings, Other women have credited my case mathematician's gravity-without it, we welcoming me as a colleague but not al as a factor in winning their own discrim drift through the Looking Glass. Where together happy with the secrecy of the ination cases. Krantz entertains the possibility that he settlement. Others seem downright de My great-grandmother marched for is flogging a dead horse, we agree lighted with my appointment. civil rights on the streets of Atlanta at the indeed it seems that the carcass has been Some good things have come out of turn of the century. She had been a so shredded into fragments satisfying the this case and all the publicity surround ciety woman, and this act, as you might Banach-Tarski theorem and reassembled ing it which the authors of FFTAV may imagine, destroyed the life she knew. into something paradoxically twice the not know. First of all, it has made math Never again was she accepted by white size of the original. The main points of ematicians more aware of the general society. However, she did it because she the original may have been these: issue of gender bias. Furthermore: knew racism was wrong. Compared to 1) use of the computer to perform al The University of California now her, I took a relatively easy stand. Just as gebra, to check for counterexamples, to allows all candidates for tenure to see civil rights advanced only when African produce graphics (images of objects oth their confidential files and has cited my Americans organized their resistance to erwise too difficult to visualize)-these case as an influence. discrimination, women mathematicians are all acceptable as part of mathematics; I was the first plaintiff in the State should put aside personal vendettas and 2) use of the computer to "prove" of California to be given comparable, unite in their efforts to gain equal treat theorems by assembling statistical ev confidential personnel files under court ment. idence of the absence of a counter order. This legal precedent has already The senior author ofFFTAV does not example is not acceptable; been important to other women aca need to try to justify to the world why 3) there are theorems which have demics with discrimination cases~ she opposed my struggle. Her important proofs for which "computer experi Science magazine has promised one work supporting women in mathematics ments" would have been useless; issue a year devoted to women in sci stands; it complements rather than con 4) there is something called "com ence. This was partly inspired by the tradicts my efforts and I suggest to her puter proof' (whatever that is); results of Paul Selvin's research for that it is time we get on with it. 5) the quality of the modern mathe his March 13, 1992 Science article on Jenny Harrison matics teacher/student amalgam is dis women in mathematics which itself was University of California, maying. an outgrowth of his June 28, 1991 Sci Berkeley Clearly (1)-(3) constitute, more or ence article on my case. (Received July 19, 1994) less, yet another fragment of a philoso Many see the recent increased hir phy of mathematics. There is no reason ing of women mathematicians as, at Response to "The Immortality to reject (1) and (2). As for (3), if the least partially, a result of the public of Proof" "computer experiments" are searches for ity surrounding my case. For exam The eulogy on the death of the death of counterexamples, it may be valid for the ple, the track record for hiring women proof, "The Immortality of Proof', by theorems cited, but (in a suitable sense) it in ten prestigious mathematics depart S. G. Krantz (Notices, January 1994), is invalid for the proof of the Four-Color ments first came to the attention of the is entertaining reading. But so is John Theorem. public in Selvin's June 28, 1991 Science Horgan's "The Death of Proof' (Scien As for (4), since Krantz is computer article. Since this data became public, tific American, October 1993) against knowledgeable enough to use computer Berkeley hired a woman assistant pro which Krantz rails. The source of en algebra, he likely knows that the term fessor, and Princeton and Stanford hired tertainment in Horgan's piece is not so is an alias for the theory of mechan-
740 NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY ...... ______Letters to the Editor ical theorem-proving (as in Symbolic I stopped subscribing to Mathematical countered when he ventured into an alien Logic and Mechanical Theorem Prov Reviews was that the back issues were and rather xenophobic culture known as ing by Chang and Lee, or Introduction taking over all of the bookshelves in my mathematics. to Logic Programming by Hogger), the office; on CD ROM, I would be able to My article's main theme was simple: applications of which include devising fit the entire collection from 1940 to the Mathematics is what mathematicians do, and using languages such as PROLOG, present on about one inch of shelf space and for various reasons-including the PARLOG, and Trilogy-but he seems in my study at home. increasing complexity of mathematics, to find the subject irritating. Unfortunately, when I read the foot the advent of computers as mathemat As for (5), isn't the situation so notes in the announcement, I found that ical tools, and the decreasing willing bad that any current fad regarding the the separation of the cost of producing ness of the government to support pure viability of "proof' could hardly make the database of reviews and the cost research-mathematicians will proba things worse? of delivering the product did not com bly spend less time in the future doing The interesting question is one which pletely apply to the CD ROM version: I traditional proofs. perhaps Horgan and Krantz will argue am told the disks are ''[a]vailable only to Krantz calls this "a bizarre tapestry about sometime in the future: it is, individuals at sites that subscribe to the with no basis in reality." But his over in a sense, related to (4), and it has corresponding current or backfile Math heated reaction proves-yes, proves! to do with the need for a theory for Sci Disc." I do not know the terms of that he is well aware of the trends I dealing with how computers might be the agreement with SilverPlatter, who describe and in fact is horrified by them. used to establish important theorems licenses the search software used for the In trying to shoot the messenger, Krantz whose minimal-length proof happens MathSci disks, but I wonder whether merely blows off his own toe. to be very long. Granted, Krantz might some of the mental bias which in the Mathematicians like Krantz often view that subject with distaste-it would past forced individual subscribers to sign complain that their field is underappre suggest that his current "golden age of agreements not to leave their personal ciated by the press. Yet when a journalist mathematics" is sliding toward a silicon copies of Mathematical Reviews in the tries to write something other than con age of mathematics. department coffee room has re-emerged. ventional gee-whiz pap-something that In any case, Krantz should celebrate Since my university library does not takes up serious philosophical and social his (self-ascribed) status of "dinosaur"; subscribe to Mathematical Reviews on issues that are troubling people in the after all, we're living in the Jurassic Park CD ROM, this condition has moved the field-they sneer, "How dare you!" age. CD ROM version of Mathematical Re I sought to present the issues in Robert M. Baer views from the category "expensive but a lively and, yes, provocative way. Parallel Logic Corporation affordable" to "unaffordable". My task was to get readers-most of (Received March 10, 1994) I fully understand the difficulty of whom are not mathematicians-to care pricing something whose production about what is happening in mathematics. Pricing Structure for cost is several million dollars for the first That's not easy. Given the response to Mathematical Reviews copy, and perhaps ten dollars for each my article, I think I succeeded rather I was very pleased last fall when the subsequent copy (that is my estimate well. American Mathematical Society an for the CD ROM version; probably the A final point: Krantz accuses me nounced a new pricing structure for paper version is substantially higher). of having misquoted him saying that Mathematical Reviews, in which the However, I am very disappointed to see mathematicians are ''spineless slobs". cost of producing and maintaining the Mathematical Reviews missing an op I did not. I sometimes eschew such database of reviews (which was to be portunity (as more mathematicians get intemperate remarks to protect sources paid by institutions employing mathe CD ROM drives) to become a mass from themselves. maticians in the form of a "data ac circulation publication. John Horgan cess fee") would be separated from the Richard G. Larson Scientific American cost of actually producing the copies of University of Illinois at Chicago (Received March 18, 1994) Mathematical Reviews (paid for by sites (Received March 17, 1994) and individuals in the form of a "prod Math semantics uct delivery fee"). This seemed like a Author of "Death of Proof" I enjoyed reading (Notices, April 1994) very reasonable solution to the prob Responds to Krantz about the mathematical importance of lems discussed by the AMS Committee I am flattered that Steven G. Krantz con the 1893 World's Columbian Exposition. to Monitor Problems in Communica siders me to be an evil pied piper, lead Please Note, however, two troubles in tions in the late 1980s, when I was a ing innocent multitudes into the abyss the sentence bridging pages 278-279: member of that committee. I was espe of epistemological relativism with my ''The fair drew 27 million people, close cially delighted by the fact that some article "The Death of Proof'. Alas, I to half the U.S. population at the time.'' new formats for Mathematical Reviews must confess I am just a humble re The first trouble is statistical. Uni seemed to be included in this program, porter, trying to describe as best he versity of Chicago historian William H. such as CD ROM: one of the reasons can some of the interesting things he en- McNeill states on page 1 of Hutchins'
SEPTEMBER 1994, VOLUME 41, NUMBER 7 741 Letters to the Editor
University that the exposition "attracted and symbolic points oj'view by Ostebee calculus is, as Professor Chapman notes, more than 21 million paid admissions." and Zorn. a serious subject and not a joke. The Historical Statistics supplement to I understand that as professional Among our perfectly serious pur the Statistical Abstract estimates U.S. mathematicians, many ofus have strong poses is to write a book that students can 1893 resident population at 66,970,000. positive or negative feelings about "Cal and will read successfully. One means I don't think we usually consider 27 (let culus Reform". No matter how you feel to that end, we believe, is an exposi alone 21) as close to half of 67. about this subject, I believe that the tory style that's both informal enough The second trouble is mathseman book in question oversteps the bounds to be inviting and sophisticated enough tic. An admission (paid or unpaid) is of professionalism in calculus texts. Let to convey the subtleties of a deep and no more a "person" than an oscillation me quote two passages from the text, sometimes difficult subject. That's a dif is a pendulum. Regardless of the im taken from pages 6 and 71: ficult balance to strike, and Professor plications of ordinary speech, relating Chapman is certainly entitled to his Monkey Functions: new functions attendance (unless clearly unduplicated) opinion as to whether we've succeeded. from old. New functions concocted to population makes no sense. Although We invite readers who want to gauge by "monkeying" with other func politicians and advertisers often mis for themselves-in context-the funda tions are so common and so impor takenly treat repetitive actions as peo mental seriousness of our project (or tant in calculus that we dignify them ple ("415 million Americans flew last anything else about our approach to cal with the title Monkey Functions. year"), we shouldn't. We should honor culus) to request an examination copy our mathematical tradition of concern of the current preliminary edition from Any given function can be ·'mon for clarity and accuracy by extending it Saunders College Publishing. keyed" with in various ways to to matters of mathsematics. (Received May 31,1994) produce new functions. Among all In any event, given 1893 incomes the species of monkey functions in and transportation, there's no way the An Appeal for Help calculus one reigns supreme-the exposition, which ran only six months, This is an appeal for help for the mathe derivative or rate function. could have drawn close to half the matics department at Gadjah Mada Uni population of the U.S. Excluding repeat No matter what happens with cal versity in Yogyakarta, Indonesia. I vis admissions, who knows what share of culus in the future, I hope that I can ited there this spring and found that a fire Americans attended? 15%, 10%, 5%? always instill in my students the idea had destroyed most oftheir books. They I enclose a complimentary copy of that calculus is a serious subject and not would appreciate any used math books Mathsemantics, released by Viking on a joke. I question whether this book, or that you can send them. They would February 24, 1994. The mistaken treat any calculus book which uses such ju like books especially in discrete mathe ment of actions as people is addressed venile satire, is appropriate for a serious matics, but any area that is of interest, on pages 21-27. The better way is given university calculus course. including functional analysis, topology, by the little girl behind the lemonade Scott Chapman algebra, number theory, computer sci stand in the "Family Circus" cartoon Trinity University ence, whatever you can spare. Books are who said, "We've had five customers, (Received April 11, 1994) hard to get in Indonesia. and three of them were Daddy." If you have many, you can use an Edward MacNeal M-bag, containing between 15 and 66 Edward MacNeal Associates Response from Ostebee and Zorn pounds. The M-bag BOOK RATE is (Received April 11. 1994) First, the usual response to being quoted $.72 (72 cents) per pound by surface out of context: We were quoted out of mail. It will take 1-2 months to get Questions About Calculus Reform context. Read in isolation, the sentences there. Has "Calculus Reform" gone too far? In Professor Chapman cites may appear SEND TO: the usual manner, my department is in flippant; indeed, reasonable people can Jurusan Matematika the process of selecting a new textbook (and do!) differ as to whether the phrase FMIPA UGMSekip Unit III for our introductory calculus sequence. "monkey functions" deserves to survive Yogakarta, JATENG I have been skeptical of the "Calculus the next editorial cut. Be that as it INDONESIA Reform" movement for several years; may, the fundamental seriousness of our Jack Tull but since one of the texts under consid approach to calculus should be clear to Seattle, Washington eration is a "Reform" book, I decided to anyone who reads the full text-or even (Received May 23, 1994) look at it seriously. The book in question a few surrounding pages. It certainly is is Calculus from graphical, llumerical, clear to students who use our book that
742 NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY of the American Mathematical Society
To Notices Readers:
Starting with the January 1995 issue, the Notices will have a new look, a new style, a new and more interesting menu of articles. Some of the high lights will be:
• Top-quality mathematical exposition of advances in a broad range of areas, aimed at a mathematically literate audience
• A color cover, plus graphics, photos, and illustrations designed to heighten readers' visual enjoyment of the magazine
• Thought-provoking opinion pieces presenting diverse views on math ematics and the mathematics profession
• Timely news and information about the profession, its people, and their activities
The January 1995 issue of the ''new" Notices will be mailed in late November. Don't miss it!
WATCH FOR THE PROGRAM FOR THE SAN FRANCISCO JOINT MEETINGS IN THE JANUARY 1995 ISSUE ADDTHISCOVERSHEETTOALLYOUR ACADEMIC JOB APPLICATIONS
The Joint Committee on Employment Opportunities has adopted the cover sheet on the facing page as an aid to job applicants and prospective employers. The AMS Committee on the Profession also endorses its use. The current imbalanced job market has left employers overwhelmed with large numbers of applications to be processed, and job candidates who are justifiably frustrated with the lack of timely responses to their applications. Both sides should benefit from the increased efficiency that a standardized cover sheet will bring to application processing in Mathematical Sciences departments. How to use this form: 1. Using the facing page or a photocopy, (or a TEX version which can be downloaded from the e-MATH gopher on the "Professional Information for Mathematicians"/"Career Development Resources" menu), fill in the answers which apply to ALL of your academic applications. Make photocopies. 2. As you mail each application, fill in the remaining questions neatly on one cover sheet and include it ON TOP OF your application materials.
Mathematics Departments in Bachelor's, Master's and Doctorate granting institutions have been contacted and are expecting to receive the form from each applicant, along with any other application materials they require. Obviously, not all departments will utilize the cover form information in the same manner. It is hoped that this process will become a standard in the mathematical community and that in time further enhancements may lead to real improvement in the process of obtaining employment in the mathematical sciences. Please direct all general questions and comments about the form to [email protected] or call the Professional Programs and Services Department, AMS, at 800-421-4267 extension 4105.
JCEO Recommendations for Professional Standards in Hiring Practices The JCEO believes that every applicant is entitled to the courtesy of a prompt and accurate response that provides timely information about his/her status. Specifi cally, the JCEO urges all institutions to do the following after receiving an application: (1) Acknowledge receipt of the application-immediately; and (2) Provide information as to the current status of the application, as soon as possible. The JCEO recommends a triage-based response, informing the applicant that he/she (a) is not being considered further; (b) is not among the top candidates; or (c) is a strong match for the position. Academic Employment in Mathematics APPLICATION COVER SHEET
This cover sheet is provided as an aid to departments in processing job applications. It should be included with your other application material. Please print or type. Do not send this form to the AMS.
Last(Family)Name: ______Social Security Number:----;;-;:---;--- optional FirstNameor Initial: ______SecondNameor Initial: ______
Address through June 1995______WorkPhone: C. ______
HomePhone: (______
E-mail: ______
CurrentinstitutionalMfiliation: ______If not U.S. Citizen, type of visa: Country of Citizenship: ______0 Permanent Resident 0 Temporary Resident Ph.D. received/expected: ____ ---,--- Ph.D. Advisor: ______Month Year SourceofPh.D.: ------Department Insitiution
Indicate the mathematical subject area(s) in which you have done research using the 1991 Mathematics Subject Classification printed on the back of this form. Iflisting more than one number, list first the one number which best describes your current primary interest. Primary Secondary
Give a very brief synopsis of your current research interests in the box below (e.g. finite group actions on four manifolds.) Avoid special mathematical symbols and please do not write outside of the boxed area.
Indicatethepositionforwhichyouareapplying: ______
If unsuccessful for this position, would you like to be considered for a temporary position? DYes DNo If yes, please check the appropriate boxes. D Postdoctoral Position D 2+-Year Position D 1-Year Position
List the names and affiliations of up to four individuals who will provide letters of recommendation if asked. Mark the box provided for each individual whom you have already asked to send a letter.
D 1.
D 2.
D 3.
D 4.
This form is provided courtesy of the American Mathematical Society. 1991 Mathematics Subject Classification
00 General 44 Integral transforms, operational calculus 01 History and biography 45 Integral equations 03 Logic and foundations 46 Functional analysis 04 Set theory 47 Operator theory 05 Combinatorics 49 Calculus of variations, optimal control 06 Order, lattices, ordered algebraic structures 51 Geometry 08 General mathematical systems 52 Convex and discrete geometry 11 Number theory 53 Differential geometry 12 Field theory and polynomials 54 General topology 13 Commutative rings and algebras 55 Algebraic topology 14 Algebraic geometry 57 Manifolds and cell complexes 15 Linear and multilinear algebra, matrix theory 58 Global analysis, analysis on manifolds 16 Associative rings and algebras 60 Probability theory and stochastic processes 17 Nonassociative rings and algebras 62 Statistics 18 Category theory, homological algebra 65 Numerical analysis 19 K-theory 68 Computer science 20 Group theory and generalizations 70 Mechanics of particles and systems 22 Topological groups, Lie groups 73 Mechanics of solids 26 Real functions 76 Fluid mechanics 28 Measure and integration 78 Optics, electromagnetic theory 30 Functions of a complex variable 80 Classical thermodynamics, heat transfer 31 Potential theory 81 Quantum theory 32 Several complex variables and analytic spaces 82 Statistical mechanics, structure of matter 33 Special functions 83 Relativity and gravitational theory 34 Ordinary differential equations 85 Astronomy and astrophysics 35 Partial differential equations 86 Geophysics 39 Finite differences and functional equations 90 Economics, operations research, programming, games 40 Sequences, series, summability 92 Biology and other natural sciences, behavioral sciences 41 Approximations and expansions 93 Systems theory, control 42 Fourier analysis 94 Information and communication, circuits 43 Abstract harmonic analysis
ELECTRONIC PRODUCTS Atnerican Mathetnatical Society
The AMS's MathSci® Products provide comprehensive coverage of research in mathematics, computer science and statistics in a variety of formats.
MathSci Disc
MathSci Disc is the CD-ROM version of Mathematical Reviews (MR) and Current Mathematical Publications (CMP) . • MathSci disc provides instant access to over 53 years of data MR and CMP from 1940-present. • SilverPlatter search software (SPIRS/MacSPIRS) makes MathSci Disc easy to search and integrates well into existing environments (e.g., library jukebox system). • SPIRS allows boolean searching, easy printing and downloading . • SilverPlatter has a networking option that allows simultaneous access for network users. • MathSci Disc is available for both the Macintosh and MS-DOS platforms.
MathSci Online
MathSci Online is an electronic version of MR, CMP, Guide to Computing Literature, Computing Reviews, Technical Reports in Computer Science, Current Index to Statistics, and the Index to Statistics and Probability, available from commercially supported online systems including DIALOG, CompuServe, ESA, and NACSIS. Anyone with a computer and modem can get an account to search MathSci Online. • Over 600 journals are reviewed cover-to-cover; over 1,700 are covered selectively . • Over 7,500 monographs, conference proceedings. theses, and technical reports are reviewed annually. • Abstracts, reviews, and bibliographic citations are available.
For more information call 800-321-4AMS (321-4267). e-mail: [email protected]
MathSci Tapes • MathSci Disc • MathSci Online • TEX Software • e-MAm 1994 AMS Election Special Section
In the past few elections, only one of every seven members has The positions to be filled in contested elections this year voted in the annual elections. This year, in order to stimulate are: One vice-president, five members-at-large of the Council, participation in the election process (and to save some money), one trustee, two members of the Editorial Boards Committee the election process is being simplified. In this issue of the and three members of the Nominating Committee. There is Notices you will find all pertinent election material, including an amendment to the Bylaws recommended by the Council the ballot and return envelope. (This material will be separated which members are requested to ratify. into a special election booklet that will be mailed, together I urge you to study the material printed in this section, to with a ballot and return envelope, to foreign members of the find the ballot and return envelope, and to vote. Society.) [You should also note the request from the Society's The Society has tried to make the election process as Nominating Committee, Editorial Boards Committee, and simple as possible. You are asked to complete your voting on Committee on Committees for names of potential candidates, the ballot that accompanies this election material, insert it in editors, and committee members for the corning year. These the envelope provided, sign and seal the envelope, and mail suggestions are most useful if a short note of support it to the election teller. Ballots returned in envelopes that are accompanies the recommendations. Members are urged to not signed will not be counted. The Teller, Dallas Thomason communicate nominations to these committees through the Co., is an independent election service that counts the ballots Secretary.] under contract with the Society. When a signed envelope is received by Thomason, the ballot is extracted and added Robert M. Fossum to the pile of ballots received on that day. The envelope is Secretary discarded. Keyboarders enter the information from the ballot Urbana, Illinois into a computer. (This is the reason for the letters that are assigned to each candidate.)
SEPTEMBER 1994, VOLUME 41, NUMBER 7 749 1994 AMS Election
Candidates To help alleviate this problem, the following replacement proce OFFICERS dure has been devised: A member who has not received a ballot by Vice-President (one to be elected) October 10, 1994, or who has received a ballot but has accidentally C. Herbert Clemens Joseph B. Keller spoiled it, may write after that date to the Secretary of the AMS, Post Gian-Carlo Rota (by petition) Office Box 6248, Providence, RI 02940, asking for a second ballot. The request should include the individual's member code and the address to which the replacement ballot should be sent. Immediately Member-at-Large of the Council (five to be elected) upon receipt of the request in the Providence office, a second ballot, Georgia M. Benkart Benjamin A. Lotto (by which will be indistinguishable from the original, will be sent by first Carlos Castillo-Chavez petition) class or air mail. It must be returned in an inner envelope, which will David B. A. Epstein Jerrold E. Marsden be supplied, on the outside of which is the following statement to be Cameron M. Gordon Cora Sadosky signed by the member: James M. Hyman Alice Silverberg The ballot in this envelope is the only ballot that I am submitting Mark W. Winstead in this election. I understand that if this statement is not correct then no ballot of mine will be counted. Board of Trustees (one to be elected) Frank C. Hoppensteadt Donald E. McClure
signature NOMINATING COMMITTEE FOR 1995 (Three to be elected) Although a second ballot will be supplied on request and will be sent Jerry L. Bona Rogers J. Newman by first class or air mail, the deadline for receipt of ballots will not be Ingrid Daubechies Stephen D. Smith extended to accommodate these special cases. William James Lewis Susan G. Williams
EDITORIAL BOARDS COMMITTEE FOR 1995 (Two to be elected) SUGGESTIONS FOR 1995 NOMINATIONS Robert J. Blattner Harold M. Stark Each year the members of the Society are given the opportunity to Rhonda J. Hughes Herbert S. Wilf propose for nomination the names of those individuals they deem both qualified and responsive to their views and needs as part of the mathematical community. Candidates will be nominated by the Election Information Council to fill positions on the Council and Board of Trustees to The ballot for election of officers, members of the Council, and a replace those whose terms expire January 31, 1996. See the AMS trustee and ratification of an amendment to the bylaws is included Reports and Communications section of this issue for the list of in this issue of the Notices (and for members residing outside of current members of the Council and Board of Trustees. Members North America in the election booklet). The deadline for receipt of a are requested to write their suggestions for such candidates in the completed ballot is 10 November 1994. Members are urged to consult appropriate spaces below. the following articles and sections of the Bylaws of the Society: Article I, Section 1; Article II, Sections 1,2; Article III, Section 1; Article IV, Sections 1, 2, 4; Article VII, Sections 1, 2, 5. The complete text of the Bylaws appears on pages 1266-1270 of November 1993, SUGGESTIONS FOR 1995 NOMINATIONS Volume 40, Number 9, issue of the Notices. A list of members of the Council and Board of Trustees Council and Board of Trustees serving terms during 1994 appears in the AMS Reports and Communications section of this issue of the Vice-President (1) Notices (and on a separate page in the special election booklet).
REPLACEMENT BALLOTS Members-at-large of the Council (5) There has been a small but recurring and distressing problem con cerning members who state that they have not received ballots in the annual election. It occurs for several reasons, including failure of local delivery systems on university or corporate properties, fail ure of members to give timely notice of changes of address to the Providence office, failures of postal services, and other human errors.
Member of the Board of Trustees ( 1)
The completed form should be addressed to AMS Nominating Com mittee, Post Office Box 6248, Providence, Rl 02940, to arrive no later than November 10, 1994.
750 NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY Biographies of Candidates 1994
AMS Committees: Committee on the curity reasons. National security was Human Rights of Mathematicians. 1985- understood in military terms. During Biographical information about the candi dates has been verified by the candidates, 1987. recent years. the public's rationale for although in a few instances prior travel ar Selected Addresses: International Con supporting mathematics has become in rangements of the candidate at the time of gresses of Mathematicians, Vancouver, creasingly based on the economic value assembly of the information made commu 1974, and Berkeley, 1986; CIME Lec of a mathematically literate public. nication difficult or impossible. A candidate tures, Varena, Italy, 1981; AMS Summer Are we moving toward the pre had the opportunity to make a statement of Research Institute on Algebraic Geom World War II situation in which basic not more than 200 words on any subject matter without restriction and to list up to etry, Brunswick, July 1985. mathematical research, like art, is pur five of her or his research papers. Additional Information: Fulbright Fel sued for its own sake while one supports Abbreviations: American Association low, 1970; Sloan Fellow, 1973-1975; oneself doing other things? Can we re for the Advancement of Science (AAAS); Distinguished Research Award, Univer spond more effectively to the perceived American Mathematical Society (AMS); sity of Utah, 1983; Editor, Pacific Jour national needs and thereby strengthen American Statistical Association (ASA); nal of Mathematics, 1985-; Commit our case with the public? Association for Computing Machinery (ACM); Association for Symbolic Logic tee on Mathematics, National Research The American Mathematical Soci (ASL); Association for Women in Mathe Council, 1985-1987; Board on Math ety is called upon to protect and support matics (AWM); Canadian Mathematical So ematical Sciences Education, National our discipline, while at the same time re ciety, Societe Mathematique du Canada Research Council, 1985-1987. sponding creatively to the agenda urged (CMS); Conference Board of the Mathemat Selected Publications: 1. with Phillip upon us by the public at large and, in ical Sciences (CBMS); Institute of Mathe Griffiths, The intermediate Jacobian of particular, by the funding agencies of matical Statistics (IMS); International Math ematical Union (IMU); London Mathemat the cubic threefold, Ann. of Math. 95 the federal government. I wish to par ical Society (LMS); Mathematical Associa (1972), 281-356. MR 46 #1796; 2. De ticipate in the Society's deliberations on tion of America (MAA); National generation of Kahler manifolds, Duke these issues, and I wish to help develop Academy of Sciences (NAS); National Math. J. 44 (1977), 215-290. MR 56 and implement new policies to meet this Academy of Sciences/National Research #3012; 3. A Scrapbook of Complex challenge. Council (NAS/NRC); National Aeronautics Curve Theory, The University Series and Space Administration (NASA); Nation al Council of Teachers of Mathematics in Mathematics, Plenum Press, New Joseph B. Keller (NCTM); National Science Foundation York-London, 1980. MR 82i:14001; 4. Professor, Stanford University. (NSF); Operations Research Society of Homological equivalence, modulo alge Born: July 31. 1923, Paterson, New America (ORSA); Society for Industrial braic equivalence, is not finitely gener Jersey. and Applied Mathematics (SIAM); The ated, Publ. Math. Inst. Hautes Etudes Ph.D.: New York University, 1948. Institute of Management Sciences (TIMS). An(*) indicates the individual was nom Sci. Publ. Math. 58 (1983), 19-38. MR Selected Addresses: Gibbs Lecturer, inated in response to a petition. 86d:14043; 5. Curves on generic hyper AMS, 1977; von Neumann Lecturer, swfaces, Ann. Sci. Ecole Norm. Sup. 19 SIAM, 1983; Rouse Ball Lecturer, Uni (1986), 629-636. MR 84c:14037. versity of Cambridge, 1993. Vice-President Statement: A sea change has occurred Additional Information: von Karman C. Herbert Clemens in the last decade or so in the pro Prize, SIAM, 1979; National Medal of ProfessOJ~ University of Utah. fessional opportunities and challenges Science, 1988; Member: Royal Society. Born: August 15, 1939, Dayton, Ohio. facing mathematicians. During the pre National Academy of Sciences, Ameri Ph.D.: University of California, Berke vious forty years public and federal can Academy of Arts and Sciences. ley, 1966. government support for basic mathemat Selected Publications: 1. A geometri Offices: Member-at-Large of the Coun ical research derived from the perceived cal the01y of diffraction, Calculus of cil, 1990-1992. value of basic science for national se- variations and its applications, Proceed-
SEPTEMBER 1994, VOLUME 41. NUMBER 7 751 ...... _------_ .. Biographies of Candidates
ings of Symposia in Applied Mathe L'Aquila, 1990; Member, NAS Com AMS Committees: Committee on matics, vol. 8, pp. 27-52. McGraw-Hill, mittee on Women in Science and En Mathematical Surveys and Monographs, New York-Toronto-London, 1958. MR gineering, 1991-1993; Medal for Dis 1994- . 20 #840; 2. Corrected Bohr-Somn1elfeld tinguished Service, National Security Selected Addresses: MAA Invited Ad quantum conditions for nonseparable Agency, 1992; Member of the Husserl dress, Minneapolis, 1988; Canadian systenzs, Ann. Physics 4 (1958) 180 Circle and the Heidegger Circle. Mathematical Society Seminar on Lie 188. MR 20 #5650; 3. The shape of SelectedPublications: 1. An "alternier Theory and Differential Equations, Mon the strongest colun1l1, Arch. Rational ende Velfahren'" for general positive treal, 1989; SIAM Meeting on Discrete Mech. Anal. 5 (1960), 275-285. MR operators, Bull. Amer. Math. Soc. 68 Mathematics, Vancouver, 1992; Princi 23 #B1204; 4. Rays, vvaves and asymp (1962), 95-102. MR 24 #A3671; 2. pal Lecturer, Holiday Symposium, New totics, Bull. Amer. Math. Soc. 84 (1978), On the foundations of combinatorial Mexico State University, 1992; AMS 727-750. MR 80g:35002; 5. with theory. I. Theory of Mobius functions, MAA Invited Address, Cincinnati, Jan J. K. Hunter, Weakly nonlinear high z. Wahrscheinlichkeitstheorie und Verw. uary 1994. frequency vvaves, Comm. Pure Appl. Gebiete 2 (1964), 340-368. MR 30 Additional Information: Visiting Pro Math. 36 (1983), 547-569. MR 85h: #4688; 3. with P. Doubilet and J. A. fessor, Aspen Center for Physics, 1979; 35143. Stein, On the foundations ofcombinato University of Wisconsin Distinguished Statement: I will try to encourage the rial theory. IX. Combinatorial methods Teaching Award, 1987; Organizer, Work Society's activities in applied mathemat in invariant theoly, Stud. Appl. Math. shop and Conference on Lie Alge ics with the goals ofincreasing financial 53 (1974), 185-216. MR 58 #16736; 4. bras and Related Topics, 1987-1988; support for research and of improving The pernicious influence ofmathematics NSF Committee on CBMS Conferences, the opportunities for jobs. upon philosophy, New directions in the 1990-1992; NSF U.S.-fSU Cooperative philosophy of mathematics, Synthese Project, 1991; Journal of Algebra Ed Gian-Carlo Rota* 88 (1991), 165-178. MR 93a:00007; 5. itorial Board, 1991- ; NSF Panel on Professor of Applied Mathematics and with D. A. Buchsbaum, Projective reso Minority Research Initiatives and Re Philosophy, Massachusetts Institute oj' lution ofWeyl modules, Proc. Nat. Acad. search Opportunities for Women, 1993; Technology. Sci., U.S.A. 90 (1993), 2448-2450. MR Member: AMS, AWM. Born: April 27, 1932, Italy. 94a:20074. Selected Publications: 1. with J. M. Ph.D.: Yale University, 1956. Statement: I believe the Society should Osborn, Rank one Lie algebras, Ann. Offices: Member-at-Large ofthe Coun initiate a wide-ranging and prestigious of Math. 119 (1984), 437-463. MR cil, 1967-1969. system of rewards for expository work 86g:17006; 2. with D. J. Britten and AMS Committees: Interim Editorial at all levels, from grade school to ad F. W. Lemire, Stability in modules for Committee for Research Announce vanced research. All levels should be classical Lie algebras--a constructive ments, 1978; Bulletin (New Series) Edi treated evenly and equally, with equal approach, Mem. Amer. Math. Soc. 85 torial Committee (Associate Editor, Re cash prizes awarded simultaneously in (1990), no. 430. MR 90m: 17012; 3. with search Announcements, 1979-1981; As a solemn ceremony. Some two dozen S. Kang and K. C. Misra, Graded Lie al sociate Editor, Research-Expository Ar evenly spread prizes should be awarded gebras ofKac-Moody type, Adv. Math. ticles, 1982-1984); Committee on Steele yearly, and the fact should be stressed 97 (1993), 154-190. MR 94b:17039; 4. Prizes, 1979-1982; Committee on AMS that a grade school teacher may con with J. M. Osborn and H. Strade, Con Prizes and Awards, 1992- . tribute to the well being of mathematics tributions to the classification of sim Selected Addresses: Hedrick Lectures, as much as a Fields Medal winner. The ple modular Lie algebras, Trans. Amer. Mathematical Association of America, next several years are going to be very Math. Soc. 341 (1994), 227-252. MR 1967; International Congresses ofMath difficult. Every effort should be made 94c:17035; 5. Tensor product represen ematicians, Nice, 1970, and Helsinki, to keep mathematics in the center of tations of general linear groups and 1978; Hardy Lectures, London Mathe the public's attention, and the Society's their connections vvith Brauer algebras, matical Society, 1973; Lezioni Lincee, public relations programs should be en J. Algebra 165 (1994), to appear. Scuola Normale Superiore, Pisa, 1986. hanced, in line with what other profes AdditionalInformation: Sloan Fellow, sional societies are presently doing or Carlos Castillo-Chavez 1962-1964; Fellow, American Academy planning. Associate Professor, Cornell University. of Arts and Sciences, 1963- ; Fellow Born: March 29, 1952, Mexico City. and then Senior Fellow, Los Alamos Member-at-Large of the Council Ph.D.: University of Wisconsin-Madi National Laboratory, 1971- ; Corre son, 1984. sponding Member, Academia Argentina Georgia M. Benkart Selected Addresses: Fifth IMA Con de Ciencias, 1975- ; Member, National Professol~ University of Wisconsin, ference on the Mathematical Theory Academy of Sciences, 1982- ; Doc Madison. of the Dynamics of Biological Sys tor Honoris Causa, University of Stras Born: December 30, 1949, Youngstown, tems, Oxford University, England, 1989; bourg, 1984; Steele Prize, AMS, 1988; Ohio. Hollistier-Stier Distinguished Lecture Doctor Honoris Causa, University of Ph.D.: Yale University, 1974. Series, Washington State University,
752 NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY ...... ·················--:,.~!11)111!11£------····-··-········-··-········-··-···-·········-· ··········-·············-········-··-··············- ...... Biographies of Candidates
1990; Conference for Ford Foundation vances in theoretical and computational and W. P. Thurston, Word Processing in Fellows, National Academy of Sciences, biology have reenergized the romance Groups, Jones and Bartlett Publishers, Irvine, California, 1990; Gordon Con between mathematics and applications. Boston, MA, 1992. MR 93i:20036. ference, 1992; 3rd International Confer New mathematical challenges are posed Statement: As a resident of the UK, I ence on Mathematical Population Dy every day as we attempt to increase our welcome the joint AMS meetings with namics, Pau, France, 1992; Harry S. understanding of epidemics, genomics, European societies and would encour Kieval Distinguished Lecture Series ecology, cell biology, and biodiversity. age further international activities and Speaker, Humboldt State University, We must bring the excitement created by research programs. 1993. the interface between mathematics and Two years ago, encouraged by Mum Additional Information: Special Rec biology to the classroom. ford and Thurston, I founded the journal ognition by the Honorable Mexico City Experimental Mathematics with pub Council, 1992; Fellow, Department of David B. A. Epstein lisher Klaus Peters and with coeditor Ecology and Evolutionary Biology, Professm~ Mathematics Institute. Uni Silvio Levy to enable researchers to ex Princeton University. 1993-1994; Presi versity ofWmwick, Coventry, England. plain how their rigorous theories arise dential Faculty Fellowship Award, 1992- Born: May 16, 1937, Pretoria, South from experiments. I was one of Al Mar 1997; Editorial Board, SIAM Journal of Africa. den's main assistants in founding the Applied Mathematics; President, North Ph.D.: University of Cambridge, 1960. Geometry Center in Minneapolis, and eastern Chapter of the Society for the Selected Addresses: Computers, I regard visualization and experiment Advancement of Chicanos and Native Groups and Hyperbolic Geometry, 4 as important aids to rigorous mathe Americans in Science; Member: AMS, lectures, Rome, summer 1984; Auto matics. I am interested in experimental SIAM, the Society for Mathematical Bi matic Groups, Arbeitstagung 1986; Infi (currently not computer-aided) teach ology, and the Ecological Society of nite Sets of Rules and Finite Machines, ing methods at the post-calculus level, America. Princeton, February 1989; Growth of where I believe I have been adventurous Selected Publications: 1. Nonlinear Groups, Kyoto, January 1992; Low and successful. I would encourage the character-dependent models with con Dimensional Topology, 2 addresses, AMS to pay attention to outreach, which stant time delay in population dynamics, Knoxville, May 1992. can be very rewarding in its own right, J. Math. Anal. Appl. 128 (1987), 1-29. Additional Information: Executive though it also indirectly improves the MR 89a:92036; 2. with S. A. Levin Committee, NSF Geometry Center, Min public's readiness to fund research. Jus and F. Gould, Physiological and be neapolis; Founder and Chief Editor, Ex tification for research finance depends havioral adaptation to vmying environ perimental Mathematics, a new journal; on the intellectual significance of our ments: a mathematical model, Evolution Council of the London Mathematical So subject, as well as on its utility, and 42(5) (1988), 986-994; 3. Editor, Math ciety (LMS), 1972-1975; Science and we could be doing more to enthuse and ematical and statistical approaches to Engineering Research Council (SERC): inform by communicating mathematical AIDS epidemiology, Lecture Notes in Mathematics Committee, 1983-1986, ideas to a wider audience. My major Biomath .. vol. 83, Springer-Verlag, Ber Computational Science Initiative Com interest continues to be research in pure lin, 1989; 4. with S. P. Blythe, Scal mittee, 1986-1989, and Science Board mathematics. ing law of sexual activity, Nature 344 Computing Committee, 1989-1992; (1990), 202; 5. with H. Thieme. How LMS Senior Berwick Prize, June 1988; Cameron M. Gordon may infection-age-dependent infectiv Advisor to the Danish National Research Professor, University of Texas at Austin ity affect the dynamics of HIV/AIDS?, Council on the establishment of a math Born: March 2, 1945, Rhynie, Scotland SIAM J. Appl. Math. 53 (1993), 1447- ematical research institute in Denmark, Ph.D.: University of Cambridge, 1971 1479. February 1993. Selected Addresses: Invited Address, Statement: A female former Cornell Selected Publications: 1. Projective British Mathematical Colloquium, New graduate student told me recently: "I planes in 3-manifolds, Proc. London castle, 1975; Invited Address, Austin, remember taking a civil engineering Math. Soc. 11 (1961), 469-484. MR November 1981; London Mathematical course at Cornell and thinking that it 27 #2968; 2. The simplicity of certain Society. Spitalfields Lecturer, University was all about bridges and other 'boy groups of homeomorphisms, Composi of Sussex, 1987; International Congress stuff'. Mind you, I was not a kid. But tio Math. 22 (1970), 165-173. MR 42 of Mathematicians, Kyoto, 1990; In I thought that if engineering had been #2491; 3. Periodic flows on 3-manifolds, vited Address, Australian Mathematical about biological phenomena, rather than Ann. of Math. 95 (1972), 68-82. MR Society, Melbourne. 1991. erector sets, I would have been inter 44 #5981; 4. Commutators of 0 00 - Additional Information: Sloan Fellow, ested at a young age. Once I discov diffeomorphisms, Appendix to "A cu 1979-1981; Member, NSF-CBMS Re ered biomechanics in grad school. I rious remark concerning the geomet gional Conference Panel, 1989; NSF was hooked. You can't tear me from ric transfer map", by John N. Mather, Postdoctoral Fellowship Evaluation it. There's no reason that introduc Comm. Math. Helv. 59 (1984), 111-122. Panel, 1991-1993. tory mechanics courses can't talk about MR 86c:58018; 5. with J. W. Cannon, Selected Publications: 1. Knots in the trees instead of skyscrapers ... " Ad- D. F. Holt, S. V. F. Levy. M.S. Paterson, 4-sphere, Comment. Math. Helv. 51
SEPTEMBER 1994. VOLUME 41, NUMBER 7 753 Biographies of Candidates
(1976), 585-596. MR55 #13435; 2. with Workshop on Modeling of Nonlinear prepare students for real-world appli A. J. Casson, On slice knots in dimen Stellar Pulsations; Associate Editor, In cations and the available jobs. As a sion three, Proc. Sympos. Pure Math. ~2 ternationalJournal on High-SpeedCom member of the Council, my goal will (1978), 39-53. MR 81g:57003; 3. Some puting, 1989- ; Vice-Chair, SIAM Spe be for the AMS to continue playing an aspects ofclassical knot theoly, Lecture cial Interest Group on Supercomput important role in leading high-quality Notes in Math. 685 (1978), 1-60. MR ing, 1989-1991; Committee on the Un education, research, and applications of 80f:57002; 4. with M. Culler, J. Luecke dergraduate Program in Mathematics mathematics. I am greatly concerned and P. B. Shalen, Dehn surgery on knots, (CUPM) Subcommittee on the Major about increased pressures to shift basic Ann. of Math. 125 (1987), 237-300. in the Mathematical Sciences, 1989 research funds toward proposals with MR 88a:57026; 5. with J. Luecke, Knots 1991; Associate Editor, International short-term applications. I would work to are detern1.ined by their complenlents, J. Journal ofSuperconlputer Applications, protect the existing funds for individ Amer. Math. Soc. 2 (1989), 371-415. 1989-1992; Co-chair, 1991 DOE Con ual mathematicians and to increase the MR 90a:57006a. ference on Experimental Mathematics: funding for long-range research. Computational Issues in Nonlinear Sci James M. Hyman ence; Board ofGovernors, NSF Institute Benjamin A. Lotto* Group Leadel~, Mathenlatical Modeling for Mathematics and its Applications, Assistant Professol~, Vassar College. and Analysis Grolll), Los Alanl0s Na 1991- ; Chair, 1992 Annual SIAM Born: April 30, 1961, Pittsburgh, Penn tional LaboratolY; Adjunct Professol~ meeting; AMS Task Force on Educa sylvania. University ofAri:ona. tion, Industry, and Government, 1992 Ph.D.: University of California, Berke Born: March 20, 1950, Lakeland, 1993; Chair, 1993 DOE Conference on ley, 1988. Florida. Modeling the Forces of Nature; SIAM Selected Addresses: Wabash Extramu Ph.D.: New York University, Courant Board ofTrustees, 1993- ;Associate Ed ral Modem Analysis Miniconference, Institute ofMathematical Sciences, 1976. itor, Computers and Mathenlatics l1Jith Indianapolis, September 1992; Special AMS Committees: AMS-SIAM Com Applications, 1993- ; Treasurer, SIAM Session on Operator Theory and Op mittee on Applied Mathematics, 1985 Special Interest Group on Dynamical erator Algebras, Dayton, October 1992; 1993 (Chair, 1992-1993); Organizing Systems; Chief Editor, SIAM Journal on Special Session on Holomorphic Spaces, Committee, 1984 AMS-SIAM Summer Scientific Computing. San Antonio, January 1993; Southeast Seminar on Nonlinear Systems. Selected Publications: 1. with ern Analysis Meeting (SEAM), Mem Selected Addresses: Invited Colloqui R. Knapp and J. C. Scovel, High or phis, March 1993; Special Session on ums at University of Arizona, Uni der finite volunle approximations of Composition Operators on Spaces of versity of Minnesota, University of differential operators on nonuniform Analytic Functions, College Station, Oc New Mexico, University of California, grids, Phys. D 60 (1992), 112-138. MR tober 1993. Los Angeles, and the Rensselaer Poly 93i:65110; 2. with P. Rosenau, Conl Selected Publications: 1. with D. technic Institute Conference on Adap pactons: Solitons l1Jith finite wavelength, Sarasoll, Militiplicative structure of tive Mesh Methods, 1992-1994; In PRL 70 (1993), 564-567; 3. with R. de Branges's spaces, Rev. Mat. Iber vited Lecture, SIAM Meeting on the Camassa and D. Holm, A nevv inte oamericana 7 (1991), 183-220. MR Numerical and Mathematical Analy grable shallow water equation, Adv. 92k:46035; 2. with J. McCarthy, Com sis of Nonlinear PDEs, 1993; Invited Appl. Mech. 30 (1994), 1-33; 4. with R. position preserves rigidity, Bull. London Lecture, IMA Conference on Adaptive Dougherty, A divide-and- conquer algo Math. Soc. 25 (1993), 573-576; 3. with Mesh Methods, 1993; Invited Collo rithmfor grid generation, Appl. Numer. D. Sarason, Multipliers of de Branges quium Lecture, Army High Performance Math. 14 (1994), 2-11; 5. with J. Li Rovnyak spaces, Indiana Univ. Math. J. Computing Center on Blending Mathe and A..Stanley, Threshold conditions 42 (1993), 907-920; 4. Von Nelllnanll's matical and Numerical Approximations for the spread of HIV infection in age inequality for conlm.uting, diagonaliz to Solve PDEs, 1993; Invited Address, structured populations of homosexual able contractions. I., Proc. Amer. Math. Cincinnati, January 1994. men, J. Theoret. Biology 166 (1994), Soc. 120 (1994),889-895; 5. with T. Ste Additional Information: NRC Com 9-31. ger, Von Neumann's inequality for com mittee on Applications of Mathemat Statement: I strongly support the AMS muting, diagonali:able contractions. II., ics, 1982-1985; Co-chair, 1983 Los increasing its role to foster interactions Proc. Amer. Math. Soc. 120 (1994), Alamos Conference on Implicit Meth among mathematicians in academia, in 897-901. ods for PDEs; Co-chair, 1987 CNLS dustry, and the national laboratories by Statement: The major problems fac Workshop on Nonlinear Systems of soliciting more applied mathematicians ing mathematics and mathematicians PDEs; Co-organizer, OSTP Workshop to participate in our conferences through right now-the horrible job market, di coordinating a National Scientific Ef minisymposia and as invited speakers. minished research funding, smaller de fort on AIDS Modeling and Epidemi We should aggressively pursue new ini partmental budgets, increased teaching ology, 1988; Member, NSFINRC Panel tiatives to help lead the graduate and loads, and so on-have had a particu for Computing and Applied Mathemat undergraduate educational programs in larly harsh effect on young mathemati ics, 1988-1992; Co-chair, 1989 NATO both pure and applied mathematics to cians. (By "young" I mean young in
754 NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY ··················-··-···-·······-...... ______...... Tllll•.BIIBIIBIIBII------··················-·······-···········-··-··- ·····························-········-······· Biographies of Candidates career, so ''young mathematicians" in Wiener Prize in Applied Mathemat Offices: Member-at-Large of the Coun cludes recent Ph.D.s, graduate students, ics, AMS-SIAM, 1990; Humboldt Prize, cil. 1986-1987. nontenured faculty, faculty in nontenure 1991; Fairchild Scholar, California Insti AMS Committees: Committee on the track lines, etc.) Many have had to live tute of Technology, 1992; Fellow, Royal Human Rights of Mathematicians, year to year, unemployed or in tempo Society of Canada, 1993. 1990- ; Ad Hoc Committee on Co rary positions with low salaries and/or SelectedPublications: 1. withR.Mont operation with Latin American Mathe high teaching loads. Some have quit gomery and T. S. Ratiu, Reduction, sym maticians, 1990-1992. mathematics entirely. As a result, much metry, and phases in mechanics, Mem. Selected Addresses: Special Session of the energy that would have been de Amer. Math. Soc. 88 (1990), 1-110. MR on Classical Analysis, Joint Meeting of voted to research and teaching has been 91b:58074; 2. with J. C. Simo and D. the American and London Mathemati spent worrying about finding employ R. Lewis, Stability of relative equilib cal Societies, Cambridge, England. June ment for one more year. I believe that ria. I., The reduced energy-momentum 1992 (Organizer); Invited Lecture. Inter our profession will feel this loss for method, Arch. Rational Mech. Anal. 115 national Conference in Honor of B. Sz. many years. (1991), 15-59. MR 92f:70014; 3. Lec Nagy, Szeged, Hungary, August 1993; Action taken on the problems men tures on Mechanics, London Mathemat Special Session on Harmonic Analysis, tioned above can only have a signifi ical Society Lecture Note Series, vol. Syracuse, September 1993; Special Ses cant and lasting effect if the situation 174, Cambridge University Press, Cam sion on Operator Theory. Manhattan, of young mathematicians is specifically bridge, 1992. MR 93f:58078; 4. with Kansas, March 1994; Invited Address, taken into account. One simple way to A. M. Bloch, P. S. Krishnaprasad, and Richmond, November 1994. do this is to include more young mathe G. Sanchez de Alvarez, Stabilization of Additional Information: Member, In maticians in the process. If I am elected rigid body dynamics by internal and ex stitute for Advanced Study, 1978-1979 to the Council, I will seek to encourage ternal torques, Automatica J. IFAC 28 and 1983-1984; NSF Visiting Profes the AMS to nominate more young math (1992), 745-756; 5. with J. Scheurle, sorship for Women. 1983-1984; NSF Member, ematicians for elected positions and ask Lagrangian reduction and the double Career Award, 1987-1988; MSRI. 1987-1988; Association for more young mathematicians to serve on spherical pendulum, Z. Angew. Math. I will also try to en Women in Mathematics: President-Elect. major committees. Phys. 44 (1993), 17-43. courage more young mathematicians to 1992-1993; President, 1993-1995. Statement: While maintaining the high run for office and to serve on commit Selected Publications: 1. with M. Cot est standards, the mathematics commu tees. Finally. I will do my best to bring lar, On the Helson-Szego theorem and a nity needs to work to make interdis my perspective as a young mathemati related class of modified Toeplitz ker ciplinary activities ever more effective. cian to the Council. nels, Proc. Sympos. Pure Math. 35 part of our subject and is This is a vital (1979). 383-407. MR 81j:42022; 2. ultimately motivated by the high level Jerrold E. Marsden lnte1polation of Operators and Singu of research mathematics that is used in Professor of Mathematics and Electri lar Integrals, Marcel Dekker Inc., New many exciting applications. Both mathe cal Engineering and Computer Science, York and Basel, 1979. MR 81d:42001; of mathematics need University of California, Berkeley maticians and users 3. with R. L. Wheeden, Some weighted about how to make Born: August 17, 1942, Ocean Falls, ongoing information norm inequalities for the Fourier trans British Columbia, Canada this process more effective while, at the form of functions with ranis/zing mo Ph.D.: Princeton University, 1968 same time, the educational infrastruc ments, Trans. Amer. Math. Soc. 300 AMS Committees: Committee on Sum ture in the University setting needs to (1987), 521-533. MR 88c: 47027; 4. mer Research Conferences, 1983, and learn how to better respond to interdis with M. Cotlar, Transference of metrics Committee on AMS-IMS-SIAM Joint ciplinary challenges. This is one of the induced by unitary couplings. J. Func. Summer Research Conferences in the many variables that can be improved in Anal. 111 (1993), 473-488; 5. with M. Mathematical Sciences, 1984-1986 the case mathematics as a whole can Cotlar, Abstract, vveiglzted and multidi (Chair, 1986); Science Policy Commit make for better scientific and funding mensional AAK theorems and the sin tee, 1989-1991; Program Committee for opportunities. Besides working for the gular numbers of Sarason commutants, National Meetings, 1993-. general health of mathematics I would Integral Equations Operator Theory 17 Selected Addresses: Redman Lectures, continue to search for ways to improve (1993), 169-201. McMaster University, January 1993; our subjects' contacts, both scientific Statement: Our profession is facing a Opening Address, ENOC Conference, and educational, with other sciences and double crisis with the shortage of jobs August 1993; Plenary Lecture, Lanc engineering. and the shortage of federal funds for zos Symposium, November 1993; Orga individual research. The Society has a nizer, National Academy Symposium on Cora Sadosky duty to face these matters in the in Locomotion, April 1994; Plenary Lec ProfessOl~ Howard University. terest of ALL its membership. At the ture, International Congress on Applied Born: May 23, 1940, Buenos Aires, same time, it must recognize the right to Mathematics, Hamburg. July 1995. Argentina. mathematics of women and other under Additional Information: Norbert Ph.D.: University of Chicago, 1965. represented groups. As president of the
SEPTEMBER 1994, VOLUME 41, NUMBER 7 755 ...... --...... _...... _._ ...... _..... _...... _...... _...... ______...... _._ ...... -...... -...... - ...... _. Biographies of Candidates
AWM, and having been at Howard Uni toral Fellowship, 1984-1987; ffiM Post 1993-; Editor, Concerns ofYoung Math versity for fourteen years, I am highly doctoral and Junior Faculty Research ematicians, YMN's electronic newslet aware of the urgent need to pass from Fellowship, 1988-1989; Sloan Fellow ter, July 1993, vol. 1, nos. 1-4; Post declarations to results. Federal funding ship, 1990-1992; MSRI Research Pro doctoral Fellow, Institut Mittag-Leffler, shapes research policies in mathematics, fessorship, 1992-1993. fall1993; AWM Panelist, "Are Women which affects all of us, whether we are Selected Publications: 1. M ordell-Wei! Getting All the Jobs?", Joint Mathemat individually funded by NSF or not. Cuts groups of generic abelian varieties, In ics Meetings, Cincinnati, January 1994; in budgets can warp entire research ar vent. Math. 81 (1985), 71-106. MR Member: AMS, AWM, MAA. eas. It is important that the AMS reflects 87b:11046; 2. Cohomology offiber sys Selected Publications: 1. with J. Du the interest of the whole community in tems and M ordell-Wei/ groups ofabelian fiot and N. Kuhn, A classification of preserving research not only at the top varieties, Duke Math. J. 56 (1988), 41- polynomial algebras as modules over institutions, but everywhere it is demon 46. MR 89c: 11098; 3. Canonical models the Steenrod algebra, Comment. Math. strably excellent. For achieving this, and adelic representations, American Helv. 68 (1993), 622-632; 2. The action the involvement of all the mathemat J. Math. 114 (1992), 1221-1241. MR of Milnor Bocksteins on Tv M, to ap ical community-including its young 94a:14023; 4. Fields of definition for pear; 3. with N. Kuhn, On torsion in the people-is crucial. A persistent problem homommphisms of abelian varieties, J. cohomology of certain mapping spaces, in the AMS has been the alienation of al Pure Appl. Algebra 77 (1992), 253-262. to appear. most all its members from planning and MR 93f:14022; 5. with Y. G. Zarhin, Statement: Many junior mathemati running the Society's activities. During Isogenies of abelian varieties, J. Pure cians currently find themselves in situa the last twenty years some of the power Appl. Algebra 90 (1993), 23-37. tions which do not provide the necessary was wrested from the insiders, and more Statement: The Council should be resources to develop into productive re openness was achieved. Currently, con guided by the AMS's stated mission searchers, or even effective teachers. At trol is slipping away into a few powerful of furthering mathematical research and the same time, growing pressure to re committees selected without the partici scholarship. I see this as a time of duce public spending will mean that the pation of the membership. In defending great opportunity and challenge for the mathematical community will at best members' role in the Society, the Coun mathematical community. This is a per not see any increases in public money cil may be a key point: it is elected by fect time for us to raise the quality of for research. I believe that the math the vote of the whole membership, and mathematical communication (includ ematical community's response should it has authority over many (not all!) of ing communication with our colleagues, be threefold. First, we should review the Society's organs. I am dedicated to our students, and the public), make bet our funding wish lists and consider how keeping the lines of power open. ter use of new technologies (in our we can best nurture mathematical re journals, libraries, departments, offices, search in the face of current crises. I Alice Silverberg homes, etc.), view more broadly the job believe that more funding must be found Associate Professor of Mathematics, possibilities for people with mathemat to encourage the development of ju Ohio State University. ics degrees, and increase fairness and nior mathematicians-the future of our Born: October 6, 1958, New York, openness in our profession. In these and community. This means not only fund New York. many other ways we can further the best ing for more postdoctoral fellowships, Ph.D.: Princeton University, 1984. mathematics. but also increasing funds for confer AMS Committees: Centennial Fellow ences, summer workshops, and travel. ships Committee, 1993- (Chair, 1994- Mark W. Winstead Second, we should learn how to better 1995). Visiting Lecturer, University of Califor present our case for continued invest Selected Addresses: Conference on nia, San Diego (1994 ). ment in the mathematical sciences. For Arithmetic of Complex Manifolds, Uni Born: April24, 1964, Minden, Louisiana. example, think of the impact a public re versitiit Erlangen-Ntirnberg, Germany, Ph.D.: University of Virginia, 1993. lations blitz centered on the applications May 1988; Plenary Address, Australian Selected Addresses: Special Session of the mathematics involved in proving Mathematical Society 33rd Annual Meet on Homotopy Theory, Bethlehem, April Fermat's Last Theorem could have had ing, Macquarie University, Sydney, Aus 1992; Cech Centennial Homotopy Con in 1993. Finally, we need to be honest tralia, July 1989; Special Session on ference, Boston, June 1993; Matem with prospective mathematicians about Arithmetical Algebraic Geometry, San atikdagar Hostterminen 1993 (a series of the present job situation as well as our Francisco, January 1991; Conference on talks by mathematicians to mathemati individual predictions of the future. Number Theory and Arithmetical Al cally talented Swedish high school stu gebraic Geometry, Institute for Exper dents), Institut Mittag-Leffler, Novem Trustee imental Mathematics of the University ber 1993; InstitutMittag-Leffler, Septem of Essen, Germany, March 1991; MAA ber 1993. Frank C. Hoppensteadt Ohio Section Spring Meeting, Invited Additional Information: A founder of Professor and Dean, College of Natural Address, April1994. the Young Mathematicians' Network Science, Michigan State University Additional Information: NSF Postdoc- (YMN); YMN Editorial Board, July Born: April29, 1938, OakPark, lllinois
756 NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY Biographies of Candidates
Ph.D.: University of Wisconsin, Jan and some applications, to appear. and Robotics, IMS. Philadelphia, 1991; uary 1965 Statement: The AMS should continue Invited Paper Session on Research and AMS Committees: Organizing Com to make the mathematical sciences ac Applications in Advanced Technology, mittee, AMS-SIAM Summer Seminar cessible to all components of our society International Statistical Institute, Flo on Nonlinear Oscillations in Biology, and to enhance its services to mathemat rence, 1993. 1978 (Chair); AMS-SIAM Joint Com ical scientists. It should be a leader in ad Additional Information: Trustee, Con mittee on Applied Mathematics, 1978- dressing basic existential questions that sortium for Scientific Computing (John 1980 (Chair); AMS-SIAM Joint Com challenge the mathematical sciences to von Neumann Center), 1986-1991 (Sec mittee on Mathematics in the Life Sci day, and it should continue to forge new retary of the Corporation, 1989-1991); ences, 1979-1982; Organizing Commit working relationships with other pro Member: AAAS. ASA, IMS, MAA, tee, AMS-SIAM Summer Seminar on fessional societies including the AAAS, SIAM. Mathematical Aspects of Physiology, ACS, APS, IEEE, MAA, NCTM, SIAM Selected Publications: 1. Image mod 1980 (Chair); Task Force on AMS Con and the Canadian and Mexican societies. els in pattern theory, Computer Graph ferences, 1994 (Chair). It must enhance external fund raising for ics Image Processing 12 (1980), 309- Selected Addresses: Principal Lecturer, its important activities (meetings, recog 325. Republished in Image Modeling, CBMS Regional Conference, University nition of accomplishments, conferences, (A. Rosenfeld, ed.), Academic Press, of West Florida, 1975; CIME Lecturer, and publications) from governments, in New York-London (1981). 259-275. Cortona, Italy, 1980; Special Session on dustries, and private sources. The AMS MR 83c:68003; 2. with S. Geman, Sta Mathematical Biology, Monterey, 1982; should continue its work in such a way tistical methods for tomographic im DMV Seminar Lecturer, Bayreuth, Ger that it represents the mathematical inter age reconstruction, Bull. Inst. InternaL many, 1984; Akad. Nauk Neurocomput ests of all its constituents, and it should Statist. 52 (1987). MR 90g:62005d; 3. ers and Attention Workshop, Moscow, continue to be a primary source for an Reports on the Surveys of New Doc 1989; Universitat Heidelberg Workshop swers to questions about the mathemat torates, Annual AMS-MAA Surveys, on Reaction-Diffusion Systems in Biol ical sciences. I would like to contribute First Reports: Notices Amer. Math. Soc. ogy, 1992. to this important work and to the agenda November 1990, 1217-1222; Novem Additional Information: Senior Visit for the AMS as a member of its Board ber 1991, 1086-1094; November 1992, ing Fellow, Mathematical Institute, Ox of Trustees. 1026-1033; November 1993, 1164-1171; ford University, 1974; Editor: SIAM 4. with D. Geman and S. Geman, A Journal on Applied Mathematics, 1975- Donald E. McClure nonlinear filter for film restoration and 1984, Journal on Mathematical Biol Professor ofApplied Mathematics, Brown other problems in image processing, ogy, 1983- ; Managing Editor, Cam University; Associate Directm~ Center CVGIP: Graphical Models and Image bridge Studies in Mathematical Biology, for Intelligent Control Systems, Brown Processing 54 (1992), 281-289; 5. with Cambridge University Press, 1977- ; Harvard-MIT S. Geman and K. Manbeck. A com Christensen Fellow, St. Catherine's Col Born: October 22, 1944, Portland, Ore prehensive statistical model for single lege, Oxford University, 1994; Listed in gon photon emission computed tomography, Who's Who in America. Ph.D.: Brown University, 1970 in Markov Random Fields: Theory and Selected Publications: 1. An Introduc AMS Committees: Data Subcommit Application (R. Chellappa and A. Jain, tion to the Mathematics of Neurons, tee of the Committee on Employment eds.), Academic Press (Harcourt Brace Cambridge Studies in Mathematical and Educational Policy, 1985-1989; Jovanovich), 1993. 93-130. Biology, Cambridge University Press, AMS-SIAM Committee on Applied Statement: The primary responsibility Cambridge-New York, 1986. MR 88g: Mathematics, 1986-1988; AMS-MAA of the Trustees is to exercise sound 92016; 2. Intermittent chaos, self Data Committee, 1990-1992 (Chair, judgment in management of fiscal af organization and learning from syn 1990-1992) and AMS-IMS-MAA Data fairs and issues that potentially have a chronous synaptic activity in model Committee, 1993 (Chair); AMS Em far-reaching impact on the financial con neuron networks, Proc. Nat. Acad. ployment Task Force, 1992; Committee dition of the Society. I shall approach the Sci. U.S.A. 86 (1989), 2991-2995. on Resource Needs for Excellence in responsibilities of the position with the MR 90m:92021; 3. with Charles S. Mathematics Instruction, 1993- ; Com objective of maximizing the ability of Peskin, Mathematics in Medicine and mittee on the Profession, 1994- . the Society to fulfill its primary mission the Life Sciences, Texts in Applied Selected Addresses: Special Session in support of mathematical scholarship Mathematics, vol. 10, Springer-Verlag, on Radon Transforms and Computed To and research, as reflected in policies New York, 1992. MR 92K:92001; mography, New Orleans, January 1986; adopted by the Council and the Policy 4. Analysis and Simulation of Chaotic Symposium on Medical Imaging, An Committees. I believe that achieving this Systems, Applied Mathematical Sci nual Meeting of the AAAS, Chicago, objective requires prudence and a long ences, vol. 94, Springer-Verlag, New 1987; Mathematical Methods in To range view towards financial planning. York, 1993. MR 94a:34003; 5. with H. mography, Oberwolfach, 1990; Invited There are uncertainties in the financial Salehi and A. V. Skorokhod, Randomly Paper Session on Statistical Methods future of the Society linked to its ma perturbed Volterra integral equations in Image Processing, Remote Sensing, jor role in mathematics publications and
------SEPTEMBER 1994, VOLUME 41, NUMBER 7 757 ...... _------_ .. Biographies of Candidates
to the evolution of modes of scholarly 1992; Representative, AAAS Commit ership. If elected, I intend to help with communication. The Trustees will re tee on Education, 1988-1991; SIAM all these aspects. main cognizant of these uncertainties. I Committee on Committees and Appoint shall remain active, as I have been, in ments' 1988-;W. M. KeckAward, 1989; Ingrid Daubechies efforts of the Society concerned with the CUPM Subcommittee on the Major in Membel~ Technical Staff, AT&T Bell status of professions in the mathemati the Mathematical Sciences, 1989-1990; Laboratories (untilDecember31 ,1994); cal sciences, even though these personal CUPM Subcommittee on the Calcu Professol~, Princeton University (after interests are not part of the main job lus Reform and the First Two Years, January 1,1995). of Trustee. In particular, I shall work 1989-1991; Advisory Committee to the Born: August 17, 1954, Houthalen, Bel to improve and broaden employment NSF Division ofMathematical Sciences, gium. opportunities for mathematicians, to in 1990-1993 (Chair, 1990-1992); SIAM Ph.D.: Free University, Brussels, 1980. crease the awareness among mathemati Visiting Lecturer, 1992- ; Co-director, AMS Committees: Short Course Sub cians of areas in technology and science Mathematicians and Education Reform committee, 1993- ; Committee on Com where mathematics is needed, to in Network, 1993- ; Chair-elect, Mathe mittees, 1993- . crease awareness in kindred disciplines matics Section of the AAAS, 1994- ; Selected Addresses: Invited Address, of the important role of mathematics, MAA Program of Consultants, 1994- ; MAA, Baltimore, 1992; Invited Ad to encourage and enable participation in Member: AAAS, AMS, AWM, MAA, dress, AMS, Bethlehem, April 1992; mathematics by young people truly re SIAM, American Academy of Mechan Organizer and Speaker, AMS Short flective ofthe spectrum ofour society, to ics, American Physical Society, Society Course on Wavelets and Applications, improve the public regard and support of for Natural Philosophy. San Antonio, January 1993; Interna higher education, and to foster support Selected Publications: 1. with M. S. tional Congress of Mathematicians, Zu for research in mathematics. Santos, On the structure of the equilib rich, 1994. rium price set of overlapping-genera Additional Information: MacArthur Nominating Committee tions economies, J. Math. Econom. 18 Fellow, 1992-1997; Member, American (1989), 209-230. MR 90k:90032; 2. Academy of Arts and Sciences, 1993. with T. B. Benjamin and D. K. Bose, Jerry L. Bona Selected Publications: 1. An uncer Solitary-wave solutions of nonlinear Raymond Shibley Professor and ChaiJ~, tainty principleforfermions with gener problerns, Phil. Trans. Royal Soc. Lon Mathematics Department, Pennsylvania alized kinetic energy operator, Comm. don A 331 (1990), 195-244. MR 91h: State University. Math. Phys. 90 (1983), 511-520. MR 35309; 3. with B. Boczar-Karakiewicz Born: February 5, 1945, Little Rock, 85j:81008; 2. with J. Klauder, Quantum and B. Pelchat, Interaction of internal Arkansas. mechanical path integrals with Wiener waves l1dth the sea bed on continen Ph.D.: Harvard University, 1972. measures for all polynomial Hamilto AMS Committees: Committee on tal shelves, Continental Shelf Res. 11 nians. II., J. Math. Phys. 26 (1985), Steele Prizes, 1985-1987; AMS-MAA (1991), 1181-1197; 4. with F. Abergel, 2239-2256. MR 86m:81063; 3. Or Ad Hoc Advisory Committee on a A mathernatical theory for viscous, free thonormal bases ofcompactly supported Newsletter on Collegiate Mathematics sillface flows over a perturbed plane, wavelets, Comm. Pure Appl. Math. 41 Education~ 1988; Chair, Liaison Com Arch. Rational Mech. Anal. 118 (1992), (1988), 909-996. MR 90m:42039; 4. mittee with the AAAS, 1990-1992; 71-93. MR 92k:35213; 5. with J.-C. Chair, Ad Hoc Committee on Appli Saut, Dispersive blow-up of solutions Tin1e-frequency localization operators: cations of Mathematics, 1989-1992; ofgeneralized Korteweg-de V;·ies equa A geometric phase space approach, Committee on Education, 1993- ; Chair, tions, J. Diff. Equations 103 (1993), IEEE Trans. Inform. Theory 34 (1988), Subcommittee on Graduate and Postdoc 3-57. 605-612; 5. Ten lectures on wavelets, toral Education, 1994-; University Lec Statement: In addition to pursuing its CBMS-NSF Regional Conference Se ture Series Editorial Committee, 1994- . primary goal of fostering and dissem ries in Applied Mathematics, Society Selected Addresses: International Con inating research in mathematics, the for Industrial and Applied Mathematics gress of Mathematicians, Helsinki, American Mathematical Society should (SIAM), Philadelphia, PA, 1992. MR 1978; Invited Speaker, American Phys take a leadership role in a number of 93e:42045. ical Society Annual Meeting, Notre other activities. These include mathe Statement: In this time of crisis in Dame, 1979; Invited Speaker, SIAM matics education, the organization of the job market as well as in funding Annual Meeting, San Diego, 1989; In further training of our recent Ph.D.s, for mathematicians, I believe that the vited Addresses, Minneapolis, Novem and closer collaboration with other pro AMS should continue to emphasize the ber 1984, and San Francisco, January fessional organizations, especially those importance of good mathematical re 1995. representing the mathematical sciences. search, whether basic or linked with Additional Information: Committee The Nominating Committee is espe applications. The AMS should also play on the Undergraduate Program in Math cially well placed to ensure the devel a role in showing to the outside world ematics (CUPM), 1987-1991; SIAM opment of these prospects, as well as that mathematics is not only important Committee of Managing Editors, 1987- abetting the move to diversify our lead- but also fun and exciting.
758 NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY ...... ·!11_%:__...... ·....·· .... Biographies of Candidates
William James Lewis and education; (2) providing leadership Stephen D. Smith Professor and Chai1~, Department of for mathematics faculties in our col Professor, University of Illinois at Mathenzatics and Statistics, University leges and universities as mathematics Chicago. ofNebraska-Lincoln. departments are challenged to accept a Born: June 11, 1948, Houston, Texas. Born: February 11, 1945, Tallahassee, broader mission of research, education, Ph.D.: Oxford University, 1973. Florida. and outreach; and (3) supporting higher Selected Addresses: Hour Address, Ph.D.: Louisiana State University, 1971. quality mathematics education for U.S. South Bend, March 1991; Co-organizer AMS Committees: Committee on Sci students at all levels from kindergarten (with Mark Ronan), Special Session ence Policy, 1992- ; Committee on through college, with special attention on Groups and Geometries, Chicago, Resource Needs for Excellence to providing opportunities for women March 1985; Co-organizer (with Jon in Mathematics Instruction, 1993- ; and minority students. Alperin), Special Session on Simplicial AMS-MAA Committee on Teaching Complexes Associated to Finite Groups Assistants and Part-time Instructors, Rogers J. Newman and Their Representations, South Bend, 1994- . Professor, Southern Unh'ersity, Baton March 1991; Co-organizer (with Michael Selected Addresses: Invited Speaker, Rouge. Aschbacher), Special Session on Simple National Meeting of AAAS, Chicago, Born: December 22, 1926, Ramar, Al Group Classification: Second Genera 1992; Invited Speaker, AAUP National abama. tion Proof and Applications, San Fran Meeting, Washington, D.C., 1992; Math Ph.D.: University of Michigan, 1961. cisco, January 1995. ematicians and Education Reform Net AMS Committees: AMS-AAAS Additional Information: Rhodes work Workshop, Berkeley, 1993; Spe MAA Committee on Opportunities Scholar, 1970-1973; Bateman Instruc cial Session on Mathematicians and in Mathematics for Disadvantaged tor, California Institute of Technology, Education Reform, Cincinnati, January Groups, 1987; AMS-AAAS-MAA 1973-1975; Presented talks at 15 AMS 1994. Committee on Opportunities in Math special sessions, 1973-1994; NSF Pan Additional Information: Principal In ematics for Underrepresented Minori els: SCREMS, 1987, Calculus Reform, vestigator, Nebraska Statewide Sys ties, 1988-1989; Liaison Committee 1990, and NSF Postdocs, 1993; Kenna temic Initiative; Member: AMS, MAA, on Education in Mathematics, 1989- . Lecturer, University of Notre Dame, NCTM. Selected Addresses: First Invited Ad 1988; Chair, ICM Travel Awards Panel, Selected Publications: 1. The spec dress, National Association of Math 1990, 1994; Member: AWM, London trum of a ring as a partially ordered ematicians, 1972; Special Session on Mathematical Society. set, J. Algebra 25 (1973), 419-434. MR Meetings of Mathematicians, Cincin Selected Publications: 1. The classifi 47 #3361; 2. with J. Ohm, The ordering nati, January 1994. cation of finite groups with large ex of Spec R, Canad. J. Math. 28 (1976), 820-835. MR 53 #13183; 3. Invited Additional Information: President traspecial 2-s11bgrollps, The Santa Cruz critique, NRC Report on "Educating Emeritus, National Association of Conference on Finite Groups (Univ. Cal Mathematical Scientists: Doctoral Study Mathematicians; Reviewer, Mathen1ati ifornia, Santa Cruz, California, 1979), and the Postdoctoral Experience in the cal Rel'iel1Js, 1966-1970; Member, Proc. Sympos. Pure Math., vol. 37, United States", Notices Amer. Math. MAA Board of Governors, 1986-1989. Amer. Math. Soc., Providence, RI, 1980, Soc. 39 (1992), 396-397; 4. Teach Statement: The AMS Council plays a pp. 111-120. MR 82c:20034; 2. with ing Mathematics in a State University, crucial role in mathematics research and Mark A. Ronan, 2-local geonzetries for Handbook of College Teaching: The education in this country and abroad. some sporadic groups, The Santa Cruz ory and Applications, Greenwood Pub As a member of the council, I would Conference on Finite Groups (Univ. Cal lishing Group, Inc., Chicago, IL, 1994. assist the AMS in continuing its research ifornia, Santa Cruz, California, 1979), Statement: The primary purpose ofthe focus. I would also be a strong voice Proc. Sympos. Pure Math., vol. 37, Society is to support mathematical re for opening wider the doors of opportu Amer. Math. Soc., Providence, RI, 1980, search. Traditionally, the Society has nity for the participation of underrepre pp. 283-289. MR 82c:20033; 3. Ir supported research through its support sented groups, especially minorities and reducible modules and parabolic sub for publications, meetings, and confer women. groups, J. Algebra 75 (1982), 286 ences; and these activities should con In this regard, I believe that the 289. MR 83g:20043; 4. with M.A. Ro tinue to receive a substantial share ofthe AMS can use its influence and resources nan, Sheaves Oil buildings and modu Society's time, energy, and resources. to (1) encourage individuals in these lar representations ofChevalley groups, This support can best be provided if groups to get involved in AMS ac J. Algebra 96 (1986), 319-346. MR we can assure the overall health of the tivities, including research, and to (2) 87h:20087; 5. with M. G. Aschbacher, mathematical enterprise. This broader suggest strongly to funding agencies, On QuilleJr's conjecturefor the p-groups responsibility obligates substantial at both public and private, to give more cOl1zplex, Ann. of Math. 137 (1993), tention to three areas: (1) influencing consideration to the needs of individuals 473-529. federal science policy, especially the fi and subgroups as they strive for greater Statement: I would try to nominate nancial support of mathematics research participation. candidates of sound judgement.
SEPTEMBER 1994, VOLUME 41, NUMBER 7 759 ...... ______,. __ ,____ .,.,.. _, ______,______,___ .. ______,_,_ .. ______.. ______,. __ ...... Biographies of Candidates
Susan G. Williams schools. This segment of the member 95 (1985), 153-172. MR 87h:16016; 5. Associate Professor of Mathematics. ship is seriously underrepresented in Some remarks on quantization, Progress University of South Alabama. AMS leadership. As a member of the in Mathematics, vol. 99, Birkhauser Born: May 26, 1953, Orange, New Jer Nominating Committee I would work Boston, Boston, MA, 1991, pp. 37--47. sey. to remedy this imbalance. I would also MR 93a:58070. Ph.D.: Yale University, 1981. seek nominees who reflect the diversity Statement: The Editorial Boards Com Offices: Member-at-Large of the Coun of the Society in other respects such mittee (EBC) is charged with monitoring cil, 1993-. as age, race, gender, and geographical the work of the editorial committees of AMS Committees: Committee on Sci distribution. Recruiting from a wider the Society's journals and with nomi ence Policy, 1993- . range of schools will make this easier to nating people to serve on those com Selected Addresses: Special Session achieve. mittees. By Council action, the EBC is on Texas Topology and Geometry, Den The most healthy and productive de required to increase the representation ton, November 1990; Conference on bate comes from a diversity of perspec of women on the editorial committees. Symbolic Dynamics and its Applica tives. Most mathematicians are willing I strongly support this stand and believe tions, New Haven, August 1991; Col to respond to the needs of other members the same must be done for minority loque Arithmetique et Dynamique Sym of the mathematical community when representation. I also strongly believe bolique, Marseille, September 1991; these needs are clearly represented to that members of the editorial commit Special Session on Ergodic Theory and them. The most difficult arguments are tees must be knowledgeable, thorough, Dynamical Systems, Tuscaloosa, March often among members with substantially dependable, and willing to work hard. 1992. the same backgrounds and interests but Finally, I firmly believe that we can Additional Information: Organizer, conflicting opinions; sometimes a fresh obtain broader representation on the ed Southeast Dynamical Systems Confer viewpoint helps to bring a resolution. itorial committees without sacrificing ence, Mobile, February 1990; Program quality or standards in any way. Committee, Mathematical Sciences Re Editorial Boards Committee search Institute Special Half-Year Pro Rhonda]. Hughes gram in Symbolic Dynamics, fall1992; Robert]. Blattner ProfessOI~ Bryn Mawr College. Member: Alabama Mathematics Infras Professor Emeritus ofMathematics, Uni Born: September 28, 1947, Chicago, tructure Committee, AMS, AWM. versity of California, Los Angeles. Illinois. Selected Publications: 1. Toeplitz min Born: August6, 1931,Milwaukee, Wis Ph.D.: University of Illinois at Chicago, imal flows which are not uniquely er consin. 1975. godic, Z. Wahrsch. Verw. Gebiete 67 Ph.D.: University of Chicago, 1957. Offices: Member-at-Large of the Coun (1984), 95-107. MR 86k:54062; 2. with AMS Committees: Notices Editorial cil, 1988-1990. B. Marcus and K. Petersen, Transmis Committee, 1987-1990. AMS Committees: Committee on Com sion rates and factors ofMarkov chains, Selected Addresses: Invited Address, mittees, 1989-1990; Science Policy Com Conference in Modern Analysis and Corvallis, June 1971; AMS Summer Re mittee, 1991-1993; Committee on Aca Probability (New Haven, Connecticut, search Institute on Harmonic Analysis demic Freedom, Tenure, and Employ 1982), Contemp. Math., vol. 26, Amer. on Homogeneous Spaces, 1972; Spe ment Security, 1993-. Math. Soc., Providence, RI, 1984, pp. cial Session on Differential Geometry Selected Addresses: Special Session 279-293. MR 85j:28020; 3. Covers of and Mathematical Physics, San Diego, on Functional Analysis, Bryn Mawr, non-almost finite type sofic systems, November 1984; Special Session on 1982; Special Session on Partial Dif Proc. Amer. Math. Soc. 104 (1988), Hopf Algebras, San Francisco, January ferential Equations, Louisville, 1984; 245-252. MR 90c:28028; 4. Lattice in 1991. SigmaXiNationalLecturer, 1993-1994. variants for sofic shifts, Ergodic Theory Additional Information: Member, Additional Information: National Re Dynamical Systems 11 (1991), 787-802. AAAS, 1986-. search Council Doctoral and Postdoc MR 92k:58076; 5. with P. Trow, Core Selected Publications: 1. Induced and toral Mathematics Study Committee, dimension group constraints for factors produced representations of Lie alge 1990-1991; Sears-Roebuck Foundation of sofic shifts, Ergodic Theory Dynam bras, Trans. Amer. Math. Soc. 144 Award for Teaching Excellence and ical Systems 13 (1993), 213-224. MR (1969), 457--474. MR 46 #7338a; 2. Campus Leadership, 1991; Co-director, 94c:58061. The metalinear geometry of non-real Bryn Mawr-Spelman Summer Mathe Statement: A substantial proportion of polarizations, Lecture Notes in Mathe matics Program. AMS members are faculty at small col matics, vol. 570, Springer, Berlin, 1977, Selected Publications: 1. with I. Segal, leges and universities that have few pp. 11--45. MR 56 #9583; 3. with J. Singular perturbations in the interac resources to support research. This pro H. Rawnsley, Quantization of the action tion representation, J. Func. Anal. 38 portion is growing as the bleak job mar of U(k, l) on lR 2(k+ll, J. Funct. Anal. (1980), 71-98. MR 81m:47065; 2. A ket causes more talented young math 50 (1983), 188-214. MR 85c:58044; 4. partial integration formula for product ematicians with a strong dedication to with S. Montgomery, A duality theorem integrals of unbounded operator-valued research to take jobs at less prestigious for Hopf module algebras, J. Algebra functions, Proc. Amer. Math. Soc. 96
760 NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY ...... llRIJII.. llllllllllllllllllllllllllllllll--lillillillllillillllillilllliiiMil!IIBIMiilll···-···-··················-·····················-·········-·················-··-··················-·····-···-·············· Biographies of Candidates
(1986), 455--461. MR 88g:47084; 3. on Number Theory, Houston, January potential candidates for editorial posi with S. Kantorovitz, Spectral represen 1967; International Congress of Math tions. Although recommendations from tations for unbounded operators with ematicians, Nice, 1970; Invited Ad well-functioning editorial boards will real spectrum, Math. Ann. 282 (1988), dress, MAA Annual Meeting, Las Ve frequently be passed on to the AMS 535-544. MR 90a:47009; 4. with M. gas, 1972; Invited Address, Missoula, Council, the Committee is not meant to Kon, Norm group convergence for sin August 1973; Special Session on the be a rubber stamp; and I believe this is gular Sclzrodinger operators, Ann. Inst. History of Contemporary Mathematics, proper. H. Poincare Phys. Theor. 54 (1991), San Francisco, 1981. 179-198. MR 92m:35057; 5. with P. Additional Information: Editorial Chernoff, A new class of point interac Committees: Journal ofNumber TheOI)', Herbert S. Wilf tions in one dimension, J. Func. Anal. 1977- ; Illinois Journal of Mathemat Professor, University of Pennsylvania. 111 (1993), 97-117. MR 94a:47080. ics, 1978-1984; American Academy of Born: June 13, 1931. Statement: The publication program of Arts and Sciences, 1983; William Low Ph.D.: Columbia University, 1958. the AMS provides the Society with its ell Putnam Problem Committee, 1984- AMS Committees: Committee on Ap most effective means of communicating 1987 (Chair, 1987); Editorial Commit plied Mathematics, 1965-1966 and and disseminating mathematics to the tee, Pacific Journal of Mathematics, AMS-SIAM Committee on Applied community worldwide. It is important 1985-1994; Board of Trustees, MSRI, Mathematics. 1967-1968 (Chair, 1968); that editorial boards of AMS journals 1990-1994; Chair, Department of Math Invitations Committee. Symposium on reflect the standards of excellence to ematics, University of California, San Mathematical Aspects of Computer Sci which the AMS is committed, and at the Diego, 1990-1994. ence, April 1966; Committee for a same time provide broad representation Selected Publications: 1. A complete Symposium on Mathematical Aspects ofthe mathematics community. I believe determination of the complex quadratic of Electrical Network Analysis, April it is the responsibility of the Editorial fields of class-number one, Michigan 1969. Boards Committee to widely solicit sug Math.J.14(1967), 1-27.MR36#5102; Selected Addresses: Invited Address, gestions and to nominate candidates for 2. An Introduction to Number The01y, Hanover, August 1972; MIT Conference editorial boards to the Council with both Markam Publishing Co., Chicago, IL, on Computers and Mathematics, MIT, these criteria in mind. 1970. MR 40 #7186 (reprinted by MIT June 1989; SIAM International Con Press, Cambridge, MA-London, 1978); ference on Optimization and Combina 3. Some effective cases of the Brauer torics, University of British Columbia, Harold M. Stark Siegel theorem, Invent. Math. 23 (1974), Vancouver, Canada, June 1992; 25th ProfessOI~ Department of Mathematics, 135-152. MR 49 #7218; 4. £-functions Southeastern Conference on Combi University of California, San Diego. at s = 1. (IV), First derivatives at s = 0, natorics, Algorithms and Probability. Born: August 6, 1939, Los Angeles, Adv. in Math. 35 (1980), 197-235. MR Boca Raton, FL, March 1994; Inter California. 81f:10054; 5. Galois themy, algebraic national Conference on Random Se Ph.D.: University of California at Berke number the my and :::eta functions, From lection of Combinatorial Objects, Bor ley, 1964. Number Theory to Physics, Springer deaux, France, January 1994. Offices: N aminating Committee, 1984- Verlag, Berlin, 1992, pp. 313-393. Selected Publications: 1. Generating 1985 (Chair, 1985); Member-at-Large of Statement: A 1986 review of the Nom fimctionology, Academic Press, Boston, the Council, 1988-1991. inating Committee recommended that MA, 1990. MR 91g:05008; 2. with AMS Committees: Program Commit the Committee take a much more ac D. Zeilberger, Towards computeri:::ed tee, 1976-1977 and Program Commit tive role in the nominating of people proofs of combinatorial identities, Bull. tee for National Meetings, 1978; Com for editorial boards. Because of the feel Amer. Math. Soc. 23 (1990), 77-83. mittee on Summer Institutes, 1976- ing that this would cause too heavy MR 91a:33003; 3. with A.M. Odlyzko, 1978 (Chair, 1978); Bulletin Editorial a load for the committee, the Edito Functional iteration and the Josephus Committee (Associate Editor, Research rial Boards Committee was split off problem, Glasgow Math. J. 33 (1991), Announcements), 1982-1987; Search from the Nominating Committee in the 235-240. MR 92g:05006; 4. with D. Committee for the Position of Secre election of 1988. Certainly the Edito Zeilberger, An algorithmic proof tlze tary, 1986; Chair, Committee to Select rial Boards Committee should consult Ol)' for hypergeometric (ordinary and the Winner of the Cole Prize for 1991 the various editorial boards for sugges "q") multisum!integral identities, In and 1992. tions, but the EBC should also consult vent. Math. 108 (1992), 575-633. MR Selected Addresses: Special Session widely elsewhere and actively seek out 93k:33010.
SEPTEMBER 1994, VOLUME 41, NUMBER 7 761 Proposed Amendment to the Bylaws of the American Mathematical Society
---·----·------The Council recommends the amendment to the Bylaws the general administration of the affairs of the Society in below. It is intended to replace language concerning the accordance with the policies that are set by the Board of Executive Director so as to conform to current practices. Trustees and by the Council. In the statement of the amendment, deleted words are Section 2. The Executive Director shall be appointed by tiitea ea~; and insertions are in bold face. the Board of Trustees with the consent of the Council. The The ballot on the amendment is on the same sheet as that terms and conditions of employment shall be fixed by the for officers and Council members. Board of Trustees and the performance of the Executive Director shall be reviewed regularly by the Board of Trustees. Section 3. The Executive Director shall ~ tHttlef 4;he iHHBeaiate ait=eeaea ei a be responsible to and shall consult Article VI regularly with a liaison committee consisting of the president as chair, the secretary, &B6 the treasurer, and the presiding Executive Director officer of the Board of Trustees ef wftieft 4;he )"fesiaeftt sftaH Section 1. There shall be an Executive Director who shall 9e ekainH9ft ~ effieie. be a paid employee of the Society. The Executive Director Section 4. The Executive Director shall attend meetings shall have charge of the eeHtTal offices of the Society, except of the Board of Trustees, the Council, and the Executive for the office of the secretary, and shall be responsible for Committee, but shall not be a member of any of these bodies.
Analysis of and on Uniformly Rectifiable Sets Guy David and Stephen Semmes Volume38
This book is about understanding uniform rectifiability of a given set in terms of the approximate behavior of the set at most locations and scales. In addition to being the only general reference available on uniform rectifiability, this book also poses many open problems. some of which are quite basic.
1991 Mathematics Subject Classification: 28; 42, 30, 49 ISBN 0-8218-1537-7, 356 pages (hardcover), December 1993 Individual member $67, List price $111, Institutional member $89 To order. please specify SURV38/NA
All prices subject to change. Free shipment by surface: for air delivery. please add $6.50 per title. Prepayment required. Order from: American Mathematical Society. P.O. Box 5904, Boston MA 02206-5904, or call toll free 800-321-4AMS (321-4267) in the U.S. and Canada to charge with VISA or MasterCard. Residents of Canada, please include 7% GST.
762 NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY ICM-94 in Zurich
Bourgain, Lions, Yoccoz, and Zelmanov Receive Fields Medals and Wigderson Receives Nevanlinna Prize
Rumors piled up like so many feet of Alpine snow, but few The medalists were mostly honored for a body of work could be really sure who would get Fields Medals until the rather than a single result, though Zelmanov is perhaps names were announced at the International Congress of Math an exception in this regard. His major contribution was ematicians (ICM) in ZUrich last month. Sitting unobtrusively the solution of the Restricted Burnside Problem. There are in the front row of the hall where the opening ceremonies actually three Burnside problems, the first two of which were were held, waiting patiently through all the honorific speeches posed by Burnside in 1902 and were solved by Novikov and and musical interludes, were the four medalists-Jean Bour Adian. These problems ask whether every finitely generated gain, Pierre-Louis Lions, Jean-Christophe Yoccoz, and Efim torsion group is finite or is of bounded exponent (the exponent Zelmanov-and the Nevanlinna Prize winner Avi Wigderson. of a group is the smallest n such that .r" = 1 for all .r in the The awardees were a composed group: the only detectable group). The Restricted Burnside Problem. which dates back fidgeting was on the part of Wigderson's young daughter, to the 1930s, asks whether there is a bound on the order who had a ringside seat on her father's lap throughout the of a group with a finite number of generators and a given proceedings. exponent. Zelmanov settled this question in the affirmative. ICM-94, held August 3-11, drew about 2.500 participants, A major technical tool in the solution is earlier joint work somewhat fewer than the last couple of Congresses, perhaps of Zelmanov and McCrimmon on quadratic Jordan algebras. due to the worldwide recession and Switzerland's prices, Zelmanov, born in 1955, is at the University of Wisconsin at which tend toward Matterhorn proportions. Congressgoers Madison. were treated not to the bracing air that one tends to associate with a country boasting some of the most spectacular moun tains in the world, but rather to a European heat wave that sent temperatures into the ninety degree range on several days of the Congress. The Eidegenossische Technische Hochschule (ETH) and the University of ZUrich, whose adjacent buildings served as the site for most of the Congress sessions, have no air conditioning to speak of, and some of the lecture rooms sweltered. But the outdoor cafes and the sparkle of Lake ZUrich, not to mention the mathematics, provided some distraction from the heat.
The Awardees' Work This year's crop of Fields Medalists represents two or three very classical areas of mathematical research. It includes two French analysts (Lions and Yoccoz) and a Belgian analyst (Bourgain) who has worked in France; Zelmanov, a Russian, works in algebra. With more geometric work Pictured left to right are: Fields Medalist Jean Bourgain. Nevanlinna Prize dominating the three previous rounds of Fields Medals given winner Avi Wigderson. Fields Medalist Jean-Christophe Yoccoz. Fields Medalist in Warsaw, Berkeley, and Kyoto, some speculated that this Pierre-Louis Lions. and Fields Medalist Efim Zelmanov. year's emphasis on analysis was an attempt to balance the different branches of mathematics. In addition. the choice Pierre-Louis Lions received the Fields Medal for contri of Lions as a Fields Medalist turns the spotlight on applied butions over the last fifteen years to several areas of partial mathematics, an area that many say has been neglected at differential equations. Lions' work is important because vari previous Congresses. ations of methods he has developed have applications to broad
SEPTEMBER 1994, VOLUME 41, NUMBER 7 763 ...... ______,. ______...... , ______.. ______.,,. ____ ,. ______,. _____ ...... ICM-94
classes of equations. The so-called "viscosity method" has, possible ratio of faulty to nonfaulty agents. He has also made due in large part to the work of Lions, grown into an elegant contributions to the theory of pseudorandom generators.* and comprehensive theory useful for many equations arising from different applications. Lions has also made important Computers and Ethics in Mathematics contributions to the understanding of the Boltzmann and Onstage throughout the opening ceremonies were Jacques other transport equations arising in kinetic theory and other Louis Lions of the College de France, president of the Inter areas of physics. Prior to Lions's work, no general theory national Mathematical Union (IMU) (and father of Medalist existed for understanding these equations. He also developed Lions); David Mumford of Harvard University, IMU vice the concept of "concentration compactness" for variational president (and recently named president for the coming four problems. Lions was born in 1956 and is at Universite de years); and Henri Carnal of the University of Berne, chair Paris-Dauphine. of the ICM Organizing Committee and president of the Jean-Christophe Yoccoz is one of the leading theorists in Congress. Beno Eckmann, founder of the Mathematical Re dynamical systems. The field originated in Poincare's study of search Institute at the ETH and former IMU secretary, was the movement of the planets in the solar system. The attraction named honorary president of the ICM; and, after presenting of the planets to each other causes them to deviate from the a speech, he joined the others onstage and later presented the elliptical orbits predicted by Kepler's laws, raising the question Fields Medals to the recipients. The proceedings took place in of whether or not the solar system is stable. In this generality, English, although most of the speakers greeted the audience in the question is still open today, although about fifty years ago French and German. Eckmann threw in an Italian introduction Carl-Ludwig Siegel formulated a criterion for stability. One of as well, but conceded that he did not speak Switzerland's Yoccoz's major achievements was to establish precise limits fourth language, Romansh. on when such stability theorems hold. He did this through Eckmann, like some of the other speakers, pointed to a combination of ideas from analysis and geometry and the computer as having a major influence on mathematical by using techniques reminiscent of renormalization methods research. "But," he said, "we should not forget that the most from mathematical physics. He also developed combinatorial important tool of a mathematician is the fellow mathematician. methods, called "Yoccoz puzzles", for the study of fractal sets And that is why we are all here today-to exchange ideas, arising in complex dynamics. Yoccoz was born in 1957 and is views, and results, and to listen to each other." Reformulating at the Universite de Paris-Sud (Orsay). the aphorism, "whether mathematicians like it or not, the com Jean Bourgain, born in 1954, has held positions at the puter is here to stay," he declared that "whether the computer Institut des Hautes Etudes Scientifiques in BOres-sur-Yvette likes it or not, mathematicians are here to stay." "Mathematics and at the University of lllinois at Urbana-Champaign; he is and remains an abstract intellectual enterprise, despite the will move this year to the Institute for Advanced Study in fact that the natural sciences and technology bear witness Princeton. Bourgain received the Fields Medal for outstand to its practical usefulness." He issued a stern warning about ing contributions to several areas of analysis, including the the danger of "worldwide trends trying to completely replace geometry of Banach spaces, convexity in high dimensions, rigorous reasoning and proof by computer visualization and harmonic analysis, ergodic theory, and nonlinear evolution experimentation." equations. For example, he proved well-posedness for the By popular acclaim, the speech of Ruth Dreifuss, a nonlinear Schrodinger equation and the Korteweg-de Vries Swiss federal minister whose portfolio includes science and equation with singular boundary conditions. Bourgain has education, was the hit of the opening ceremonies. To prepare tackled analytical problems using ideas from outside analysis for her speech, Dreifuss sent three questions to more than in unexpected ways; his work on nonlinear partial differential a dozen of the world's leading mathematicians, including Eckmann, Raoul Batt, Rene Thorn, Armand Borel, Phillip equations combined concepts from harmonic analysis and Griffiths, Jiirgen Moser, Friedrich Hirzebruch, Gerd Faltings, number theory. Bourgain has also made important contribu and Sir Michael Atiyah. Her first question concerned the tions to Fourier analysis, where he used ideas from geometry difficulty of communicating mathematical results to the public. in his work. "In contrast to a harpist who delights others by her music, I Avi Wigderson, the Nevanlinna Prize winner, was born fear the pure mathematician cannot make his art accessible to in 1956 and is at the Hebrew University in Jerusalem. a wider public," Dreifuss said. "How can pure mathematics Working on the mathematical foundations of computer sci justify its art to the state which finances it?'' The second ence, he achieved important insights into the concept of question was, Has mathematics avoided discussion of the zero-knowledge interactive proofs. Using this technique, a ethical implications of what it does? The third struck a lighter "prover" can convince a "verifier", within certain probabilis tone: If ten new professorships were to be created in Swiss tic bounds, of the truth of a statement without revealing any universities, how many should go to mathematics? of the details of the proof of the statement. Interactive proofs Perhaps the most interesting answers came in response to find application in distributed systems, where the problem the second question. Although Thorn wrote that "mathematics arises of how to insure that a network is able to perform its task even when some of the computing agents in the network *An upcoming issue of the Notices will carry a longer article about the work are faulty. Wigderson's work established the exact maximal of the Fields Medalists and the Nevanlinna Prize winner.
764 NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY ICM-94 itself is ethically neutral" and Eckmann that such discussions sessions had finished was a special lecture by Olga Ladyzhen are ''not relevant" to mathematics, Dreifuss seemed uncon skaya of the St. Petersburg Branch of the Steklov Institute of vinced. "I do not think that making a distinction between the Russian Academy of Sciences. The lecture was sponsored abstract theory and practical application can altogether elim by the Association for Women in Mathematics, European inate the problem," she said. "We owe much of our progress Women in Mathematics, and the Committee on Women of in society to mathematicians, and we have to recognize their the Canadian Mathematical Society. This was an unusual merits, while at the same time they have to assume their opportunity to hear the seventy-two-year-old Ladyzhenskaya, responsibilities.'' She seemed to be closest in spirit to Batt, who since the 1950s has been a leader in the theory of partial who responded that "the age of innocence has come to an end differential equations, discuss some of her recent work. The for us all." lecture was centered on two principles which have oriented In response to her third question, most replied, rather her work in this area: first, that uniqueness implies existence, modestly, that only four or five of the ten new professorships and second, that the solvability of a problem follows from should go to mathematicians. "In fact," said Dreifuss. "in boundedness of all possible solutions of the problem (or a Switzerland today only one chair out of twenty is for family of problems connected with it). The quality of her mathematics." A few other respondents were more ambitious. lecture led some to wonder afterward why she had never been Griffiths said that they should all go to mathematics. Faltings invited to give an ICM plenary lecture. Following the lecture was similarly generous in his response, Dreifuss noted: ''Nine was a panel discussion about women in mathematics. chairs for mathematics, but, as he likes music, he leaves the Throughout the Congress, everyone was wondering what tenth chair to the harpist." Andrew Wiles of Princeton University would say in his talk, which was scheduled to be the very last plenary lecture. Wiles, Making History who has been working for the past year to fill a gap in his proof ICM-94 made history in the number of women plenary of Fermat's Last Theorem, has made a tremendous advance speakers. The number was not large, but there were as many at toward proving the Taniyama-Shimura Conjecture, prompting this Congress as in all previous ICMs together, namely, two: some to speculate before the Congress that he might receive Marina Ratner of Stanford University and the University of a Fields Medal. The large room used for plenary lectures California at Berkeley, and Ingrid Daubechies of AT&T Bell was jammed for Wiles's lecture, and a few people had to sit Laboratories and Princeton University. Mter Ratner boycotted in the aisle. There were no earth-shattering announcements ICM-86 because of the lack of women speakers, and after her about Fermat, just an excellent expository presentation of his work was described in lectures by other people at ICM-90, results. At the end of his lecture, Wiles remarked that eight her appearance as a plenary speaker held special significance. years ago, he had been thinking of working on something She described her ground-breaking work that solved some else, an extension of his work on the Iwasawa Conjecture. "I conjectures of Raghunathan and of Margulis, who received thought that problem would not be too taxing, but I thought it a Fields Medal in 1978, and the applications of this work to lacked enough interest, and I should try something new and ergodic theory and to number theory. more challenging," he remarked. "Six years later I found that Plenary speaker Clifford H. Taubes of Harvard University I had reduced the Taniyama-Shimura Conjecture to precisely presented an accessible lecture about "anti-self dual geom the problem I thought had insufficient interest." Whether or etry". Under this heading he discussed three topics in the not he was correct in his assessment of the difficulty of that geometry of four-dimensional smooth manifolds: the theory problem, only time will tell. of conformal structures with anti-self-dual Weyl tensor, the theory of anti-self-dual Yang-Mills connections, and sym Next ICM in Berlin plectic geometry. Of these, the first is a young subject, and The Closing Ceremonies were held immediately following Taubes described some significant theorems he has proved in Wiles's lecture. There it was announced that, at its meeting it. According to Taubes, the second subject is a mature one, prior to ICM-94, the IMU General Assembly voted its approval due to the work of Donaldson and others that was reported of Berlin as the site for ICM-98. It was also announced that on at previous ICMs. Symplectic geometry is not yet part of Friedrich Hirzebruch, director of the Max-Planck Institute for (anti-)self-dual geometry, but, because a symplectic form on Mathematics in Bonn, will chair the Organizing Committee a four-manifold is self-dual, Taubes speculated that it would for ICM-98. It is unusual to have back-to-back ICMs in sites one day be incorporated. Throughout his lecture, given at the so close geographically and linguistically. But for Berlin, beginning of the Congress, Taubes made references to lectures which lost out on hosting the Olympics, having an ICM was that others would later deliver in the geometry and topology perhaps the next best thing. sessions. Drawing a crowd despite its being held after the regular Allyn Jackson
SEPTEMBER 1994, VOLUME 41. NUMBER 7 765 The Tyranny of the Mean: Gender and Expectations Marcia C. Linn Graduate School of Education University of California, Berkeley
·------·-----·------·----..·-·-·------·------tendency explains what is often called the "gambler's fallacy". For example, in roulette games where red and black are equally An earlier version of this paper was given as the commencement ad dress to the Berkeley Statistics Department. May 21, 1993. The author likely, gamblers often argue, "The last of three spins have would like to thank Cathy Kessel, Terry Speed. and Alan Schoenfeld been red, the next one is sure to be black." Here gamblers for helpful comments on these issues. Thanks also to Dawn David confuse expectations for the next individual spin of the wheel son and Anna Chang for preparation of the manuscript. This material with expectations for the population distribution of spins. The is based upon research supported by the National Science Founda tyranny of the mean constrains expectations about individuals. tion under grants MDR-8954753 and RED-9155744. Any opinions, The tyranny of the mean, confusing population expecta findings, and conclusions or recommendations expressed in this pub tions with competence expectations, has serious consequences lication are those of the author and do not necessarily reflect the views of the National Science Foundation. for females in the field of mathematics. Women make up 45 percent of the U.S. work force but account for only 21 percent Edward provided exemplary care; he nurtured his patients, of employed scientists and engineers and only 11 percent of listened to their concerns, and helped them prepare for employed mathematicians [11]. Women make up less than 5 conversations with Susan. Susan performed meticulous bypass percent of tenured faculty at the top math departments [8]. surgery. Her success rate was the best in the hospital, yet Reasoners basing expectations on these population statistics Mark was in greater demand. Edward said he understood; would not expect women to be mathematicians. most people expect surgeons to be men-and, for that matter, In the next sections I analyze the impact of the tyranny nurses to be women. of the mean on choosing a mathematics-related major, on People act on their expectations. They draw in relevant, participation in classroom d~scussion, on interpreting math circumstantial, and even inaccurate evidence to form their ematics grades and scores, and on composing letters of expectations. Patients who choose Mark instead of Susan may recommendation. base their decision on expectations about female surgeons. People who choose Susan over Mark may base their decision Choosing a Mathematics-related Major on expectations about the role of past performance. As Edward When I chose to major in a mathematics-related field (statis remarked, the health consequences of going with expectations tics) at Stanford, many advised against this decision, arguing about gender rather than expectations about past performance that few women went into statistics. Those who advised me could be substantial. based their argument on population data, not on my potential. Yet, many people rely on expectations based on group Of course, they meant well, often pointing out that I would membership rather than expectations based on past perfor need to compete with men who would have more time to mance, especially when one group is far more common than work since they would not be raising families (at that time the other. The argument goes something like this: Since more few men participated in child rearing). Yet, the tyranny of the men are surgeons, male surgeons must be better than female mean empowered people to apply population expectations to surgeons. I refer to this phenomenon as the tyranny of the an individual. mean. All members of the group with a larger membership As we know, things turned out differently. Many men are expected to be more competent than all members of the went against these population statistics and found satisfaction group with a smaller membership. in child rearing and family activities. Many of my male col In most fields, if anything, the reverse is true: on average, leagues told me they were empowered by female professionals the group with fewer members is more competent, since, to be to take time to chaperone school field trips or volunteer at accepted into the field, its members were often more carefully nursery school. And more and more women found success in scrutinized. careers in mathematics and statistics. Even in situations where groups are equally distributed, For example, a recent New Yorker cartoon showed a boy reasoners confuse group expectations with expectations for and girl playing "hospital". The boy, following the stereotype, individuals, succumbing to the tyranny of the mean. This says, "I will be the doctor and ...", at which point he is
766 NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY The Tyranny of the Mean: Gender and Expectations interrupted by the girl, who says, "And I will be the Secretary Scores and Grades of Health and Human Services." Interpreting statistical population data elicits reliance on the But expectations for males and females choosing math tyranny of the mean. Consider grades in precollege and ematics and statistics remain narrower than they should be. college courses in mathematics and science and multiple And nontraditional participants are generally more scrutinized choice test data such as SAT scores. Men score better than their traditional colleagues. than women on mathematics college entrance examinations, while women earn higher grades in mathematics and science Participating in Classroom Discussions courses [5]. Based on the tyranny of the mean, we would When they are asked to defend their ideas in seminars and expect mathematics faculty to defend test scores and to dismiss colloquia, women are often caught between the expectation grades, since scores are consistent with population statistics that females are supposed to be "conciliatory and pleasing to on participation. others" and the expectation that scientists are supposed to be In spite of the consistency with population expectations, ''aggressive and even antagonistic" to their peers [12]. the gap between male and female scores on the SAT is In interactions between instructors and students. males closing [6]. Why? This narrowing of the gap accompanies get more attention and are asked more difficult questions some changes in school requirements and some refinements than females [10]. Ruth Bader Ginsburg, in her Senate of testing practices. confirmation hearing for the Supreme Court, described a Explaining why females earn consistently higher grades less subtle approach from her law school experience: on than males in all subjects, including mathematics, requires ''women's days" women and men were asked questions; more analysis. Data on male and female mathematics grades otherwise women remained silent. This has changed recently appear in Table 1. This result goes against population data on [2, 7]. participation. As such, it surprises many faculty. Some faculty,
Table I : Grades in College Mathematics Courses
% Course Number Female 1.5 2.0 2.5 3.0 3.5
Calculus (several universities) 1 561 29
3.38"s Honors Calculus2 173 26
Courses beyond Calculus3 503 23
Calculus3 4,647 35
Pre-Calculus3 3,530 41
Regular Math3 900 60
Remedial Math3 2.391 48
Algebra and Trigonometry~ 358 39
~ Average Grade - Females College Algebra~ 336 52 • Average Grade - Males
(ns) Difference tested and found not significant ( *) Difference tested and found significant (1) Hughes. 1988. p. 126: at Harvard University, University of Ohio. Tufts University. Temple University. Villanova University (2) Frazier-Kouassi eta!.. 1992. p. 71: at University of Michigan (3) Wainer & Steinberg. 1991. p. 4: data from many universities (4) Struik & Flexer. 1984. p. 338
SEPTEMBER 1994, VOLUME 41, NUMBER 7 767 ...... ______,,_,_, ___ ,,_,______,_,_...... The Tyranny of the Mean: Gender and Expectations
confronted with evidence that they award higher grades to always turned in her homework on time and wrote neatly. females, go so far as to disparage their own grading practices, Wendy says Mike makes quick decisions and rarely reflects. arguing that students who memorize and tum in homework This worked for the SAT, where he scored higher, and it was a on time can succeed. good idea for homework-he always finished first. Evidently Most faculty, however, view the grades they award as it did not work for the doors. good indicators of future success. They describe course If we assume, based on population expectations, that males requirements as appropriate professional activities. They are better at mathematics, we might conclude that Wendy is believe that success in their courses requires sustained, just conscientious while Mike is "smart". Although Wendy cumulative problem solving, deep understanding, and creative was more successful at winning quiz show prizes, Mike won mathematical thinking about novel problems. the big prize, the job at Prestigious University, perhaps based Indeed, faculty often define their grading practices and on expectations that mathematicians should be males, perhaps criticize multiple-choice college entrance examination scores. not. What is the moral of this story? Play TV games, not These tests fail to tap sustained problem solving or creativity. career games, if you want to beat the tyranny of the mean. Although algebra and geometry are sufficient to answer all the questions in the mathematics section of the SAT, skill in rapid estimation, informed guessing among response choices, College Admissions and judicious allocation of energy in answering about thirty Overcoming the tyranny of the mean has also challenged questions in thirty minutes are also essential for a high score. admissions officers at colleges. More women than men Research shows that on average, males need to score 24 to would be admitted to colleges and awarded scholarships if 40 points higher than females on the SAT to end up with the grades were emphasized. The reverse is usually true, because same grade in college mathematics courses [9]. college entrance examination scores are emphasized. This is particularly problematic at institutions that emphasize science A Parable about Grades and Scores and mathematics, fields where males predominate in the work To illustrate how the tyranny of the mean might influence force. interpretation of male and female performance in mathematics, At MIT a few years ago, the Admissions Department consider a parable based on the quiz show "Let's Make a found that they were admitting more males but that females Deal" and the Monty Hall doors problem. On this show, were earning higher grades. So they changed the way they do contestants try to guess which of three doors, when opened, admissions, relaxing the requirement that students score 750 will reveal a prize. First, the contestant selects a door. Next, or higher on the SAT-M [4]. This resulted in an increase in the host, Monty Hall, tells the contestant that the prize is NOT female students and a narrowing of the gap between male and behind one of the unselected doors. He opens the door and female grades. shows that no prize is there. Then, the contestant has a choice: Many commented, "What happened to standards?" But STAY with the selected door or SWITCH to the remaining an unanticipated consequence of the greater balance between unopened door. male and female students at MIT was a general increase in the To make this clearer, we compare two contestants, Macho overall talent in the class. Mike and Wishy Washy Wendy. For example, one trial features Interpreting data about scores and grades for males and a blue, a red, and a green door. Macho Mike picks red because females requires serious attention to the tyranny of the it is his favorite color: reminds him of blood. Wishy Washy mean. Test score data supports expectations about success Wendy also picks red, maybe because it was on the left, who in mathematics based on group membership. Mathematics knows? grades data supports expectations based on past performance. Here is where the twist comes in. Mter the choice is made, the contestants learn something about the doors they did not pick. Monty Hall tells them that the prize is not behind the Letters of Recommendation blue door. They then have the opportunity to stay with their Subtle effects of the tyranny of the mean can also influence first choice or switch to the remaining unopened door. another source of information used in selection decisions for As you would expect, Macho Mike stays with blood red, males and females: letters of recommendation. It seems that while Wishy Washy Wendy switches to green. She says that both males and females, when writing letters about women, Hall seems to be telling her something. The contest continues are more likely to mention information about personal life, with doors of many different colors, but Mike always picks a such as, "She was a great mentor to our undergraduate color and stays with it while Wendy always switches. In the students, helping Sally choose a career in statistics," or "She end, Wendy wins far more prize money that Mike. Is this due went out of her way to establish a career day for high school to female intuition or a smart strategy? students," or "She was our best student while also caring It turns out that Wendy has a smart strategy. For a for her aging father" [1]. I think this generally reflects a discussion of the problem, see Gillman [3]. willingness on the part of some students and often women Following the tyranny of the mean, Macho Mike dispar to volunteer information about their personal lives. I have ages Wishy Washy Wendy's success, complaining that this is here exemplified this tendency by describing my experience the same way she earned higher grades in mathematics. She in choosing a statistics major.
768 NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY ···· · ··· · · ···················-···-··-······-···········-· ····················-··········l~~~ • ·• · ]liliiiiBIIr········-··-······-····· ····-··-··-·-···-···--·········-·-··-········-··-··- ···············-·-·-·······-···-··-·····-··-·-··-·-···-········-·······--·-·-···-········-··-······-···· The Tyranny of the Mean: Gender and Expectations
However, perhaps based on population expectations, References letters of recommendation for women that include 1. Association for Women in Science, Not getting the award. grant information about personal lives are often discounted by or job? Check those references! AWlS Magazine 21 (1992), 7-12. readers. Why? Readers argue that the letter writer is certainly a 2. K. Connor and E. Vargyas, The legal implications of gender bias in standardi::ed testing, Berkeley Women's Law Joumal7 (1992). friend of the student they are recommending. Otherwise, how 3. L. Gillman, The car and the goats. American Mathematics Monthly would the writer know that the student is taking care of an 99 (1992), 3-7. aging relative? As a result the writer is unlikely to be 4. E. S. Johnson, College women's pelformance in math-science "objective". So the letter is probably more laudatory than it curriculum: A case study, College and University 68 ( 1993). 74-78. should be. 5. M. C. Linn, Gender differences in educational achie\'ement. Sex Equity in Educational Opportunity, Achievement, and Testing (Proceed ings of 1991 Educational Testing Service Invitational Conference) J. Pfleiderer. ed.) Educational Testing Service, Princeton. NJ. 1992. pp. Conclusions 11-50. Expectations have considerable power. The gambler's fallacy 6. M. C. Linn and J. S. Hyde. Gender. mathematics. and science. has enriched casinos and impoverished individuals. Basing Educational Researcher 18 (1989), 17-19.22-27. expectations on group membership rather than on past per 7. L. Schwartz and S. Homer, Stumbling blocks and stepping stones: Newcomers' guide to perilous terrain in law school, Vermont Law Re formance has narrowed the opportunities for both males and view 15 (1990), 165-195. females. As Edward remarked, the implications for both 8. P. Selvin, Profile of a field: Mathematics-Hemism is still tlze personal and societal well-being deserve scrutiny. norm, Science J. Benditt, AAAS (1992), 1382-1383. Fortunately this is changing. Expectations that both males 9. H. Wainer and L. S. Steinburg, Sex differences in pe7formance on and females will have more balance in their lives between the mathematics section of the Scholastic Aptitude Test: A bidirectional career and family are growing. The expectation that everyone mlidity study, Educational Testing Service, Princeton, NJ, 1991. needs a career is now widely established. The realization I 0. Wellesley College Center for Research on Women. How schools shortchange girls, American Association of University Women Educa that diversity in our society is a benefit is more and more tional Foundation. Washington, DC. 1992. widespread. And the belief that talented individuals are a 11. P. E. White, Women and minorities in science and engineering: scarce and valuable resource and must be nurtured and An update, National Science Foundation. Washington. DC. 1992. rewarded independent of their group membership is gaining 12. S. Widnall, Voices from the pipeline, Science 241 (1988). 1740- acceptance. 1745.
GRADUATE STUDIES IN MATHEMATICS The Integrals of Lebesgue, Denjoy, Perron, and Henstock Russell A Gordon
This book provides an elementary. self-contained presentation of the integration processes developed by Lebesgue, Denjoy, Perron, and Henstock. One of the book's unique features is that the Denjoy. Perron. and Henstock integrals are each developed fully and carefully from their corresponding definitions. The last part of the book is devoted to integration processes which satisfy a theorem analogous to the Fundamental Theorem, in which F is approximately differentiable. This part of the book is preceded by a detailed study of the approximate derivative and ends with some open questions. This book contains over 230 exercises (with solutions) that illustrate and expand the material in the text. It would be an excellent textbook for first year graduate students who have background in real analysis. 1991 Mathematics Subject Classification: 26. 28 ISBN 0-8218-3805-9. 395 pages (hardcover). August 1994 Individual member $35. List price $59. Institutional member $47. To order, please specify GSM/4NA
to change. Free shipment by surface: for air delivery, please add $6.50 per title. Prepayment required. Order from: tthematicalSociety, P.O. Box 5904, Boston, MA 02206-5904, or call toll free 800-321·4AMS (321-4267) in the U.S. and with VISA or MasterCard. Residents of Canada, please include 7% GST.
SEPTEMBER 1994, VOLUME 41, NUMBER 7 769 Forum
"First and foremost, this is a matrix -oriented course, which deals with Rn and not with abstract vector spaces. The Forum section publishes short articles on issues that are of interest to the mathematical community. Articles should be between 1,000 and Those difficult concepts of subspace, span, and linear 2,500 words long. Readers are invited to submit articles for possible independence appear for n-tuples, not for elements" of inclusion in Forum to: an abstract vector space. Notices Forum Editor In his justification for such a syllabus, he adds: American Mathematical Society " ... consultants from client disciplines told us that ab P.O. Box 6248 stract first courses in linear algebra has 'turned them off' Providence, R1 02940 as students." or electronically to [email protected]. ams. org Many mathematicians believe, as I do, that the essence of linear algebra is the study of linear maps and its representation This is Linear Algebra? by means of matrices, not matrices themselves. Assigning Seymour Lipschutz linear maps to be a supplementary topic almost seems (to me) to be a contradiction in terms. My views on this trend Temple University in teaching linear algebra are similar to the views expressed This note is a response to the articles by Carlson, by Steven Krantz (January 1994 Notices) on the teaching of et al., "The Linear Algebra Curriculum Study Group geometry in high school. Specifically, while discussing an Recommendations for a First Course in Linear Algebra", article in the October 1993 issue of Scientific American, he and Carlson, 'Teaching Linear Algebra: Must the Fog wrote: Always Roll In?", which appear in the January 1993 "As the Scientific American article reported, high school issue of the College Mathematics Journal, and to the note teachers in Berkeley are now minimizing proofs in Euclidean by Steven G. Krantz, "The Immortality of Proof", which geometry.... Well-meaning though these changes may be ... , appears in the Forum section in the January 1994 Notices they fly in the face of fundamental mathematical values. The oftheAMS. article itself claims that students no longer appreciate the The suggested syllabus by the Linear Algebra Cur value of proofs. So we have to find another way to teach them. riculum Study Group (LACS G) consists of the following "Students do not appreciate the value of reading unless six topics: they are taught. They do not appreciate the value of good music unless they are taught. ... And students will not appreciate the Matrix operations value and importance of mathematical thinking unless they Systems of linear equations are taught. It is our job to teach them, not to bend like reeds Determinants in the breeze." Properties of Rn Let us be clear about one thing, learning procedures Eigenvalues and eigenvectors is not necessarily knowing mathematics. Many people in Orthogonality. the social sciences use SPSS (Statistical Package for Social The following supplementary topics are mentioned: Scientists) in their research. This does not mean they know a) Computational experience statistics. Similarly, knowing how to row reduce a matrix, b) Additional topics, including abstract vector spaces, with or without a computer, does not mean knowing any linear linear transformations, positive definite matrices, and algebra. diagonalization of symmetric matrices The purpose of this article is not to offer an alternative c) Applications, such as Markov chains, input-output syllabus or to discuss the merits of such a syllabus. This I do models, Leslie matrices, difference equations, differential in an article I have submitted elsewhere. The purpose of this equations, and linear programming article is to discuss the role that the AMS might play in this Discussing this syllabus, David Carlson (p. 31) ~tates: conflict.
770 NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY ...... illliiiiiOOIIiii&IIOO;II!IIIOOillll-lliilll!lllillOOi lliiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiiPII- .... -...... Forum
My feeling (which may be incorrect) is that most members edge, especially in calculus and linear algebra, is through of the AMS agree with my views on the teaching of linear "applications". Also, some mathematics teachers believe that algebra, but that many members of the MAA do not. Although they have to ')ustify" the teaching of mathematics, and they the AMS is basically a research organization and the MAA is think they do this by showing its "applications" in other mainly responsible for mathematical education, the teaching fields. There is no reason in the world to spend time in a of an important mathematical course like linear algebra should course in linear algebra listed by the LACSG: Markov chains, not be left to people, although well-meaning, who may not (in input-output models, Leslie matrices, difference equations, my opinion) know what they are doing. I believe that leaders linear programming. These topics require, at the minimum, of the AMS should somehow speak out, one way or another, additional terminology which, in itself, will require a great on this subject. We all now recognize that the teaching of the deal of time to learn. "new math" in our high schools was a total disaster. We do Summarizing, about thirty years ago the mathematical not want that to happen here. community generally agreed that colleges should offer courses Today (unfortunately?) a great deal of time, energy, money, in linear algebra rather than matrix theory. The current trend and funding has been spent on the use of computers and the seems to reverse this important step. I do not believe there is emphasis of procedures in linear algebra. In other words, there a consensus in the mathematical community at large on these already is a great deal of vested interest in the teaching of new trends. Also, I do not know if there is any mechanism the ''new linear algebra". Many of the most popular texts do for the AMS to make itself felt in this area. Perhaps the not treat linear maps as germane to the subject. In fact, in AMS, either alone or with the MAA, should form a Special order to conform with most current texts, my new (second) Committee (SC) on the teaching of linear algebra. (This edition of my widely read Schaum Outline on Linear Algebra question should not be left to self-appointed committees like treats linear maps after determinants and eigenvectors and the LACSG.) At the least, the SC should present to the eigenvalues, that is, near the end of the text. Changing the mathematical community a minimum list of objectives for trend in the teaching of linear algebra may not be a simple any course in linear algebra. This list of objectives could be task, and it will require, at the least, that established leaders in stated, say, by means of a sample test or list of questions the mathematical community make their opinions known. which we expect our students to be able to answer after There is a secondary issue I would like to raise in this arti completing such a course. One can then have a basis to test cle. There seems to be a "virus" spreading in the mathematical whether the new trends, with or without computers, do meet community that says that the way to mathematical knowl- these minimum objectives.
The Emergence of the American Mathematical Research Community, 1876-1900: J. J. Sylvester, Felix Klein, and E. H. Moore Karen Hunger Parshall and David E. Rowe This volume traces the transformation of the United States from a mathematical backwater to a major presence during the quatter-century from 1876 to 1900. It presents a detailed study of the major figures involved in this transformation and the principal institutions with which they were associated. This is the first work ever written on the history of American mathematics during this period and one of the few books that examines the historical development of American mathematics from a wide perspective. By placing the development of American mathematics within the context of broader external factors affecting historical events, the authors show how the character of American research was decisively affected by the surrounding scientific. educational, and social contexts of the period. Aimed at a general mathematical audience and at historians of science. this book contains an abundance of unpublished archival material, numerous rare photographs. and an extensive bibliography.
1991 Mathematics Subject Classification: 01 ISBN 0-8218-9004-2, 500 pages (hardcover), August 1994 Individual member $60, List price $100. Institutional member $80, To order, olease specify HMATH/SNA
All prices subject to change. Free shipment by surface: for air delivery. please add $6.50 per title. Prepayment required. Order from: American Mathematical Society. P.O. Box 5904, Boston, MA 02206-5904. or call toll free 800-321-4AMS (321-4267) in the U.S. and Canada to charge with VISA or MasterCard. Residents of Canada, please include 7% GST.
SEPTEMBER 1994, VOLUME 41, NUMBER 7 771 Computers and Mathematics
Edited by Keith Devlin
This month's column this in AMS-Jb.T:EX, so the running heads were actually done George Gratzer leads off this month's column with the fourth in his in a printing shop and "pasted" to the pages. series of articles on 1E;X. Then, reminding us that you can do some In this article, I would like to introduce you to a software pretty sophisticated mathematics on a pocket calculator. Eugene package, fancyheadings, by Piet van Oostrum which provides Lehman describes a method for solving quartic equations in the all the facilities you would likely need to design your own palm of your hand. headers and footers. Three software reviews complete the column. Edward Spitz nagel looks at the group theory packageGAP; Eric Schweitzer reports on jspell, a 'lEX-compatible spell checker for DOS sys tems; and Maurino Bautista reviews HiQ 2.02, described as an Off on a Tangent integrated software environment for solving real world problems About twenty-five years ago, I gave a lecture at the University in engineering, mathematics, and the applied sciences. of Montreal in which I claimed, partly in jest, that everything Editor's address: has already been discovered in mathematics, we just don't know it. I illustrated my thesis with two examples; two Professor Keith Devlin well-known problems in my field have been solved in two School of Science completely unrelated fields-and nobody knew this, in my Saint Mary's College of California field or the others. P.O. Box 3517 The situation seems to be similar in 'lEX and Jb.T:EX. Maybe Moraga, California 94575 not all the problems have been solved, but certainly very many Correspondence by electronic mail is preferred, to: tools are available, but not readily accessible. Most all noncommercial tools are available in the Compre [email protected]. hensive 1}3X Archive Network (CTAN) sites (see Section 4). For instance, the macro package fancyheadings is in the con trib subdirectory of the directory macros/latex. There are 21 megabytes of macros in contrib, which is only one of many directories containing macros. For instance, the mul tilingual macro package (babel) is in the language/babel Advances in lEX· subdirectory. IV. Header and footer control in Jb.TEX David M. Jones compiled in 1992 a catalogue of macros [4] which can be found at the CTAN sites as /tex George Gratzer* archive/help/tex-styles-and-macros. txt. This cat alogue contains a brief description of the macros. And there is now a hacker's guide to the Ib.T:EX universe, namely, the Jb.T:EX Companion [1] by Michel Goossens, Frank Mittelbach, and Alexander Samarin. This book describes over 150 macro Introduction packages. By the nature of this book, some of these de When I submitted my AMS-Jb.T:EX book [3] to the publisher, scriptions are more detailed and some are less detailed. And naturally it was all typeset except for the front pages. 150 is a small number; by my count the contrib directory However, the visual designer for the volume decided that the alone contains more than 450 macro packages-some well running head should be ALL UPPERCASE IN 9 POINT BOLD documented and some not documented at all. HELVETICA with a decorative line underneath. I could not do So there would appear to be a real need for a guide informing us what is available with detailed instructions for *George Gratzer is in the Department of Mathematics at the Univer sity of Manitoba, Winnipeg. Canada MB R3T 2N2. His e-mail address is: the use of these packages. Please regard this article as a tiny [email protected]. contribution to this project.
772 NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY ·······················-·· -~-·····-····-·····-·······-··········-·········-·····-······-···-·······-··-···············-··-····-····· ... ·····-·····························-···--······-·-··-······-··-·········-·········· Computers and Mathematics
In Part III of this article [2], we discussed how L\JBX 2c If you cannot find the file fancyheadings. sty, issue unifies IbTpc and AMS-IbTpc. By the time you read this the command article-one hopes-L\JEX 2c will have been released along ftp> quote site indexfancyheadings.sty with Version 1.2 of AMS-IbTpc (which is UJEX 2c with the and you will be given a list of directories where the file is amsart document class from the American Mathematical available. Society). The macro package we discuss in this article works with L\'lfX2c, and in particular with AMS-IbTpc. Use of fancyheadings To use this package in a L\JBX 2c document, place the file fancyheadings. sty in a directory/folder where 1EX can What is fancyheadings? find it (normally in the input directory/folder), and include in The fancyheadings macro package by Piet van Oostrum the preamble of your document after allows you to customize in IbT]jX your page headers and \documentclass{ ... } footers in an easy way. You can define: the commands • three-part headers and footers \usepackage{fancyheadings} • decorative lines in headers and footers \pagestyle{fancy} • headers and footers wider than the width of the text We can visualize the page layout we can create with • multiline headers and footers fancyheadings as follows: • separate headers and footers for even and odd pages • different headers and footers for chapter pages LeftHeader CenteredHeader RightHeader Of course, you also have complete control over fonts, uppercase, and lowercase displays, etc. page body LeftFooter CenteredFooter RightFooter Where to Get It LeftFooter are left justified; the You only need the file fancyheadings. sty, which you can The LeftHeader and are centered; the Right find at the CTAN sites ftp. shsu. edu (U.S.), ftp. tex. ac. CenteredHeader and CenteredFooter uk (U.K.), and ftp. dante. de (Germany). Header and RightFooter are right justified. Here is how you get it with "anonymous ftp": We define each of the six "fields" and the two decorative ccu%ftp ftp.shsu.edu lines separately. Connected to PIP.SHSU.EDU. 220 pip.shsu.edu FTP server (Version 2 .1aWU(1) A Simple Example Fri Aug 20 14:31:05 CDT 1993) ready. K. Grant is writing a report to Dean A. Smith, on "The Name (ftp. shsu. edu: gratzer) : anonymous performance of new graduates" with the following page 331 Guest login ok, send your complete e-mail layout: address as password. The performance of new graduates Password: 230 Guest login ok, access restrictions apply. page body ftp> cd/tex-archivelmacros/latex/contrib/fancyheadings ftp> get fancyheadings.sty From: K. Grant To: Dean A. Smith 3 (Of course, you should type your e-mail address as password this will not be visible on your screen.) This will get you the where "3" is the page number. The title "The performance of file fancyheadings. sty, which you can then download to new graduates" is bold. your personal computer. This is accomplished by the following commands You may also want to get the file fancyheadings. doc, \pagestyle{fancy}: the documentation file, on which this article is in part based. \lhead{} The CTAN sites are undergoing some reorganization. \chead{} When L\'lfX 2c becomes the official IbTpc, the directory \rhead{\bfseries The performance of new latex will be renamed latex209, and the directory latex2e graduates} will be renamed latex. \lfoot{From: K. Grant} The new latex directory will have (at least) three subdi \cfoot{To: Dean A. Smith} rectories: base containing UJEX2c; contrib/supported \rfoot{\thepage} containing the IbTpc macros rewritten to work with L\JBX 2c \setlength{\headrulewidth}{0.4pt} and which satisfy some basic guidelines in terms of presen \setlength{\footrulewidth}{0.4pt} tation, documentation, and support (moderated by Joachim (The \ thepage macro displays the current page number. Schrod); and contrib/ other for other macros. \bfseries is L\'lfX2c's way of selecting bold face.)
------···---·---··-----·------·- SEPTEMBER 1994. VOLUME 41, NUMBER 7 773 ___ ...... -...... -.. -...... ,_,...... -...... ,... _...... _. ______...... ,... _...... ,_ .. ,_ ...... -...... -...... _.... ,.... _...... Computers and Mathematics
This is now fine, except that the first page does not need the first page of a chapter in the book class), or you have to all these headers and footers. To eliminate all but the centered do it explicitly with the page number, issue the command \thispagestyle{plain} \thispagestyle{plain} command. after the The redefinition of the plain style is done with the \begin{document} command and the \fancyplain{plain_value}{normal_value} \maketitle inserted into all the appropriate arguments. As an example, commands. let us redefine the plain style for the report in Section 7 by Alternatively, issue making the page number bold. \thispagestyle{empty} The leftheader definition if you do not want any headers or footers. \lhead[]{\bf series The performance of new graduates} changes to An Example of Two-sided Printing \lhead[\fancyplain{}{}]{\fancyplain{} Some document classes, such as book. cls, print two-sided: {\bfseries The}} the even pages and the odd pages have different layouts; other performance of new graduates document classes use the two side option to print two-sided. Note that the first argument of both \fancyplain com Now let us print the report two-sided. Let the above page mands is empty, since the redefined plain style has an empty layout be used for the odd (right-side) pages, and the following leftheader. for the even (left-side) pages: The left- and rightfooter definitions change more. For instance, the leftfooter definition changes from The performance of new graduates \lfoot[\thepage]{From: K. Grant} to page body \lfoot[\fancyplain{}{\bfseries \thepage}]{\fancyplain{}{From: K. Grant}} 4 From: K. Grant To: Dean A. Smith Carrying out these changes for all six fields, we get the where ''4" is the page number. code Here are the commands: \lhead[\fancyplain{}{}]{\fancyplain{} \lhead[]{\bfseries The performance of new {\bfseries The graduates} performance of new graduates}} \chead{} \chead{\fancyplain{}{}} \rhead[\bfseries The performance of new \rhead[\fancyplain{}{\bfseries The graduates]{} performance of new \lfoot[\thepage]{From: K. Grant} graduates}]{\fancyplain{}{}} \cfoot[From: K. Grant]{To: Dean A. Smith} \lfoot[\fancyplain{}{\thepage}]{\fancyplain{} \rfoot[To: Dean A. Smith]{\thepage} {From: K. Grant}} \setlength{\headrulewidth}{0.4pt} \cfoot[\fancyplain{\bfseries \thepage} \setlength{\footrulewidth}{0.4pt} {From: K. As you see, the values of the fields for the even (left Grant}]{\fancyplain{\bfseries \thepage} side) pages are given in the square brackets. Again, you may {To: Dean A. Smith}} use \thispagestyle{plain} for a simple page layout for \rfoot[\fancyplain{}{To: Dean A. Smith}] page 1. {\fancyplain{}% {\bfseries \thepage}} \setlength{\headrulewidth}{0.4pt} Redefining Plain Style \setlength{\footrulewidth}{0.4pt} \ thispagestyle{plain} may not be your choice for the For the "fancy plain" pagestyle, the thickness of the lines pagestyle of the first page. For instance, if all the page numbers is defined by are bold, you may want this on the first page also. \plainheadrulewidth and \plainf ootrulewidth fancyheadings also allows you to redefine the plain (both default to Opt). Observe that you may have different pagestyle with the command "fancy plain" pagestyles for even and odd pages. \pagestyle{fancyplain} To use the "fancy plain" pagestyle, define these macros; This command performs the function of in the preamble, include \pagestyle{fancy} \usepackage{fancyheadings} and redefines the plain pagestyle. Note that this does not is \pagestyle{fancyplain} sue a \pagestyle{plain} or\thispagestyle{plain} and invoke the pagestyle "fancy plain" with command. This is either done by :u:IEX 210 (for instance, for \ thispagestyle{plain} where desired.
774 NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY ------~- : .,.,.,~------ Computers and Mathematics
The Default Layout You can influence how chapter, section, and subsection Let us use the book. cls documentclass and the default information (only two!) are displayed by redefining the settings for fancyheadings; so we only issue the commands \chaptermark, \sectionmark, and \subsectionmark \usepackage{fancyheadings} commands. \pagestyle{fancy} Let us illustrate this with chapter info. It is made up of and let fancyheadings take care of everything. On the pages three parts: where new chapters start, we get a centered page number in • the number (say, 2), displayed by the macro\ thechapt er the footer; there is no header, and there are no decorative • the name (in English, Chapter), displayed by the macro lines. \chaptername On an even page, we get the following layout: • the title, contained in the first argument of \markboth Table 1 (see next page) shows some variants for ''Chapter I.2 EVALUATION CHAPTER I. INTRODUCTION 2. Do it now'' (the last example is appropriate in some page body non-English languages). For the lower-level sectioning information, do the same 4 with \markright. So if "Section 2.2. First steps'' is the current section, then On an odd page, we get this layout: \renewcommand{\sectionmark}[1]{ CHAPTER I. INTRODUCTION I .2 EVALUATION \markright{\thesection.\ #1}} will give ''2.2. First steps". page body It should be noted that the IbTpc marking mechanism works fine with chapters (which always start on a new page) 3 and sections (which are reasonably long). It does not work where the header text is slanted uppercase. quite as well with short sections and subsections. This is a This default layout is produced by the following com problem with IbTpc. not with fancyheadings. mands: \lhead[\fancyplain{}{\slshape \rightmark}] \fancyplain{}% {\slshape \leftmark}} Fancy Layouts \chead{} You can make a multiline field with the \\ command. It is \rhead[\fancyplain{}{\slshape \leftmark}] also possible to put extra space in a field with the \ vspace \fancyplain{}% command. Note that if you do this you will probably have to {\slshape \rightmark}} increase the height of the header (\headheight) or of the \lfoot{} footer (\footskip). See Section 4.1 of the IbTpc Companion \cfoot{\rmfamily \thepage} for detail. \rfoot{} For instance, the following code will place the section title The following settings are used for the decorative lines: and the subsection title of an article in two lines in the lower \headrulewidth 0.4pt right-hand comer: \footrulewidth 0 pt \documentstyle{article} \plainheadrulewidth 0 pt \usepackage{fancyheadings} \plainfootrulewidth 0 pt \pagestyle{fancy} The header text is turned into all uppercase in book. cls. \renewcommand{\sectionmark}[1]{\markboth{#1} {}} \renewcommand{\subsectionmark}[1]{\markright Custom Layouts {#1}} Usually, for documents of class book and report, you may \rfoot{\leftmark\\\rightmark} want to use chapter and section information in the headings You can customize the decorative lines. You can make the (chapter only for one-sided printing), while for documents of decorative line in the header quite thick with class article, section and subsection information (section \setlength{\headrulewidth}{0.6pt} only for one-sided printing). IbTpc uses a marker mechanism or you can make the decorative line in the footer disappear to remember the chapter and section (section and subsection) with information for a page; this is discussed in detail in the IbTpc \setlength{\footrulewidth}{Opt} Companion, Section 4.3.2. The decorative lines themselves are defined in the two There are two ways you can utilize and change the higher macros \headrule and \footrule. For instance. if you and lower-level sectioning information available to you. The want a dotted line rather than a solid line in the header, macros \leftmark (higher level) and \rightmark (lower redefine the command \headrule: level) contain the information processed by IbTpc, and you \renewcommand{\headrule}{\vbox to Opt{\hbox can use them directly as shown in Section 9. to\headwidth{\dotfill}\vss}}
SEPTEMBER 1994, VOLUME 41, NUMBER 7 775 ...... ------·-····-·········--········-···········-·················-·-·-·····-·-···---··-····················-········-·········-··-····-·-········-··-·-······-·········-·--·-····- Computers and Mathematics
Code: Prints:
\renewcommand{\chaptermark}[1]{ Chapter 2. Do it now \markboth{\chaptername\ \thechapter.\ #1}{}}
\renewcommand{\chaptermark}[1]{ CHAPTER 2. Do it now \markboth{\uppercase{ \chaptername}\ \thechapter. \ #1}{}}
\renewcommand{\chaptermark}[1]{ CHAPTER 2. DO IT NOW \uppercase{\markboth{ \uppercase{\chaptername}\ \thechapter.\ #1}}{}}
\renewcommand{\chaptermark}[1]{ Do it now. \markboth{#1}{}}
\renewcommand{\chaptermark}[1]{ 2. Do it now. \markboth{\thechapter.\ #1}{}}
\renewcommand{\chaptermark}[1]{ 2. Chapter. Do it now. \markboth{\thechapter.\ \chaptername.\ #1}{}} Table 1: Marker variants
Two Book Examples For the second example, we take the AMS-IbT:EX book The following definitions give an approximation of the style [3]. used in L. Lamport's IbT:EX book [5]. Chapter pages have no headers or footers. So we declare Lamport's header overhangs the outside margin. This is \thispagestyle{empty} done as follows. for every chapter page, and we do not need fancyplain. The width of headers and footers is \headwidth, which Chapter and section titles appear in the form 2. DO IT by default equals the width of the text: \textwidth. You can NOW, so we have to redefine \chaptermark and \sec make the width wider (or narrower) by redefining \head tionmark as follows (see Section 10): width with the \setlength and \addtolength com \renewcommand{\chaptermark}[1]% mands. To overhang the outside margin where the marginal {\markboth{\uppercase{\thechapter.\ #1}}{}} notes are printed, add both \marginparsep and \margin \renewcommand{\sectionmark}[1]% parwidth to \headwidth with the commands {\markright{\uppercase{\thesection.\ #1}}} \addtolength{\headwidth}{\marginparsep} In an even-header, the page number is printed as the \addtolength{\headwidth}{\marginparwidth} LeftHeader and the chapter info as the RightHeader; in an And now a complete definition of Lamport's book style: odd-header, the section info is printed as the LeftHeader and \documentclass{book} the page number as the RightHeader. The CenteredHeaders \usepackage{fancyheadings} are empty. There are no footers. \pagestyle{fancyplain} There is a decorative line in the header. It is 0.5pt wide, so \addtolength{\headwidth}{\marginparsep} we need the commands \addtolength{\headwidth}{\marginparwidth} \setlength{\headrulewidth}{0.5pt} \renewcommand{\chaptermark}[1]{\markboth \setlength{\footrulewidth}{Opt} {#1}{}} The font used in the headers is 9 pt bold Helvetica. The \renewcommand{\sectionmark}[1]{\markright PSNFSS system by Sebastian Rahtz uses the short (Karl {\thesection\ #1}} Berry) name phv for Helvetica, so this font is selected with \lhead[\fancyplain{}{\bfseries\thepage}] the commands {\fancyplain{}{\bfseries\rightmark}} \fontfamily{phv}\fontseries{b}\fontsize{9} \rhead[\fancyplain{}{\bfseries\leftmark}] {11}\selectfont {\fancyplain{}{\bfseries\thepage}} (See Sections 7.6.1 and 11.9.1 of the IbT:EX Companion.) \cfoot{}
776 NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY Computers and Mathematics
Let us define a shorthand for this: the general solution to the cubic. Instead of publishing the \newcommand{\helv}{% result, they very unprofessionally "classified" the document. \fontfamily{phv}\fontseries{b}\fontsize{9} Eventually they revealed it under oath of secrecy to Del {11}\selectfont} Ferro's pupil Geronimo Cardano (1506-1571), who promptly Now we are ready for the page layout: betrayed their trust by placing it in his Ars Magna in 1545. \lhead[\helv \thepage]{\helv \rightmark} That is why we unjustly call it "Cardano's Method". Still, \rhead[\helv \leftmark]{\helv \thepage} his mentors, Del Ferro and Tartaglia, should be published for \cfoot{} their attempted power grab, and so I use Geronimo's name in Putting this all together: this article. So does everyone else. \documentclass{book} Anyway, using Cardano's Method, the latter's student, \usepackage{fancyheadings} Lodovico Ferrari (1522-1565), produced the solution to the \pagestyle{fancy} general quartic. In my Yale undergraduate days (1929-1933) \renewcommand{\chaptermark}[1]% our profs told us about cubics and quartics but warned us {\markboth{\uppercase{\thechapter.\ #1}}{}} never to attempt exact solutions. "Just too much work," they \renewcommand{\sectionmark}[1]% said. "Be happy with Newton's Approximation. No one will {\markright{\uppercase{\thesection.\ #1}}} ever use those exact solutions." \setlength{\headrulewidth}{0.5pt} My profs (Yale profs!) were wrong. In 1993 I found the \setlength{\footrulewidth}{Opt} cubic and quartic formulas in several texts, notably the (even \newcommand{\helv}{% then) late J. V. Uspensky's, Theory of Equations, McGraw \fontfamily{phv}\fontseries{b}\fontsize{9} Hill, 1948, Chapter V, "Cubic and Biquadratic Equations", {11}\selectfont} pages 82-98. Uspensky, pre-Casio handicappee that he was, \lhead[\helv \thepage]{\helv \rightmark} painfully solved quartics using hand adding machine and log \rhead[\helv \leftmark]{\helv \thepage} tables. Excruciating! But in a week of concentrated effort I \cfoot{} programmed it! Now my grade IV-VI students can do it in five minutes. First, instructions on how to execute the program. I References refer you to Uspensky [op cit] for rigorous proof. [1] Michel Goossens. Frank Mittelbach. and Alexander Samarin. The general quartic is The Je.Tpi: Companion. Addison-Wesley. Reading. MA, 1994. [2] George Gratzer, Admnces in 1FX implementations. III. A new Y4 = ax4 + bx3 + cx2 + dx + e version ofJe.Tpi:,fmally, Notices Amer. Math. Soc. 41 (6) (1994). [3] __ , Math into 'IFX- A simple introduction using AvtS Je.Tpi:. Birkhliuser Boston, Boston, MA, 1993. but since a, the leading coefficient, isn't 0, we divide the [4] David M. Jones, A catalogue of 1FX macros. CTAN /tex whole equation by it to get archive/help/tex-styles-and-macros.txt, 1992. [5] Leslie Lamport. Je.Tpi:: A document preparation system, Addison-Wesley. Reading. MA, 1985.
which is easier; here the uppercase letters are the locations I use. Thus b e Pocket Calculating the Quartic F=-, ... ,J=-. a· a Eugene Lehman* Now any self-respecting quartic who seeks a solution must employ a younger manservant called her "resolvent" cubic A program created for interested and alert subteen students at Hebrew Academy, Solomon Schechter Academy, Willingdon 3 2 and Royal Vale elementary schools in Montreal. y3 = .r + B x + C x + D where B = -G, C = FH- 4J and D = 4GJ- F 2J- H 2 , Evariste Galois (1811-1832) grouply proved to us in his as Ferrari taught us. extreme youth (he never had anything else) that the general solution of polynomials of degree more than 4 is impossible Next we use Cardano 's Method to find a root of this cubic. using only addition, subtraction, multiplication, division, and Any of the three roots will do, but since we are guaranteed extraction of roots (square, cube, fourth, ... ). one real root, let's use that, calling it Z. This is what we do: But long before Galois's time, in Bologna about 1515, Sci pione Del Ferro (1465-1526) and Niccolo Fontana "Tartaglia" Let P = 9~:2 - 3St and Q = - 2 f~3 + :.3 - fr D2A. (1499-1559; so nicknamed because he stuttered) worked out These definitions are by Cardano and refer to the general cubic; use them for most cubics. In resolvent cubics, however, *Eugene Lehman is in the Department of Mathematics. Dawson College. the leading coefficient A is always 1 and may therefore be Canada. omitted when solving quartics. Now I call l¥ = Q 2 - P 3 the
SEPTEMBER 1994, VOLUME 41, NUMBER 7 777 ...... ______,.. ,...... ,.... _, ...... -...... ,.,_ ...... ,.... _... ,...... Computers and Mathematics
"cubic discriminant". Unlike a quadratic discriminant or
W < 0 => 3 real distinct roots Z, Y, X; Yz(LN) = x2 + Lx + n and Yz(EM) = x 2 + Ex+ M, W = 0 => 3 real roots Z, Y, X, of which at least 2 are in which Ferrari (if he has access to my Casio) defines duplicates; and W > 0 = > 1 real root Z and a pair of complex z L= -+F VF2- -G+Z fZ2-: E=F-L, conjugates, R ± li. 2 4 ' M= 2+V4-J,
If W < 0, let () be an angle whose cosine is _g_ N=Z-M. PVP' Now one of the following two expressions will equal H, 0 ~ () ~ 180°. the coefficient of the linear term of the quartic ~ : (Your calculator must be in degree mode.) ME+NL or NE+ML. Then Z = 2VPcos ~- ~. Y = -2v'Pcos(~ + 60°)- ~. 3 3 If ME + N L turns out to be H, then hire the first pair of X= -2v'Pcos(~- 60°)- 3~. quadratic pageboys; if N E+ M L = H, employ the second pair. The four solutions thus obtained will be the four solutions If W = 0, use either the previous or following method; of the original quartic y4, be they reals (with or without since U = V (below), I= 0; so we are guaranteed three real duplicates), two reals and a pair of complex conjugates, or roots, two of which are duplicates. two pairs (perhaps duplicates) of complex conjugates. It is well to install a simple program which evaluates If W > 0, let U = 1Q + JW and V = 1Q - JW, then ~ immediately. Test all real roots this way. In the case of complex roots, we must check the coefficients which those Z - U + V- .fl._ R- - U+V - _!l_ and I- v'3Table 1
PRESS SEE ON SCREEN EXPLANATION AC Turns on Casio SHIFf PRGM F3 Prog aKEXE Prog K? aFEXE F? aGEXE G? aHEXE H? aJEXE J? We have entered coefficient F G H J of 11i. aAEXE A? aBEXE B? aCEXE C? aDEXE D? We have entered coefficients A B C D of Y3. The screen will show ME + N L, then N E + M L. If the former is H , then EXE ? aKEXE K? aLEXE L? aMEXE M? We have entered the coefficients of the first quadratic yz (LM) of the first pair. The screen shows the discriminant. If this is nonnegative press EXE twice for 2 real roots T1 and S 1 (which could be the same) of the quaratic. If the discriminant is negative press EXE twice for the real part R 1 andtheimaginarypart I 1 of two complex conjugate roots of the quartic. Now press
778 NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY Computers and Mathematics
PRESS SEE ON SCREEN EXPLANATION EXE ? aKEXE K? aEEXE E? aNEXE N We have entered the coefficients of the second quadratic y2(EN) of the first pair. The discriminant of this quadratic will appear. Repeat previous paragraph to obtain the other 2 roots, either Tz and Sz or Rz and [z, or the quartic. But if ME+ NL wasn't H then NE + ML was, so push EXE ? aKEXE K? aLEXE L? aNEXE N We have entered the coefficients of the first quadratic Y2 (LN) of the second pair; screen shows its discriminant. Proceed as before to obtain the first two roots of the quartic. Then EXE ? aKEXE K? aEEXE E? aMEXE M We have entered the coefficients of the second quadratic y2 (EM) of the second pair. Its discriminant is visible. Proceed as before to obtain the other 2 roots.
Now here is the program, which I call Prog K, QUARTIC: ? -+ F:?-+ G:?-+ H:?-+ J:?-+ 1-+ A: G-+ B: FH- 4J-+ C: -FF J + 4GJ- HH-+ D:PROG7: 1 -+ K: f + JF[ - G + z-+ L: F - L -+ E : t + {¥-- J -+ M : Z - M -+ N : ME + N L display N E + M L display:PROG G
In this program I refer to Prog 7 which solves a cubic and Prog G which solves a quadratic. First the CUBIC: ? -+A:?-+ B:?-+ C:?- D -+: 9~~- 3~-+ P: 2fffA + 6~~- 2~-+ Q: QQ- PPP-+ W: W::; 0 =? GOTO 1:\jQ+M-+U: \jQ + JW-+ U: \1,-Q---JW-W--+ V: U + V- :& -+ Z: u;v- 3~-+ R: v'3(~-V)-+ I: GOTO 2: LBL 1: ARCCOS P~-+ e: 2VP COS~- 3~-+ Z: -2-../P COS(~+ 60°)- :& -+ Y: -2-../PCOS (~- 60°)-+ X: LBL 2
And finally the QUADRATIC: ? -+ A:? -+ B :? -+ C : BB - 4AC -+ D :display D < 0 =? GOTO 1: -~~v'2 -+ T display -~A.v'2 -+ S display GOTO 4 : LBL 1 : 2: -+ R display 'fl -+ I Charles Hermite ( 1822-1901) gave a method "of spectacu which isn't H, but N E + M L = 121 which is. lar brilliance" (the phrase used by Eric Temple Bell in his Men So the correct pair of quadratic pageboys is of Mathematics, Simon and Schuster, 1937, 6th paperback printing, page 461) for solving the general quintic, but he Yz(LN) = x2 + 4x + 3 = (x + 3)(x + 1), and needed elliptic modular equations, too much even for my 2 Talented And Gifted Power Graphic. yz(EM) = x - 13x + 40 = (x- 5)(x - 8). It is interesting to graph on my Power Graphic not only the original quartic but its coterie of three servants: the resolvent Try fitting these four on the screen simultaneously! At least cubic and the correct pair of quadratic pageboys. But watch note their relationship. your limits carefully. The curve may be so distant as to make This program is quite safe and may be used by my it impossible to place them all on the same screen at the same sophisticated preteen students as a parlor game to mystify time. For example, try colleagues. But occasionally it may not work if there are jumps in which a cubic discriminant (W in my program), supposedly zero, reads -10-11 , a little-known and rarely used y4 = x4 - 9x3 - 9x2 + 121x + 120, which factors as negative, very powerful in a denominator. This occurs if we roots, i, in (x + 3)(x + l)(x - 5)(x - 8) have two identical pairs of pure imaginary ±I which case the quartic was y4 = x 4 + 2I2x2 + I 4 ; but then the Her resolvent cubic manservant is y3 = x 3 + 9x2 - 1569x - quadratic formula will do, so why drive a Ferrari? Thus we 28681, which factors as (x - 43)(x + 23)(x + 29). We use the see this program is not 100 percent foolproof, but it ought to first factor as Z = 43; from this we obtain ME+ N L = -508 handle all the ordinary quartics most of us need to solve in our daily lives.
SEPTEMBER 1994, VOLUME 41, NUMBER 7 779 ------______...... ,_ .... ,...... -..... ,_ .. , ... ,.. ,_ .. , ...... ,_ .... ,...... _.... ,...... -...... _,_,_ Computers and Mathematics
... ,_, Rubik's cube, of order 43,252,003,274,489,856,000. Clearly, ··-·-.. ·-·--·--·-·-.. ··-...... _,_, __ ,,_------· ... -...... _ __ ,_,_,_,_ GAP is capable of handling problems of very large sizes. Reviews of Mathematical Software In this review, we will use a much smaller example, 84 , the symmetric group on four objects. This is the largest GAP: Groups, Algorithms, symmetric group that is solvable and, of course, is of considerable historical interest in connection with solvability and Programming of polynomial equations. Reviewed by Edward L. Spitznagel* In what follows, the reviewer has modified some of the longer output from its actual format, which uses nearly the full width of the output window, into an aligned one that is Twelve years ago Herbert Wilf wrote a charming article titled more easily read. "The Disk with the College Education". In it he described the Any symmetric group can be generated by just two first symbolic mathematics package available for a personal elements: a transposition, say, (1,2), and a cycle, say, (1,2,3,4). computer. The package was muMATH. At the end of the article, Here is how we can generate the group 84 in GAP: Wilf predicted that in a "few years", one could expect such gap> s4 := Group((1,2),(1,2,3,4)); software to run on calculator-sized machines. That prediction As the above suggests, GAP follows a Pascal-like syntax. has indeed come true; DERIVE, the successor to muMATH, is A single semicolon terminates each command. The result is available on a card that slips inside Hewlett-Packard palmtop echoed back to the screen: computers. Group( (1,2), (1,2,3,4) ) At the same time that college-educated software has To suppress the echo, the command can be terminated reached the ultimate in portability, symbolic mathematical with two semicolons. software has generally become much more sophisticated. One of GAP's idiosyncrasies is that the name of the object Today there are several software systems that might be we have just created, s4, is available for us to use in giving claimed to hold a Ph.D. rather than just a bachelor's degree. commands to GAP, but GAP does not use it in communicating One such software system is the package GAP, whose degree results back to the user. Therefore, it is a good idea to tell is in group theory. GAP how to refer to the object just created: GAP is shareware from the University of Aachen, Ger gap> s4.name := 11 G11 ; many. It was originally conceived by Joachim Neubtiser and Now, what does everyone know about the symmetric four of his students, of whom Martin Schoenert has become group on four objects? Well, it has 24 elements, it is not the main architect of GAP. Over approximately nine years abelian, but it is solvable. Let's see how GAP can be made to it has grown to a package of phenomenal capabilities (and give us this information: about 1,000 pages of 'lEX-formatted documentation). It is gap> Size(s4); written in C and runs on a wide variety of hardware, including 24 UNIX workstations, PCs with at least a 386 processor, and gap> IsAbelian(s4); Macintoshes. false Larger than what would fit on a disk, GAP is a "zoo" gap> IsSolvable(s4); file of about 6 megabytes. The primary ftp server for GAP true is samson. math. rwth-aachen. de (137 .226.152.6), direc One can "see" the solvability of 84 by asking for its tory /pub/gap/. However, users in North America will prob derived series: ably find archives .math. utk. edu (128.169.202.163), di gap> DerivedSeries(s4); rectory /multi-platform/group.theory/gap/ the most conve [ G, Subgroup( G, [ (1,2,3), (2,3,4) ] ) , nient. Macintosh users will find a ported copy on ftp. cc. Subgroup( G, [ (1,4)(2,3), (1,3)(2,4) ] ) , umanitoba. ca (130.179.16.24) in the directory /pub/mac/. Subgroup( G, [ ] ) ] The usual caveat about the Internet applies: addresses and This tells us that the first object below 84 in the series directories tend to change over time. is the alternating group A4 (generated by the cycles (1,2,3) At last count there are 230 users subscribed to the GAP and (2,3,4)), the second is the Klein four-group (generated by forum listserver, which one might consider a rough estimate (1,4)(2,3) and (1,3)(2,4)), and the final is the identity group. of those currently using GAP professionally. (One-third are These subgroups within the series can be extracted and from the United States.) This review is intended for the much investigated on their own. For example: larger group of potential users and demonstrates the relative gap> d1 := DerivedSubgroup(s4); ease with which GAP can be obtained and used. Subgroup( G, [ (1,2,3), (2,3,4)] ) A README file that comes with GAP contains a tour de gap> Size(d1); force demonstration of analysis of the transformation group of 12 gap> d2 := DerivedSubgroup(d1); Subgroup( G, [ (1,4)(2,3), (1,3)(2,4) ] ) *Edward L. Spitznagel, Washington University, Department of Mathematics, gap> Size(d2); St. Louis, Missouri 63130-4899; e-mail: ed@mathwustl. edu. 4
780 NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY ·················-··········-·-······ ··········-···-···········-··············-··- ···········-··-····-··········-············-· ··········-··········~•·•••••••••n••r••~tmlil!lllf.illil ... :····· Computers and Mathematics
In a similar vein, we can investigate the conjugacy class This is heady stuff for a beginning graduate course, but GAP structure of 84 , finding that there are five conjugacy classes, makes it accessible: the identity, the set of two-cycles, the set of three-cycles, gap> CharTable(s4); products of disjoint two-cycles, and the set of four-cycles: rec( order := 24, gap> ConjugacyClasses(s4); centralizers ·= [ 24, 4, 3, 8, 4], [ ConjugacyClass( G, () ), orders := [ 1' 2, 3, 2, 4], ConjugacyClass( G, (3,4) ), classes := [ 1, 6, 8, 3, 6], ConjugacyClass( G, (2,3,4) ), irreducibles := [ [ 1, 1, 1, 1, 1 ], ConjugacyClass( G, (1,2)(3,4) ), [ 1' -1, 1, 1, -1 ], ConjugacyClass( G, (1,2,3,4) ) ] [ 2, 0, -1, 2, 0], If we want more detail, we can find out the size of a [ 3, -1, 0, -1, 1], conjugacy class and even obtain a listing of its elements: [ 3, 1, 0, -1, -1 ] ] , gap> c1 := ConjugacyClass(s4, (3,4)); operations := CharTableOps, ConjugacyClass( G, (3,4) ) name := "G", gap> Size(c1); powermap := [ ' [ 1, 1, 3, 1, 4 ] ' 6 [ 1, 2, 1, 4, 5 ] ] ' gap> Elements(c1); automorphisms :=Group( () ), [ (3,4), (2,3), (2,4), (1,2), (1,3), (1,4)] text :="origin: Dixon's Algorithm", One of the high points in a first course in group theory group := G ) is the Sylow theory. With 8 being the highest power of 2 The first three vectors describe the five conjugacy classes dividing the order of 84 , we expect to find several subgroups of 84 , which are in the same order as listed earlier: identity, of order 8 embedded within S.~: two-cycles, three-cycles, products of two-cycles, and four gap> sy2 := SylowSubgroup(s4, 2); cycles. The identity is centralized by everything, has order Subgroup( G, [ (2,3), (1,4)(2,3),_ 1, and belongs to a class by itself. Each two-cycle has a (1,2)(3,4) ] ) centralizer of order 4, is of order 2. and belongs to a conjugacy gap> Size(sy2); class of 6 elements. And so on. 8 Each of the five vectors called "irreducibles" is one of gap> Elements(sy2); the irreducible characters. By looking at the first position [ (), (2,3), (1,2)(3,4), (1,2,4,3), (1,3,4,2), of each vector, which is the character value for the identity (1,3)(2,4), (1,4), (1,4)(2,3)] element, we see that the irreducible representations are made We see that GAP has produced one such subgroup for us. up of matrices of orders 1, 1, 2, 3, and 3. The first of the We can obtain the full set by using the fact that all Sylow representations is the trivial one; the second is the even-odd subgroups for a given prime are conjugates of each other: permutation map, with A4 as kernel. The third has the Klein gap> C := ConjugacyClassSubgroups(s4,sy2); four-group as kernel, and the fourth and fifth are faithful ConjugacyClassSubgroups( G, representations. Subgroup( G, [ (2,3), (1,4) (2,3), A very instructive exercise can be built around the (1,2)(3,4) ] ) ) character table of a Sylow 2-subgroup of 84 , illustrating gap> Size(C); among other things, the tables of groups that GAP contains in 3 its libraries. The first step is to obtain the character table: gap> Elements(C); gap> CharTable(sy2); [ Subgroup( G, [ (3,4), (1,2) (3,4), The next step is to obtain a list of non-abelian groups of (1, 3)(2,4) ] ) ' order 8 from the GAP library: Subgroup( G, [ (2,3), (1,4) (2,3), gap> nab8 := AllTwoGroups(Size,8, IsAbelian, (1,2)(3,4) ] ) ' false); Subgroup( G, [ (2,4), (1,3) (2,4), [Group( a1, a2, a3 ), Group( a1, a2, a3)] (1,2)(3,4) ] ) ] The AllTwoGroups library contains all distinct 2-groups A quick look at this list reveals that all three subgroups of order less than or equal to 256. There are two non-abelian have the Klein four-group in common and are generated by groups of order 8. In the response above, GAP confirms combining a two-cycle with that subgroup. this. Now print the character tables of these two non-abelian One of the most powerful tools in modem group theory groups: is the character table. Characters are the traces of matrix gap> CharTable(nab8[1]); representations of groups. Over the field of real numbers, gap> CharTable(nab8[2]); matrix representations can be decomposed into ''irreducible" The first group is the dihedral group, and the second representations. There are as many irreducible representations is the quaternion group. Surprisingly, both groups have the of a finite group as there are conjugacy classes. Furthermore, same character table. This can lead to lively discussions as since traces are invariant under similarity transformation, all to how much information the character table really contains. elements of a given conjugacy class have the same characters. The groups can be distinguished based on the orders of their
SEPTEMBER 1994, VOLUME 41, NUMBER 7 781 Computers and Mathematics
elements, which is part of the information GAP provides in (compressed). Currently it can be found in the subdirectory the CharTable output. Thus, by the end of the exercise, the /multi-platform/group.theory/gap/split/. It is formatted to print Sylow subgroup can be identified with the dihedral group. on 8.5 x 11 inch paper and produces about 1,000 pages of The GAP libraries contain tables of the 58,760 2-groups beautifully written material. of order up to 256, the 594 3-groups of order up to 729, Anyone becoming a user of GAP should certainly sub the 406 primitive permutation groups of degree up to 50, scribe to the GAP forum. The forum is a standard listserver and the 1,045 solvable groups of order up to 100. There are which averages about thirty messages per month, including functions in GAP to generate basic types of groups, such replies to questions. Details on subscribing are given at the as cyclic, elementary abelian, symmetric, alternating, general end of the README file. There is a wonderful camaraderie linear, special linear, and so on. There are six "third-party" in the forum, with conversation being very courteous and software packages distributed with GAP. supportive. Quarterly logs of the GAP forum are available. Two of those third-party packages are written in what is They appear in the /etc subdirectory when the zoo archive is called the "GAP language" and thereby illustrate an important received and expanded. feature of GAP's architecture. Adopting the philosophy of To summarize, the authors of GAP have produced a most Maple, the authors of GAP constructed a small kernel of impressive and useful package. They deserve heartfelt thanks compiled C code, which serves as an interpreter for an for having devoted so much time and care to its development. intermediate language called the GAP language. The functions May they continue to progress at the phenomenal rate they that implement the group theory are written in this language. have in the past. The GAP library currently contains about 120,000 lines ofthis interpreted code, which is easier to read and write than C. This References structure allows users to playa much more active part in the [1] H.S. Wilf, The disk with the college education, Amer. Math. development ofGAP, helping to find bugs, adapting functions Monthly 89 (1982),4-8. to their own needs, and even providing entire packages of [2] M. Schoenert et aI., GAP-Grollps, algoritll1ns, and progranz new functions to the user community. rning, 3rd ed., Lehrstuhl D fuer Mathematik, Rheinisch Westfaelische Having covered approximately 1 percent of the GAP Technische Hochschule, Aachen. Germany, 1993. package in the examples above, let us now turn to the me chanics of obtaining GAP. With ftp or gopher, connect to the "l1IIR~IRJiI~""_" __""""""""""""""""""""'" .. mathematics archives at University ofTennessee at Knoxville (archives.math.utk.edu, or 128.169.202.163). Change jspell to the directory /multi-platform/group.theory/gap/. (Macin Version 2.0 tosh users shouldinstead connect to ftp. cc . umanitoba. ca, as mentioned earlier.) This directory contains a file called Reviewed by Eric Schweitzer* README, which will give a description of the most recent version of GAP. Get this file first and read it. It contains full instructions for obtaining and installing GAP. Since GAP is likely to have been updated before this review Introduction appears, there is some risk in giving installation instructions Computers have long been used for document preparation, here. However, for those concerned about the resources GAP and have been supplying spell-checking facilities for such will require, here is a brief summary ofthe installation process: documents for almost as long. Over the past ten years, The entire GAP package is compressed into a single "zoo" there has been an increasing number of people using lEX archive, somewhat greater than 6 megabytes in size. This to do their document preparation. And yet, lEX-compatible will expand into approximately 30 megabytes of C source spellcheckers are not (at least in the DOS world) common. code, libraries, and documents. There are "make" files for Whether it's a stand alone ASCII file spellchecker or one built all popular computers, which automate compilation of the into a word processor, chances are good it will have trouble program. It took approximately half an hour to get GAP with names like Godel (G\"odel) and Erdos (Erd\H{o}s), up and running on the reviewer's NeXT computer. (Before words like gar<;on (gar\c{c}on) and sefior (se\-{n}or) compiling, however, users should check the subdirectory and sequences in math mode like fgh(x) ($fgh(x) $). /multi-platform/group.theory/gaplbin/ to see if executable jspell is a spell checker designed to work with lEX code is already available for their particular machine.) documents in a DOS environment. It is reasonably small, While many tasks can be accomplished with a fraction fast, and does its job quite well. It is capable of working in of the full package, it is best to start with a machine large a local area network, though I did not evaluate that aspect enough to hold everything. In the beginning, when one is of the software. jspell requires an IBM compatible machine getting accustomed to the software, it is simpler not to worry about whether a particular ability has been installed. *Eric Schweitzer is at the CUNY Graduate School, Department of Mathe Except for the README file, all GAP documentation is matics, and Hunter College. CUNY, Department of Computer Science. He uses 1}jX, embodied as em1}jX, and L\1EX to write everything from exams to (ShOli) in lEX. For convenience of the user, this has been compiled papers and warns that he will confuse these names whenever convenient. He can into a single DVI file approximately 1 megabyte in size be reached at ershc@cunyvm. cuny. edu.
782 NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY Computers and Mathematics running DOS 3.3 or later and a graphics video system (VGA, dictionary. Words can be case sensitive, so it knows, for ex CGA, EGA, or Hercules). It has color options allowing use ample, that \aa is not the same as \AA. It also knows to ignore with monochrome and LCD screens. A mouse and hard drive in \cite{ } and to ignore and are recommended. I ran }spell on an ffiM clone with a 386 in \newcommand{ }{ }. These processor running at 33 MHz, 4MB RAM, running DOS 5.0. last 1FX commands and their arity are stored in the text file }spell is a shareware product. Shareware products are jsptex.cfg. distributed freely, with the proviso that if one uses the product, The other configuration file, j spell. cfg, is also a text one is expected to pay a fee. In exchange for this the author file. This file stores various default settings, for example, the generally sends the latest version of the software (frequently locations of dictionaries, type of video card, minimum wor--i with features not in the unregistered version) and a printed length, and whether to ignore words in math mode or not. manual. The shareware product is available via anonymous ftp Most of these defaults can be overridden when invokingjspell from oak. oakland. edu in the pub/msdos/tex directory. via command line options. These options are not too arcane, Get j spel202. zip. One can register by sending $27, e.g., the option -ud d: some \path \mywords. die would plus $4 shipping, to the author: Joohee Jeong, Nemosoft load the user dictionary specified rather than the default user Technologies, P.O. Box 1619, El Cerrito, CA 94530; or with a dictionary. One must note that j spell. cfg is line sensitive; credit card by calling 800-2424-PSL; or by sending e-mail to for example, the sixth line must start with either Mathignore 71355. 470@compuserve. com. The author's e-mail address or with MathNoignore. This is made quite clear both in the [email protected]. file itself and in the documentation. As a review package, I received both a registered and an One of the advantages ofjspell is its flexibility in dictionary unregistered version of }spell. The registered version comes handling. It allows you to have many main dictionaries, for with a printed manual and without the "don't forget to register" example, separate French, American English, and British message when one exits the program. Although the two ver English dictionaries (though only one may be used at a time). sions seemed otherwise identical, most of my reviewing was It allows you to have at least three dictionaries active when done with the registered version 2.03. The package consists of checking a document: the base dictionary, a user dictionary, two main parts: the spell checker software (j spell . exe) and and a file dictionary. (In a networked setting, the user and a dictionary maintenance program (di ctman. exe). The spell file dictionaries are "local", while the base dictionary could checker also requires a dictionary (a 39,049-word dictionary reside on the server.) The base dictionary is generally the is supplied) and two configuration files. largest of the dictionaries. It is compressed, fast to load, and (using dictman) is easy to modify. The other dictionaries The Spell Checker are plain text files. They need not be alphabetically ordered, The spell checker is the heart of this package. Like most and they need not have one word per line (though if you spell checkers, once started, this program reads a text file add words one at a time with }spell, they will be). As their and compares the words contained therein to words found in names imply, the user dictionary is associated to the user, one or more word lists (dictionaries). If the word is not in a while the file dictionary is associated to the file being checked. dictionary, the spell checker uses some algorithm to determine One can append dictionaries to a text dictionary by starting which words in the dictionary are possible matches for the it with a reference to another dictionary. For example, to read word. One must achieve a balance between the dictionary include math. die and logic. die in the file dictionary contents and this algorithm. For example, if one types manger mypaper. die (the dictionary associated to mypaper. tex), when one means to type manager, no error will be spotted just start mypaper. die as follows: if "manger" is in the dictionary. If "manger" is not in the +math.dic dictionary, one would hopefully be faced with a short list of +logic.dic alternatives including "manager". Unlike most spell checkers, word1 }spell keeps track of its last 400 actions, allowing the user to word2 undo them. The output screen is clearly laid out and easy to read. The various actions displayed include a suggested alternate word }spell can be fooled. If it is ignoring spelling in math mode list, single and global ignore, mark and replace, and adding and you \begin{eqnarray*} ... \end{eqnarray},jspell the word to either the user or the document dictionary. They will think everything from the \begin{eqnarray*} on are accessible by point-and-clicking with a mouse, by using (until it finds an \end{eqnarray*}) is in math mode, so to the cursor control keys to highlight the option and hitting be ignored. For this reason it is suggested you run 'lEX on a , or by using +initial to invoke the option file before you run }spell. Similarly, if }spell is not ignoring (for example, +i to Ignore that non-dictionary word, comments (another option) but is ignoring math mode, $s +G to Ignore it globally). in comments can confuse it. Other 1FX legal but unnatural This spell checker is happy dealing with 1FX source code. constructions can bother }spell, for example, with: When in 1FX mode, it ignores words that start with \. It can, if . .. some text.$%Is this any way to start dis you like, ignore text in math mode. It knows about legitimate play mode? subwords, so does not accept Godel when G\ "odel is in the $a-n+ b-n e-n$$ It is known ...
------SEPTEMBER 19g4, VOLUME 41, NUMBER 7 783 ...... _.. ______._ ... ,...... Computers and Mathematics
jspell Wordperfect ShareSpell T:EXwords 1 (em in em\TeX) 11 10 words misspelled 26 28 27 correct alternative 2 1 2 not offered
jspell will think "is this ... " is in math mode and "It is dictionary, add a word, delete one or a file of words, or known . . . " is in displayed math mode. optimize (compress the added entries) or expand (make an A preliminary version of this review was run through ASCII file of the words in) the dictionary. One can also jspell and two other spell checkers. One was ShareSpell, load a user dictionary (or other ASCII file) and merge it to another shareware spell checker with no 'lEX ability. This a base dictionary. All of this is achieved via menus which spell checker ignores \. and over the years I have added are accessible either by mouse or by cursor control arrows. many 'lEX commands to the (single) user dictionary it allows. The screen is easy to read, and the system's responses are I did not use that user dictionary in the following test. The tastefully color-coded. other spell checker was the one supplied in WordPerfect 5.1. By loading a text file as a user dictionary and merging I kept track of how many 'lEX entries were identified as it into an empty base dictionary, one can create one's own misspellings, how many misspelled words were identified, dictionary. One can also get an alphabetized list of words in a and for how many of these the correct alternative was offered. file (one word per line) by loading the file as a user dictionary The results are summarized in the table above. and then saving it as a user dictionary. Most of these operations There was only one aspect of this program that a bad are reasonably fast. The longest operation, making a text word speller like me would like to have changed. When a word is list into a base dictionary, took about 2 minutes on a 40,000 misspelled so badly that the correct alternative is not found, word file; 50 seconds to read the file as a user dictionary one has no choice but to resort to a paper or on-line dictionary and move it to an empty base dictionary; and another 1 to find the correct spelling. WordPerfect 5.1, for example, will minute 10 seconds to optimize it. The same operations done take my second guess at the spelling and attempt to find the to the 9,000-word Chaucer dictionary took a total of about word again, but jspell only informs me that the word is still 10 seconds. Adding the Chaucer dictionary to the large base not found and prompts me to mark it, ignore it, or put it in dictionary was also fast (less than 1 second) and optimizing a dictionary. E-mail to the author has resulted in a promise the resulting dictionary took another 15 seconds. Of course, all that this feature will be available in version 2.04, expected in these times depend on the sizes of the dictionaries involved, August 1994. as well as your processor's speed.
Dictionary Maintenance Register Now! A base dictionary is a compressed file. These dictionaries can jspell does what it claims to do, and does it quite well. Its be modified using dictman, jspell's dictionary maintenance usage was easy to master, and it works immediately upon program. These compressed dictionaries not only take up unziping. It is easily customized using a straightforward set less disk space, but they are faster to load. This ability to of text files. It costs nothing to "try before you buy"; and if modify the base dictionary is apparently not common. Neither you are as pleased as I with the way it works, you will send ShareSpell nor WordPerfect 5.1 allow this (though they each your $27. allow you to add words to a user dictionary). jspell comes with a dictionary, base. die, of over 39,000 ...... words. As a text file, this would take some 392 KB of ______space. Compressed it is only 172 KB, a compression to HiQ 2.02 44% of its original size. Languages other than English get less compression, as the compression algorithm relies on Reviewed by Maurino P. Bautista* various standard English constructions. Hence, a dictionary made from Chaucer's Canterbury Tales 1 (in Middle English) Program Description 9,155 words. The compressed version was about 67 showed HiQ claimed to be the first completely integrated software KB, the expanded version some 79 KB, compression to only environment for solving real-world problems in engineering, 85 percent. Once dictman is started, the user can load a base *Maurino P. Bautista is an associate professor of mathematics at Rochester Institute of Technology, Rochester, NY 14623. He received his Ph.D. in mathematics from Purdue University (1984). He has interests in inverse prob 1A public domain file edited and digitized by Ted and Florence Daniel, New lems. partial differential equations, and computer algebra systems and he is Wave Publishers, Portland. Oregon, and available from the Invention Factory a beta-tester for a number of software companies. He can be reached at: BBS. [email protected].
784 NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY Computers and Mathematics mathematics, and the applied sciences. Its principal developer, pear in your document. Double-clicking a SymRep activates David Russel, wrote Math View Professional, one of the first one of five linked editors (Data, HiQ-Script, Graph, Text, or math programs for the Macintosh. He has paid particular atten Problem Solvers) for easy access to any component of your tion to computational efficiency and the graphical interface in solution. Here is the hierarchy of the component tools in HiQ: HiQ. The program uses a desktop metaphor to provide access to mathematical, simulation, and graphing tools necessary to produce practical solutions and present them in a highly Project Worksheet professional manner. HiQ is a large, extremely complex program. It is impossi ble in a short review to do justice to its vast capabilities, so we will concentrate on the more interesting and unique features of the program.
Hardware Requirements The program runs on any Macintosh with a 68020 or higher CPU equipped with a floating-point unit (numeric coprocessor) and at least 5 Mbytes of RAM. The package comes in two high-density diskettes (which can be exchanged Built-In Functions for 800 KB diskettes if your machine does not have a high density drive, as with the original Mac II), each containing a compressed file. Installation is extremely easy and requires HiQ contains all the tools you need in one place to solve ten 8 Mbytes of storage on the hard drive, although the main classes of problems. A powerful graphical user interface pro program and its accompanying files occupy only about 5.4 vides complete access to these tools through intelligent menus Mbytes after installation. The second disk contains several and icon-driven screen displays. It has a fully documented very well-written tutorials and example projects; it is not function library of over 600 functions/algorithms organized required to run the program but is extremely useful to into three levels encompassing simple to complex mathemati the beginner and occupies about 3.6 Mbytes. If disk space cal operations such as orthogonal functions, Fourier analysis, is at a premium, these files can be off-loaded to floppies specialized matrix operations, etc. This library is the main after installation to recover space. Since the program is analytical engine that serves as the "computational kernel", computationally intensive, it will run better on faster machines; while the remainder of the program provides a simple way of and because the interface requires working with several communicating with this kernel. windows, a big screen is essential in my view. I found it difficult and frustrating working on small screens such as the SE/30 or the Powerbook. I had several sessions with the program, starting with the The Project Worksheet Quick Start tutorial in the User Manual. Initially, I found it The basic framework that connects the powerful components almost impossible to do anything without first looking at the of HiQ into an integrated whole is the project worksheet which manual. I tested the program just as I have done with other functions as a "virtual desktop" environment upon which all programs. Some of these are Matlab, Maple 4.2 and Maple V, phases of a project can be addressed and integrated. The Models 1.03, TEMATH, and Calculus TIL. project worksheet provides a graphical and intuitive means of managing the wide range of HiQ's functionality as well as organizing and presenting the input data, structure and Basic Operation solution, and output data of a technical problem. Following HiQ is an object-based mathematics program that can dynam is a sample worksheet containing an icon view of an input ically organize and manipulate numerical data, solve standard matrix A, an icon view of a script, and an expanded view problems, create specialized routines, graph data, and present of the output matrix b, which is really the inverse of A. reports with the ease of a graphical user interface. The basic Icons can be placed anywhere in the worksheet and can be document is called a Project Worksheet and is a standard expanded to show all or just portions of their contents (using a Macintosh document file. AHiQ session can begin either with scrolling window). Using the String Editor to enter text in any a new project worksheet or with a previously saved project available font, size, and style is as easy as using an ordinary worksheet. You can open a maximum of eight worksheets in word processor; however, it does not have the capability to one HiQ session. With a click of the mouse, you can create enter complex mathematical symbols or expressions. This icons (called SymRep for Symbolic Representation in HiQ) prevents the use of HiQ to write publication-quality papers for each component of your solution. Hence, for example, you containing mathematical formulas, although output from HiQ can have an icon for each input data to a problem, an icon for can be exported to other programs such as 1FX in several each output data, an icon for each graph, as well as an icon for formats-Text (tabbed, comma, space) or standard Macintosh the solution script. You select which symbols of interest ap- PICT. The (floating) Tools Palette to the left offers an easy
SEPTEMBER 1994, VOLUME 41, NUMBER 7 785 ...... _.__..... ______...... Computers and Mathematics
the solution to this problem. The next step is to select the Data Fitting tool to help set up the problem. You will be presented with the preceding window which is typical of all Problem Solvers in HiQ. Double-clicking the data icons activates the Data Editor, allowing you to enter the input data to the problem. After selecting the appropriate options and entering the correct parameters (if any are required) for the data fitting algorithm, clicking the Run button (the big arrow between the Inputs box and the Outputs box) will produce a window summarizing the results of the calculation. This window contains a list of all the new symbols and/or data created by the Data Fitter. It is similar to the output of a Fortran compile and is run on a mainframe. What makes HiQ unique is that all these symbols can be viewed and edited in their own editor and you can select which symbol will appear in the worksheet. The way to create other objects and place them on the worksheet. completed project is shown below. Tools with an arrow in the upper right corner expand to reveal other tools. For example. the Problem Solver tool in the lower left corner of the palette expands to reveal the following additional tools:
An Example To illustrate how the various components of HiQ work. we consider briefly the problem presented in the Quick Start Ave.-.p Annuet ReJnfall section of the User Manual: fitting a curve through eleven years of average rainfall data, plot the result. and perform some what-if analysis. The first step is to create a new project worksheet on which we shall organize all the components of
First Problem:Datafltl _.,..., ~-OutP