abdali@udel.edu (Kamal Abdali) (07/04/89)
ACM - SIGSAM 1989 International Symposium on Symbolic and Algebraic Computation ISSAC-89 Portland, Oregon July 17-19, 1989 Conference Chair Kamal Abdali (NSF) Program Chair Gaston Gonnet (Univ of Waterloo) Local Arrangements Chair Bruce Jensen (Portland State Univ) Exhibition Chair Dennis Arnon (Xerox PARC) Tutorials Chair Keith Geddes (Univ of Waterloo) Publicity Chair Benton Leong (Univ of Waterloo) Program Committee Manuel Bronstein (IBM) Bob Caviness (University of Delaware) Patrizia Gianni (University of Pisa) Gaston Gonnet (University of Waterloo) Anthony Hearn (RAND Corp.) Tetsuo Ida (University of Tsukuba) Daniel Lazard (Universite Paris) Teo Mora (Universita di Genova) Franz Winkler (Johannes Kepler Universitaet) The 1989 International Symposium on Symbolic and Algebraic Computation will be held in Portland, Oregon on July 17-19, 1989. The conference will feature original research contributions, tutorials, demonstra- tions of hardware and software and invited lectures. The conference includes six technical paper sessions, four tutorial sessions, and an exhibition of hardware and software systems. Program Sunday 7:45 AM - 8:00 PM Mt. St. Helens Bus Tour Sunday 9:00 AM - 5:00 PM Tutorials Tutorial 1: 9:00 AM - 12:00 Handling Algebraic Numbers in Computer Algebra D. Duval (Universite de Limoges) Tutorial 2: 2:00 PM - 5:00 PM Parallel Algebraic Algorithm Design E. Kaltofen (Rensselaer Polytechnic Institute) - 2 - Tutorial 3: 9:00 AM - 12:00 Systems Tutorial I Reduce, Macsyma, Mathematica, Macauley Tutorial 4: 2:00 PM - 5:00 PM Systems Tutorial II DOE Macsyma, Maple, Scratchpad, Derive Sunday 7:00 PM - 10:00 PM Conference Reception Monday 8:00 - 12:00 Session Chair: B. Caviness (Univ of Delaware) A Survey of Formal Solutions of Differential Equations Michael Singer (North Carolina State Univ) On the Reduction of Linear Systems of Difference Equations M.A. Barkatou (INPG) A Differential-Equations Approach to Functional Equivalence J. Shackell (Univ of Kent at Canterbury) Series Solutions of Algebraic and Differential Equations: A Com- parison of Linear and Quadratic Algebraic Convergence R.J. Fateman (Univ of California) A Factorization Algorithm for Linear Ordinary Differential Equations F. Schwarz (GMD) An Improved Las Vegas Primality Test E. Kaltofen (RPI), T. Valente (RPI) & N. Yui (Queen's Univ) On Some Computations with Dense Structured Matrices V. Pan (City Univ of New York) Inversibility of Rational Mappings and Structural Identifiability in Automatics F. Ollivier (Ecole Polytechnique) Knuth-Bendix Procedure and Buchberger Algorithm - A Synthesis F. Winkler (Johannes Kepler Universitaet) Monday 1:00 - 5:40 Session Chair: G. Gonnet (Univ of Waterloo) Symbolic Algebra in Mathematics: Dreams and Reality Andrew M. Odlyzko (AT&T Bell Labs) Lookup Tables, Recurrences and Complexity R.J. Fateman (Univ of California) Labeled Trees and the Efficient Computations of Derivations R. Grossman & R.G. Larson (Univ of Illinois at Chicago) Absolute Factorization of Bivariate Polynomials C. Bajaj (Purdue), J. Canny (UC Berkeley), T. Garrity (Rice) & J. Warren (Rice) - 3 - A New Modular Algorithm for Computation of Algebraic Number Polynomial GCDs T.J. Smedley (Univ of Waterloo) A Fast, Reliable Algorithm for Calculating Pade-Hermite Forms S. Cabay (Univ of Alberta) & G. Labahn (Univ of Waterloo) Computing With Algebraic Series M.E. Alonso, Teo Mora & M. Raimondo (Universita di Genova) Recovery of Algebraic Numbers from Their p-adic Approximations J. Abbott (Rensselaer Polytechnic Institute) Solving Systems of Non-Linear Equations Faster J. Canny (UC Berkeley), E. Kaltofen (RPI) & L. Yagati (RPI) Some Results on the Defect R. Bradford (Univ of Bath) Sturm-Habicht Sequence L. Gonzalez, H. Lombardi, T. Recio & M-F. Roy (Universidad de Canta- bria) Monday 8:00 PM Sigsam Business Meeting ISSAC Business Meeting Tuesday 8:00 - 12:00 Session Chair: A.C. Hearn (RAND Corp.) Designing a Software Environment for Studying Algebraic Structures John Cannon (Univ of Sydney) MINION: An Environment to Organize Mathematical Problem Solving J.M. Purtilo (Univ of Maryland) How Can REDUCE be Run in Parallel? J. Fitch (Univ of Bath) A Code Optimization Package for REDUCE J.A. van Hulzen (Twente), B.J.A. Hulshof (Philips), B.L. Gates (RAND) & M.C. van Heerwaarden (Twente) IRENA - An Integrated Symbolic and Numerical Computation Environment M.C. Dewar (Univ of Bath) A MACSYMA Package for the Generation and Manipulation of Chebyshev Series T.H. Einwohner (Lawrence Livermore) & R.J. Fateman (UC Berkeley) GENCRAY: A Portable Code Generator for Cray Fortran S. Weerawarana & P.S. Wang (Kent State Univ) Experimenting the Groebner Basis Algorithm With the AlPI System C. Traverso (Universita di Pisa) - 4 - A Program Generator for Efficient Evaluation B.R. Miller (NIST) Tuesday 1:00 - 4:20 Session Chair: D. Lazard (Universite Paris) Computing with Algebraic Numbers - An Example of Dynamic Evaluation Dominique Duval (Universite de Limoges) Simplification of Real Elementary Functions M. Bronstein (IBM) On the Risch-Norman Algorithm and Its Implementation in MAPLE K.O. Geddes & L.Y. Stefanus (Univ of Waterloo) Unleashing Computer Algebra on the Mathematics Curriculum J.S. Devitt (Univ of Saskatchewan) Symbolic Summation with Generating Functions R.A. Ravenscroft (Brown) & E.A. Lamagna (Univ of Rhode Island) Automatic Reasoning About Numerical Stability of Rational Expressions B.W. Char (Univ of Tennessee) Computing the Normal Forms of Matrices Depending on Parameters G. Chen (INPG) Tuesday 5:30 - 10:00 Conference Banquet Scenic Bus Tour of Portland Conference Banquet Symbolic Computation: Directions for Future Research A.C. Hearn (RAND Corp.), Moderator Wednesday 8:00 - 12:00 Session Chair: M. Bronstein (IBM) Computer Algebra - the Method of Averaging and Elliptic Functions Richard Rand (Cornell Univ) On the Castelnuovo Regularity for Curves M. Giusti (Ecole Polytechnique) Careful Algebraic Translations of Geometry Theorems B. Kutzler (Johannes Kepler Univ) Quantifier Elimination and the Sign Variation Method for Real Root Isolation G.E. Collins & J.R. Johnson (The Ohio State Univ) On the Computer Solution of Symmetric Homogeneous Triangle Inequali- ties S. Rabinowitz - 5 - Dense Representation of Affine Coordinate Rings of Curves with One Point at Infinity S.C. Porter (Boise State Univ) A Parallel Implementation of the Cylindrical Algebraic Decomposition Algorithm B.D. Saunders (Delaware), H.R. Lee (Delaware) & S.K. Abdali (NSF) Massively Parallel Symbolic Manipulations A. Deprit (NIST) & E. Deprit (US Naval Research Lab) Parallel Algorithms for Hermite Normal Form of an Integer Matrix F. Siebert-Roch (INPG-CNRS) Wednesday 1:00 - 5:00 Session Chair: T. Mora (Universita di Genova) Decomposition of Polynomial Equation Systems by Groebner Type Methods Herbert Melenk (Konrad-Zuse-Zentrum fuer Informationstechnik) Using Rewriting Techniques to Solve the Generalized Word Problem in Polycyclic Groups J. Avenhaus & D. Wissmann (Universitaet Kaiserslautern) A Method for Enumerating Cosets of a Group Presented by a Canonical System N. Kuhn & K. Madlener (Universitaet Kaiserslautern) Reduction of Group Constructions to Point Stabilizers G. Cooperman (Northeastern), L. Finkelstein (Northeastern) & E. Luks (Oregon) Strong Normalizability for the Combined System of the Pure Typed Lambda Calculus and an Arbitrary Convergent Term Rewrite System M. Okada (Concordia Univ) A Note on Theorem Proving Strategies for Resolution Counterparts of Non-Classical Logics P. O'Hearn (Queen's Univ) & Z. Stachniak (York Univ) Employing Path Dissolution To Shorten Tableaux Proofs N.V. Murray (SUNY Albany) & E. Rosenthal (Univ of New Haven) Constrained Equational Reasoning C. Kirchner & H. Kirchner (LORIA) Resolvantes et Fonctions Symetriques A. Valibouze (Universite Paris) - 6 - General Information Location All technical sessions, exhibits, and tutorials will held at the Portland Hilton in downtown Portland. Transportation The Portland International Airport is served by most major airlines. The Portland Hilton provides a limo service to and from the airport. In addition, the RAZ bus provides transportation between the airport and major Portland hotels for $5 each way. Climate Portland's weather is mild. Rain, if any, is likely to be light to intermittent. The average daytime high is 79 degrees and the average nighttime low is 56 degrees. Locale The Coastal Range to the west and the snow capped Cascades to the east, the majestic Columbia River Gorge and the serene Wil- lamette River, recollections of a pioneer heritage, fountains, forests, sculpture, carousels, galleries, and roses - every view of Portland is the right one. You'll find the ISSAC-89 conference is right in the city - within walking distance of fine restaurants, shops, and theaters - but it is also on the riverbank as well as near parks, esplanades, and jogging paths. Conference Events In addition to the technical program, tutorials, and exhibits, there will be a reception on Sunday evening, business meetings on Monday evening, a banquet at the World Forestry Center and a post-prandial panel discussion on Tuesday evening. Also, there will be a bus excursion to Mt. St. Helens Volcanic National Park (site of the 1980 volcanic eruption) and the Columbia Gorge scenic area on Sunday. The all-day excursion includes a box lunch. The cost of the tour is $23.50 and is contingent upon receiving a sufficient number of pre-paid reservations. Registration Fee The regular registration fee includes the recep- tion on Sunday evening, the banquet on Tuesday evening, all coffee breaks, and a copy of the proceedings. Student registration includes everything except the banquet. Student Accomodations There are a limited number of rooms at the Portland State University available to accomodate students during the conference. These accomodations are within 20 minutes walking dis- tance to the conference hotel and local buses run between the hotel and the university frequently. The charge for a room is $18 per night and includes breakfast. - 7 - Advance Registration Please use this form or a facsimile to preregister. Advance registra- tion forms must be received by June 28 to qualify for the early registration rates. Please mail registration forms with a check drawn on a U. S. bank or with an international money order in U.S. funds payable to ACM ISSAC 89 to: ACM ISSAC 89 Conference c/o Dr. Bruce Jensen Department of Mathematics Portland State University P.O. Box 751 Portland, Oregon 97201 Registration form ACM ISSAC 89 Name (last, first) _________________________________________ Affiliation ________________________________________________ Address ____________________________________________________ City _______________ State _________________________________ Zip/Postal Code _____ Country ______________________________ Phone number _______________________________________________ Electronic mail address ____________________________________ Please circle appropriate fees. Pre-reg. Late reg. ACM and Sigsam member $200 $250 ACM or Sigsam member $210 $260 Non-member $220 $270 Student $80 $80 Additional banquet tickets ___ x @$40ea Mount St. Helens Excursion ___ x @$23.50ea Student housing nights: ___ @$18/night Tutorial Sessions (member) ___ x @$40ea Tutorial Sessions (non-member) ___ x @$50ea Circle Tutorial Numbers: 1 2 3 4 Total enclosed: $ _____ - 8 - Hotel Registration A block of rooms has been reserved for conference participants. If you wish to reserve one of these rooms at the conference rates, please complete this form and return it by mail or fax (503-220-2565) by June 18: Portland Hilton 921 SW Sixth Avenue Portland, Oregon 97204 Attention: Reservations If you call the hotel (503-226-1611), please mention that you are attending the ACM Sigsam ISSAC 89 conference to qualify for the rates below. Accommodations should be confirmed for at least the first night with either a check or a major credit card (see list of acceptable credit cards below). The conference rate at the Portland Hilton is $72 per night for a room with either single or double occupancy. Triple and quadruple occu- pancy may be added for $10 per extra person. The conference rate will be honored for up to three days before the start of the confer- ence and up to three days after the conference (subject to room avai- lability). Hotel Reservation Form ACM Sigsam ISSAC 89 Conference July 17-19, 1989 Name (last, first) ______________________________________________ Affiliation _____________________________________________________ Address _________________________________________________________ City_____________________________________________________________ Zip/Postal Code __________ Country _____________________________ Phone number ____________________________________________________ Arrival Date __________ Time ____________________________________ Departure Date __________ Time __________________________________ Number of persons: ______________________________________________ Deposit enclosed: $_____________________________________________ Credit card number: _____________________________________________ Expiration date: ________________________________________________ Signature: ______________________________________________________