Mathematica 9 is now available
Services & Resources / Wolfram Forums
-----
 /
MathGroup Archive
1992
*January
*February
*March
*April
*May
*June
*July
*August
*September
*October
*November
*December
*Archive Index
*Ask about this page
*Print this page
*Give us feedback
*Sign up for the Wolfram Insider

MathGroup Archive 1992

[Date Index] [Thread Index] [Author Index]

Search the Archive

Major Symbolic Computation Conference

  • To: mathgroup at yoda.physics.unc.edu
  • Subject: Major Symbolic Computation Conference
  • From: fateman at peoplesparc.berkeley.edu (Richard Fateman)
  • Date: Fri, 24 Apr 92 07:41:27 PDT


           ISSAC '92 ADVANCE PROGRAM AND REGISTRATION 

              INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND 
                   ALGEBRAIC COMPUTATION 

                 Berkeley, California, USA  
                    July 26-29, 1992

                    Workshop, July 30 

              Sponsored by ACM SIGSAM and ACM SIGNUM  
 
----------------------------------------------------------------------------

                      ISSAC '92 ADVANCE PROGRAM

SUNDAY, JULY 26, 1992 

7:00-10:00 PM  Reception:  Desserts and Wine at
               the Univ. of Calif. Women's Faculty Club.

MONDAY, JULY 27, 1992 

[9:00-10:00]  Invited Speaker: 
              W. Kahan, (U.C. Berkeley), "A Fear of Constants"

[10:00-10:20] Break 

[10:20-12:00] SYMBOLIC I 

    Using Computer Algebra to Select Numerical Algorithm 
	by M.C. Dewar

    A New Symbolic--Numeric Approach to Stability
              Analysis of Difference Schemes 
	by V.G Ganzha, E.V. Vorozhtsov and J.A. Van Hulzen

    Fast Computation of Numerical Partial Fraction 
            Decompositions and Contour Integrals of Rational Functions 
	by P. Kirrinnis

    Code Generation in ALPAL Using Symbolic Techniques 
	by G.O. Cook

    Hybrid Symbolic--Numeric Integration in MAPLE 
	by K.O. Geddes and G.J. Fee

[12:00-2:00] Lunch 

[2:00-3:40] DIFFERENTIAL EQUATIONS

    Linear Ordinary Equations : Breaking through the
	by M. Bronstein	

     On Algebraic Solutions of First Order Riccatti
            Equation  
	by  A.Yu. Zharkov

    Reduction and Completion Algorithms for Partial 
            Differential Equations 
	by F. Schwarz 

    Liouvillian Solutions of Third Order Linear 
            Differential Equations: New Bounds and Necessary Conditions  
	by M. Singer and F. Ulmer

    Algorithmic Determination of Commutation 
            Relations for Lie Symmetry Algebras of PDEs  
	by G.J. Reid, I.G. Lisle, A. Boulton and A.D. Wittkopf


[3:40-4:00] Break 

[4:00-5:40] DIFFERO SOFTWARE

    NODES : Nonlinear Ordinary Differential
            Equations Solver  
	by M. Codutti


    A Combined Symbolic/Numeric Approach for
            the Integration of Stiff Nonlinear Systems of ODE's 
	by M. Russo

    The Explicit Computation of Integration Algorithms and First Integrals 
            for Ordinary Differential Equations with Polynomial 
            Coefficients Using Trees 
	by R. Grossman

    Solving Linear Integral Equations in Maple 
	by Honglin Ye and R. Corless
		
    The Computation of 1-loop Contributions in Y.M.
            Theories with Class III Nonrelativistic Gauges and REDUCE 
	by A. Burnel and H. Caprasse


[7:00-9:00] SIGSAM Business Meeting 

[9:00] Discussion of ISSAC Issues 
                         
TUESDAY, JULY 28, 1992 

[9:00-10:20] ALGEBRAIC ALGORITHMS I

    The Elementary Constant Problem 
	by D. Richardson	

    Existence of Short Proofs for Nondivisibility of Sparse 
            Polynomials under the Extended Riemann Hypothesis 
	by Dima Grigoriev, Marek Karpinski and Andrew M. Odlyzko

    Primality Testing Revisited 
	by J.H. Davenport

    Asymptotic Expansions of Functional Inverses 
	by B. Salvy and J. Shackell	

