[Prev][Next][Index][Thread]
Computers & Math
Date: 11 May 89 18:37:20 EDT
Conference Announcement
COMPUTERS & MATHEMATICS 1989
MIT, Cambridge, Massachusetts
Tuesday, June 13 - Saturday, June 17, 1989
GENERAL INFORMATION
Computers & Mathematics 1989 will be held June 13-17, 1989 at MIT, Cambridge,
Massachusetts. This conference is the third in a series of international
conferences focusing on the use of computers as a research tool in the
mathematical sciences.
The 5-day conference consists of 8 parts:
o 22 invited talks
o 8 three-hour tutorial minicourses
o 36 contributed papers
o 10 tutorials of symbolic mathematical systems
o computer graphics & scientific visualization program
o a wine-and-demo reception at The Computer Museum
o computer art and music concert
o exhibits of computer-based tools for research in the mathematical sciences
Student/Regular registration is $40/$125 before May 12, 1989, $60/$150
thereafter. Registration fees cover all 8 parts except that students must pay
an additional $22 to attend the reception. On-campus housing is available in
MIT dormitories next to Kresge Hall along the Charles River at the cost of
$33/day per person, including 2 meals, for a shared double, and $45/day for a
single room including 2 meals. A Proceedings of Computers & Mathematics 1989,
published by Springer-Verlag and containing the Contributed Papers for the
conference, will be available at the conference. Payments for dormitory
housing, Proceedings (discounted at $25.50), and minicourse notes must reach
the Conference Secretary by June 2, 1989.
For conference booklets and registration forms, please contact
Heather Schmidt, Conference Secretary
62 Eastview, Pleasantville, NY 10570
Telephone: 914/769-2725, Fax: 914/945-2141
CSNET: cm89 at ibm.com, BITNET: cm89 at yktvmz
KEYNOTE ADDRESS
Sir Peter Swinnerton-Dyer (Cambridge)
TUTORIAL MINICOURSES
INTERACTIVE COMPUTER GRAPHICS AND DIFFERENTIAL GEOMETRY
Thomas Banchoff (Brown)
SYMBOLIC INTEGRATION IS ALGORITHMIC
Manuel Bronstein, Barry Trager (IBM Research), James H. Davenport (Bath)
AN INTRODUCTION TO COMPUTATIONAL GROUP THEORY
Gregory Butler (Sydney), John Cannon (Sydney)
COMPUTERS IN UNDERGRADUATE MATHEMATICS: MAKING IT HAPPEN
J. S. Devitt (Saskatchewan), Michael Henle (Oberlin)
THE REGRETTABLE FAILURE OF AUTOMATED ERROR ANALYSIS
William M. Kahan (Berkeley)
THE HP-28S AS A BRIDGE BETWEEN THEORY AND APPLICATIONS
Yves Nievergelt (E. Washington)
GROEBNER BASES: A FOUNDATION FOR COMMUTATIVE ALGEBRA
Lorenzo Robbiano (Genoa)
THE SCIENCE OF FRACTAL IMAGES
Heinz-Otto Peitgen (Bremen), Richard F. Voss (IBM Research)
INVITED TALKS
-- Computers & Mathematics Education --
SOFTWARE FOR STUDENTS TO MAKE MATH: LESSONS FROM SECONDARY GEOMETRY & ALGEBRA
Judah Schwartz (MIT/Harvard)
UNDERGRADATE EXPLORATION INTO COMBINATORICS
Dennis Stanton (Minnesota)
-- Computers & Physics --
ARITHMETIC SERIES, EXPANSIONS, AND EXACT RESULTS IN STATISTICAL MECHANICS
Rodney J. Baxter (Australian National Univ)
THE BIRTH OF THE COSMOS
Alan H. Guth (MIT)
ROULETTE WHEELS AND QUANTUM FIELD THEORY
Michael J. Creutz (Brookhaven)
PLAYING GOD: BUILDING GALAXIES IN A COMPUTER
Richard H. Miller (Chicago)
-- Mathematics & Supercomputing --
COMPUTING IN THE PHOTONIC AGE
Joseph W. Goodman (Stanford)
HOW WE USE COMPUTER ALGEBRA FOR SUPERCALCULATIONS
David V. and Gregory V. Chudnovsky (Columbia)
SUPERCOMPUTING IN THE 1990'S: TERAFLOPS AND BEYOND
Monty M. Denneau (IBM Research)
-- Computers & New Directions in Mathematics --
RANDOM COMPUTATION AND DIFFERENTIAL EQUATIONS
Alexandre Chorin (Berkeley)
RAMANUJAN AND MAPLE: CLASSICAL ANALYSIS AND SYMBOLIC COMPUTATION
Peter Borwein (Dalhousie)
HOW I FIND FUNNY LOOKING FORMULAS
R. William Gosper (Stanford)
SCRATCHPAD AND THE THEORY OF PARTITIONS
George Andrews (Penn State)
-- Mathematics & Computer Graphics --
SUPERCOMPUTER GRAPHICS: CONVERGENCE OF ART AND MATHEMATICS
Donna Cox (Illinois)
NOVEL WAYS TO PAINT AND ANIMATE SURFACES EXTENDED IN FOUR OR MORE DIMENSIONS
George K. Francis (Illinois)
MATHEMATICS AND GRAPHICS OF FRACTALS
Michael F. Barnsley (Georgia Tech)
HOW TO MAKE PICTURES WITH A COMPUTER
Alvy Ray Smith (PIXAR)
THE MAKING OF MATHEMATICA
Stephen Wolfram (Wolfram Research, Inc.)
-- Computers & Combinatorics --
COMPUTATIONAL INSIGHTS INTO PROBLEMS OF COMBINATORICS AND NUMBER THEORY
Andrew Odlyzko (AT&T Bell Labs)
COMPUTERS AND FRIVOLITY
J. H. Conway (Princeton)
COMPUTERS AND THE SEARCH FOR ERROR-CORRECTING CODES
N. J. A. Sloane (AT&T Bell Labs)
HOW TO PROVE BILLIONS OF COMBINATORIAL IDENTITIES AT ONCE
Herbert S. Wilf (Pennsylvania)
SYSTEM TUTORIALS
CAYLEY (Sydney) DERIVE (Soft Warehouse)
GAP (Aachen) MACAULAY (Columbia/Cornell)
MACSYMA (Symbolics, Inc.) MAPLE (Waterloo)
MATHEMATICA (Wolfram Research) REDUCE (RAND Corporation)
SCOLAR (USSR Academy of Sciences) SCRATCHPAD (IBM Research)
SPECIAL EVENTS
COMPUTER GRAPHICS & SCIENTIFIC VISUALIZATION
Maxine Brown (Univ of Illinois, Chicago)
COMPUTER ART AND MUSIC CONCERT
Don Slepian, performing computer artist
Carol Chiani, computer graphics producer
CONTRIBUTED PAPERS
A COMPLETION PROCEDURE FOR COMPUTING A CANONICAL BASIS FOR A k-SUBALGEBRA
D. Kapur (SUNY, Albany), K. Madlener (Kaiserslautern)
PRACTICAL DETERMINATION OF THE DIMENSION OF AN ALGEBRAIC VARIETY
A. Galligo (Nice and INRIA/Sophia Antipolis), C. Traverso (Pisa)
SUMMATION OF HARMONIC NUMBERS
D. Y. Savio, E.A. Lamagna (Rhode Island), S.-M. Liu (Northwestern)
CLASSICALITY OF TRIGONAL CURVES OF GENUS FIVE
P. Viana (MIT and Pontificia Univ Catolica, Rio)
ALGORITHM AND IMPLEMENTATION FOR COMPUTATION OF JORDAN FORM
N. Strauss (Pontificia Univ Catolica, Rio)
A COMPUTER GENERATED CENSUS OF CUSPED HYPERBOIC 3-MANIFOLDS
M. V. Hildebrand (Harvard), J. Weeks (Ithaca, NY)
FAST GROUP MEMBERSHIP USING A STRONG GENERATING TEST FOR PERMUTATION GROUPS
G. Copperman, L. Finkelstein (Northeastern), P. W. Purdom Jr. (Indiana)
SYMMETRIC MATRICES WITH ALTERNATING BLOCKS
A. Hefez (Univ Fed do Esperito Santo, Vitoria, Brazil), A. Thorup (Copenhagen)
COHOMOLOGY TO COMPUTE
D. Leites (Stockholm), G. Post (Twente, The Netherlands)
FINITE-BASIS THEOREMS AND A COMPUTATION-INTEGRATED APPROACH
TO OBSTRUCTION SET ISOLATION
M. R. Fellows (Idaho), N. G. Kinnersley, M. A. Langston (Washington State)
USE OF SYMBOLIC METHODS IN ANALYSING AN INTEGRAL OPERATOR
H. F. Trotter (Princeton)
SIGNS OF ALGEBRAIC NUMBERS
T. Sakkalis (New Mexico State Univ)
EXAMPLE OF COMPUTER ENHANCED ANALYSIS
P. J. Costa, R. H. Westlake (Raytheon, Wayland, MA)
EFFICIENT REDUCTION OF QUADRATIC FORMS
N. W. Rickert (Northern Illinois University)
COMPUTER ALGEBRAIC METHODS FOR INVESTIGATING PLANE DIFFERENTIAL
SYSTEMS OF CENTER AND FOCUS TYPE
D. Wang (Academia Sinica, Beijing)
A STORY ABOUT COMPUTING WITH ROOTS OF UNITY
F. Bergeron (Universite du Quebec a Montreal)
AN ALGORITHM FOR SYMBOLIC COMPUTATION OF HOPF BIFURCATION
E. Freire, E. Gamero, E. Ponce (Univ Sevilla, Spain)
EXACT ALGORITHMS FOR THE MATRIX-TRIANGULARIZATION SUBRESULTANT PRS METHOD
A. G. Akritas (Univ of Kansas)
APPLICATION OF THE REDUCE COMPUTER ALGEBRA SYSTEM TO STABILITY
ANALYSIS OF DIFFERENCE SCHEMES
V. Ganzha (Novosibirsk), R. Liska (Technical Univ of Prague)
COMPUTATION OF FOURIER TRANSFORMS ON THE SYMMETRIC GROUP
D. Rockmore (Harvard)
INTEGRATION IN FINITE TERMS AND SIMPLIFICATION WITH DILOGARITHMS
J. Baddoura (MIT)
LOGIC AND COMPUTATION IN MATHPERT: AN EXPERT SYSTEM FOR LEARNING MATHEMATICS:
M. J. Beeson (San Jose State)
WHY INTEGRATION IS HARD
H. J. Hoover (Alberta)
REPRESENTATION OF INFERENCE IN COMPUTER ALGEBRA SYSTEMS
WITH APPLICATIONS TO INTELLIGENT TUTORING
T. A. Ager, R. A. Ravaglia (Stanford), S. Dooley (Berkeley)
LIOUVILLIAN SOLUTIONS OF LINEAR DIFFERENTIAL EQUATIONS
WITH LIOUVILLIAN COEFFICIENTS
M. F. Singer (North Carolina State)
BUNNY NUMERICS: A NUMBER THEORY MICROWORLD
C. Graci, J. Y. Narayan, R. Odendahl (SUNY, Oswego)
RECIPES FOR CLASSES OF DEFINITE INTEGRALS INVOLVING EXPONENTIALS AND LOGARITHMS
K. O. Geddes, T. C. Scott (Waterloo)
ADVANCED MATHEMATICS FROM AN ELEMENTARY VIEWPOINT:
CHAOS, FRACTAL GEOMETRY, AND NONLINEAR SYSTEMS
W. Feurzeig, P. Horwitz, A. Boulanger (BBN Labs)
ITERATED FUNCTION SYSTEMS AND THE INVERSE PROBLEM OF
FRACTAL CONSTRUCTION USING MOMENTS
E. R. Vrscay (Waterloo)
SYMBOLIC DERIVATION OF EQUATIONS FOR MIXED FORMULATION
IN FINITE ELEMENT ANALYSIS
H.-Q. Tan (Univ of Akron)
WORKING WITH RULED SURFACES IN SOLID MODELING
J. K. Johnstone (Johns Hopkins)
SEMANTICS IN ALGEBRAIC COMPUTATION
D. L. Rector (Univ. of California at Irvine)
USING MACSYMA TO CALCULATE THE EXTRINSIC GEOMETRY
OF TUBES IN RIEMANNIAN MANIFOLDS
H. S. Mills, M. H. Vernon (Lewis & Clark State College)
SIMULTANEOUS COMPUTATIONS OF DIFFERENT CHARACTERISTICS
D. Duval (Universite de Grenoble I)
COMPUTER ALGEBRA IN THE THEORY OF ORDINARY DIFFERENTIAL
EQUATIONS OF HALPHEN TYPE
V.P. Gerdt, N. A. Kostov (Inst Nuclear Research, Dubna)
SYMBOLIC COMPUTATION WITH SYMMETRIC POLYNOMIALS: AN EXTENSION TO MACSYMA
A. Valibouze (LITP, Paris)
CONFERENCE CHAIRS:
David V. Chudnovsky (Columbia), Richard D. Jenks (IBM Research)
ORGANIZING COMMITTEE:
Richard Askey (Wisconsin), Anil Nerode (Cornell), Paul S. Wang (Kent State),
Wolfgang Lassner (Liepzig), John McCarthy (Stanford),
Gregory V. Chudnovsky (Columbia), Joel Moses (MIT)
CONTRIBUTED PAPER COMMITTEE:
Erich L. Kaltofen (Rensselaer), Chair; Johannes Buchmann (Saarbruecken),
Herbert Edelsbrunner (Illinois), John Fitch (Univ of Bath, England),
Keith Geddes (Waterloo), Daniel Lazard (Paris), Michael Overton (NYU),
Fritz Schwarz (GMD Bonn), Neil Soiffer (Tektronix), Evelyn Tournier (Grenoble),
Stephen M. Watt (IBM Research), Franz Winkler (Linz)
TUTORIALS COMMITTEE:
Patrizia Gianni (Pisa), Chair; Stanley Steinberg (New Mexico),
Richard Zippel (Cornell), Larry A. Lambe (UNC)
LOCAL ARRANGEMENTS:
Ellen Golden (Symbolics, Inc.)