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: ______________________________________________________