[10:20-10:40] Break 

[10:40-12:20] ALGEBRAIC SOFTWARE 

    Computation of the Jordan Canonical Form of a
            Square Matrix (Using the Axiom Programming Language) 
	by I. Gil

    Homogeneous Decomposition of Polynomials 
	by J. Weiss

    A Practical Implementation of Two Rational
            Function Decomposition Algorithms 
	by J. Gutierrez and T. Recio

    MultiPolynomial Resultants and Linear Algebra 
	by D. Manocha and J. Canny

    Parallel Univariate p-adic Lifting on
            Shared-Memory Multiprocessors  
	by P. Wang 

[12:20-2:00] Lunch 

[2:20-4:00] REAL ALGEBRAICS AND ROOT ISOLATION

    Simple Solution Formula Construction in Cylindrical 
            Algebraic Decomposition based Quantifier Elimination 
	by Hoon Hong

    An Efficient Algorithm for Infallible Polynomial
            Complex Root Isolation  
	by G.E. Collins and W. Krandick

    Real Algebraic Number Computation using
            Interval Arithmetic  
	by J.R. Johnson

    Algebraic Closure of an Ordered Field,
            Implementation in Axiom 
	by R.Rioboo

    Honest Plotting, Global Extrema, and Interval
            Arithmetic  
	by Richard Fateman

  [4:00-4:20] Break 

  [4:20-6:00] GROUPS AND NUMBER THEORY

    The Structure of the PIMs of SL (3,4) in
            Characteristic 2  
	by W. Lempken and R. Staszewski

    Computing Presentations for Subgroups of
            Context-Free Groups  
	by N. Kuhn, K. Madlener and  F. Otto

    Experimental Comparison of Algorithms for Sylow
            Subgroups  
	by Greg Butler

    Easy Numbers for the Elliptic Curve Primality
            Proving Algorithm  
	by F. Morain

    Parallel Lattice Basis Reduction 
	by G. Villard

WEDNESDAY, JULY 29, 1992 

[9:00-10:00] Invited Speaker: 
	J. Rice (Purdue University), "What is an Answer?"

[10:00-10:20] Break 

[10:20-12:00] SYMBOLIC II

    On Stability Analysis of Linear Stochastic and
            Time-Varying Deterministic Systems  
	by C. Cetinkaya

    An Approach for Floating-Point Error Analysis
            using Computer Algebra  
	by M. Mutrie, R. Bartels and B. Char 

    ADIFOR Automatic Differentiation in a Source
            Translator Environment  
	by C. Bischof, A. Carle, G. Corliss and A. Griewank

    Lispack : A new Symbolic Package for the Definition, Analysis 
            and Resolution of Markovian Processes 
	by F. Marinuzzi and S. Soliani

    The Matrix Editor for Symbolic Jacobians in ALPAL 
	by J. Painter

[12:00-2:00] Lunch 

[2:00-3:40] ALGEBRAIC ALGORITHMS II

    Grobner Bases Computation Using Syzygies	  
	by H.M. M  T. Mora and C. Traverso

    Finite Grobner Bases in Non-Noetherian Skew
            Polynomial Rings  
	by V. Weispfenning

    Solving Parametric Algebraic Systems 
	by Xiao-Shan Gao and Shang-Ching Chou

    On Computing Determinants of Matrices without Divisions 
	by E. Kaltofen

    Solving the Yang-Baxter Equation in 2 Dimensions
            with Massive Use of Factorizing Grobner Basis Computations 
	by J. Hietarinta

[3:40-4:00] Break 

[4:00-5:40] SYSTEMS AND INTERFACES

    The Design of a User Interface to a Computer
            Algebra System for Introductory Calculus 
	by E. Lamagna, M. Hayden and C. Johnson

    A Polymorphic Functional Language Applied to
            Symbolic Computation  
	by S. Dalmas

    CAS/PI: a Portable and Extensible Interface for
            Computer Algebra Systems 
	by N. Kajler

    Risa/Asir: A Computer Algebra System 
	by M. Noro and T. Takeshima

    An Object-Oriented Language for Symbolic
            Computation Applied to Machine Element Analysis  
	by L. Viklund	and P. Fritzson

    End of ISSAC Conference 


THURSDAY, JULY 30, 1992 

  NSF-sponsored workshop: Integrated Symbolic-Numeric Computing.


- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 

                       NSF-SPONSORED WORKSHOP 

A workshop, entitled "Integrated Symbolic-Numeric Computing,"
and supported by the U.S. National Science Foundation, will
be held on Thursday, July 30, at the same location as the ISSAC conference.  
The subject of the workshop is the emerging area of combined symbolic and 
numeric methods for scientific and engineering problem solving, with 
possibly the necessary use of high performance computing environments. 
The invited talks will cover the areas of numerical techniques for symbolic 
problems, symbolic techniques for numerical problems, and applications of 
symbolic--numeric methods, as cited in the proposal.  In addition, ample time 
will be available for impromptu presentations and discussions by the 
workshop attendees.  The workshop is open to the public with no registration 
fee.

For further information regarding the workshop, contact: 

Stanly Steinberg  
Department of Mathematics and Statistics  
University of New Mexico  
Albuquerque, NM   87131-1141 USA  
(505) 277-5323  
   stanly at math.unm.edu   


                           OTHER EVENTS

Reception and Barbecue:  
   A reception on Sunday evening and barbecue on Tuesday evening 
   are included in your full registration fee (not student fees).  
   Additional tickets can be purchased for non-registered
   persons or students for an extra  $18.

Meals:  
   During the conference, meals will be available at the Foothill Housing
   cafeteria.  The hours are: breakfast 7:15--9:00, lunch 11:30--1:30,
   dinner 5:00--6:30.  For attendees staying in the Foothill Housing on 
   campus, meals are included in the housing cost; meal tickets will be
   issued at check-in time.  Others may purchase individual meals with cash.

Business Meeting:  
   There will be a business meeting for SIGSAM on Monday evening after 
   dinner.

Discussion of ISSAC Issues:  A discussion of ISSAC organizational
   issues, as requested by J. von zur Gathen, will follow the business
   meeting.

--------------------------------------------------------------------------
                        LOCATION AND HOUSING

ISSAC-92 will be held on the campus of the University of California at
Berkeley.  Residence rooms will be available at the Foothill Student
Housing Complex, a modern (1.5 year old) facility on the north side of
the campus at 2700 Hearst Ave, Berkeley.  ISSAC-92 technical sessions will 
be held in the Sibley Auditorium of the Bechtel Engineering Center, a short 
walk from the residence halls.  

Special group rates are available including meals for the duration of 
the conference: $164.00 per person double occupancy, and $224.00 per 
person single occupancy.  These rooms are arranged in suites, with 4 
to 11 rooms per suite. Each suite has one or two lavatory/baths, linens 
and towels, and telephones.  We encourage you to request double occupancy 
rooms so that we may accommodate all the conference attendees on site.
This single room and board fee covers arrival for brunch on the afternoon 
of Sunday July 26, through departure after breakfast on the morning of 
Thursday, July 30.  There is no reduction for shorter stays or missed meals.

Persons arriving before Sunday may be accommodated at adjacent Stern Hall, 
an older dormitory, for a low daily rate.  However, we suggest that you 
consider staying in San Francisco or other tourist locations, or stay in 
an airport hotel at weekend rates.  

You may arrange private hotels accommodations in the area; in such cases, 
conference meals may be purchased for cash at the conference or at
nearby restaurants.  Prices quoted for hotels below are without
meals.  Call before June 26 and mention ISSAC-92 for these discount rates.

Here are some nearby hotels:

Hotel Durant, located at 2600 Durant Ave. Berkeley, CA 94704, is
easy walking distance to the conference.  Toll free: (800) 238-7268; 
local phone (510)  845-8981; FAX: (510) 486 8336.  Typical rates are: 
$75/single, $85/double.

The Shattuck Hotel, located at Shattuck Ave. and Allston Way in Berkeley,
is a long walk or a short shuttle bus ride to the conference site.
Toll free: (800) 237-5359; in California, (800) 742-8825; 
local phone (510) 845-7300.  Typical rates are:  $82/single, $97/double.

The (luxurious) Claremont Resort Hotel, is located at Ashby and Domingo
Aves., Oakland, CA 94623.  It is approximately 2 miles from the meeting. 
Call (800) 551-7266 reservations; FAX (510) 843-6239.  Typical rates 
are: $149 and up for single, $169 and up for double.

                            TRANSPORTATION  
 

The University of California at Berkeley campus is about 45 minutes by
car from the San Francisco International Airport, and 30 minutes from
the Oakland International Airport.  Foothill Housing is at the North
East corner of the campus near the intersection of Hearst Ave. and
Gayley/LaLoma Road.  If you are driving a rental car from an airport
(all major rental car agencies have offices at both airports), ask for
direction and a map to Berkeley.

One recommended route from interstate highway 80 is to take the
University Ave. exit in Berkeley.  Follow University Ave. (East) until
a T at Oxford St.  Turn Left on Oxford then (almost immediately) right
on Hearst Ave.  Follow Hearst (uphill) just past Gayley/LaLoma (This
is one street which changes names as it crosses Hearst).  See the
signs for the registration area about 100 meters ahead and to your
right.  This address is 2700 Hearst.  The registration desk is through
the gate and to the right.  After hours, visit the registration desk
for Stern Hall: through the gate and straight ahead.

Since parking at registration is quite limited, you may have to park
behind the residence halls -- follow Hearst Ave up to parking lots on
your right.  You can then walk down to the registration desk. (You may
find it better to leave luggage in your car temporarily, since you
would then have to carry it back up to the rooms.)  Note that
if you intend to keep a car at the conference site, you must obtain a
parking permit and pay $15 for the week.

It is certainly not necessary to have a car during the conference.
If you are not driving from the airport, there are several bus services;
you may take any of them that will take you to Berkeley, but only
the Bay Porter Express (1-800-548-8811 or 415-467-1800) offers door-to-door
service from either airport (for about $15). Taxi service is also available
and may be less expensive for groups of 3 or more.  Public transportation 
via Bay Area Rapid Transit (BART) and shuttle busses at both ends is also 
available, but is time consuming.

AMTRAK (train) and Greyhound Bus service provide transportation
to Berkeley or nearby Oakland or Richmond.  A taxi from these stations
(for about $15) is the simplest way to reach the conference site.

                        ACTIVITIES IN THE AREA 

Berkeley, San Francisco, and other nearby areas provide an unparalleled 
opportunity for cultural and recreational pursuits.

San Francisco is justly regarded as the most scenic city in the United
States.  It is surrounded on three sides by the Pacific Ocean and 
San Francisco Bay.  Its buildings and streets, located on a succession
of steep hills, provide an unending series of exhilarating views.
The mountainous Marin Peninsula lies just across the Golden Gate Bridge, 
and the Berkeley area lies on the eastern edge of the bay.  

The Bay Area provides an abundance of cultural events through its
museums, theaters, symphonies, opera, ballet, jazz festivals, and other
performing arts.  There is a great variety of cultural events and 
an outstanding art museum on the Berkeley campus itself.  

Virtually every cuisine can be enjoyed in the famous restaurants of 
San Francisco and Berkeley.  The scenic Napa Valley, just a one hour
drive from Berkeley, produces some of the best wines of the United
States; most wineries welcome visitors and provide free tasting rooms.

The climate provides a year-round opportunity for such outdoor 
sports as sailing, tennis, and golf.  For a small fee conference attendees 
may also use the extensive campus recreational facilities.

Northern California enjoys a wealth of opportunity for those interested
in hiking, camping, bicycling, or just sight-seeing.  A few hours to 
the south of the Bay Area along the coast are Monterey, Carmel, and the 
Big Sur area where the coast range reaches the ocean.  To the north are the 
Mendocino coast, the redwood trees, and Mount Shasta.  In the Bay Area 
itself, Mount Diablo, Mount Tamalpais, Muir Woods, and the Point Reyes 
National Seashore provide many recreational facilities.  

ISSAC is not scheduling conference group tours, but tours to 
surrounding areas are readily available, and public transportation into 
San Francisco is fast and pleasant.

                               CLIMATE

The weather in Berkeley is dominated by a maritime climate.
July is almost invariably dry and often cool, with morning and evening fog.
The average daily high temperature is 72F (22C); the average daily low is
54F (12C). A light sweater or jacket is advisable. 


CONFERENCE OFFICERS:
 Erich Kaltofen (Chair)     
 Richard Fateman    Robert Grossman   Daniel Lazard  
 Moss Sweedler      Barry Trager      Paul Wang      

PROGRAM COMMITTEE:
 Bruce Char         Henri Cohen       James Davenport  
 Jean Della Dora    John Gilbert      Lakshman Y. N.  
 Daniel Lazard      Gerhard Michler   Michael Monagan  
 Jean-Jacques Risler  Horst Simon     Stanly Steinberg  
 Barry Trager       Carlo Traverso    Richard Zippel     

LOCAL ARRANGEMENTS COMMITTEE:
 John Canny     James Demmel   Richard Fateman  
 Katherine Yelick  

MAJOR CONTRIBUTORS:  Waterloo Maple Software and Wolfram Research, Inc. 
CONTRIBUTORS:   Prescience Corp. and SoftWarehouse, Inc.



- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -

                REGISTRATION FOR ISSAC '92 

The registration fees for ISSAC '92 are listed below.  To qualify for the 
early registration fee, your registration application must be received by 
Monday, June 29.  The non-student registration fee includes the Sunday night 
reception, the Tuesday night barbecue, coffee breaks, and a copy of the 
proceedings.  The student fee includes all of the above except the banquet.

Name ____________________________________________________________________

Accompanying person(s) __________________________________________________

Affiliation _____________________________________________________________

Street Address __________________________________________________________

City  State _____________________________________________________________

ZIP or Country &  Postal #_______________________________________________

Telephone _______________________________________________________________

Email _________________________ Phone ___________________________________


Please circle the appropriate feee, and 
fill in your membership number if appropriate:_______________________

                                      early     late  
ACM, SIGSAM, SIGNUM member             $270     $300  
Non member                             $300     $350  
Student                                 $80      $80  

Additional registration charges: 	       Amount  

Extra Barbecue Tickets (#_____ at $18)        _______

Parking at $15                                _______

TOTAL REGISTRATION COST (US dollars)          _______

If you have submitted a paper that was accepted for optional
presentation at a poster session and intend to present it, 
please indicate the title:


                            HOUSING FORM 

Please check one to indicate your preference for rooms at Foothill 
Housing: 

_____  None (I will arrange my own housing.)   
_____  Single   ($224.00)  
_____  Double   ($164.00)  
               ___ share with _________________________
               ___ please match with roommate (M/F)  

_____  I would like to stay through Thursday night   
                (Add $30 per person for a double, $44 for a single)    

_____  Please reserve an early-arrival residence hall room prior to the 
        start of the conference, 
        beginning with the date:__________________

(Payment for early-arrival rooms is due at check-in.  The amount will 
vary depending on accommodations, but will be less than $44 per night.)

Arrival day/time (airline flight info 
etc.) in the San Francisco Bay Area: _________________________________

Estimated check-in time at Berkeley campus: _______________________
   
Please complete the conference registration form and 
housing form, and fill in the total costs below.

Subtotal from housing form:            _____________

Subtotal from conference registration: _____________

TOTAL AMOUNT ENCLOSED:                 _____________

Send the forms, along with a check or money order for the total
amount, to the address given below.  Checks in US dollars should be
made payable to ``Regents, University of California'': 

                   ISSAC '92 Registration 
                   c/o Katherine Yelick  
                   571 Evans Hall  
                   Computer Science Division, EECS  
                   University of California  
                   Berkeley, CA   94720 








  • Prev by Date: Re: Re.Iterations.. (function composition) the whole story
  • Next by Date: Mathematica Journal: One Liners
  • Previous by thread: Re: Re.Iterations.. (function composition) the whole story
  • Next by thread: Mathematica Journal: One Liners