ACA'05 Special Session: **Handling
Large Expressions in Symbolic Computation**

During symbolic computation, it is common for the expressions generated to
grow very large. In some cases, the large expressions appear as intermediate
expressions on the way to relatively compact output, while in other cases, the
large expressions remain present in the output solution. In either case, tools
are needed to help people work with large expressions.

Various tools have been developed independently, and yet they show similarities
in design and intent. For example, in Maple the following independent commands
address similar aspects of large expressions.

1.The Maple "freeze" and "veil" commands.

2. The Maple structure "CompSeq".

3. The Maple "Optimize" command.

More generally, the following research topics have been pursued independently by
a number of people.

1.Computation sequences.

2.Straight line programs.

3.Hierarchical evaluation.

In this session, we invite papers expressing different viewpoints concerning the
handling of large expressions. We would like to merge existing approaches and
define new ones.

Papers describing applications in which large expressions arise are also
welcome. Examples of applications include multibody dynamics, perturbation
computations, matrix computations, etc.

list of speakers in alphabetic order:

- Dan Bates (University of Notre
Dame, USA):

Symbolic representation of polynomial systems for efficient manipulation and evaluation

- Howard Cheng (University of Lethbridge, Canada):

Space-Efficient Evaluation of Hypergeometric Series

- Ishak Hashim and M. N. Mohamad-Fadzil (Universiti Kebangsaan Malaysia, Malaysia):

Perturbation Expansion Techniques to Solution of Fluid Flow Problem Using Symbolic Computation

- Ilias Kotsireas (Wilfrid Laurier University, Canada):

Frontier Computations in the Dynamics of one Dimensional Maps

- Howard Cheng (University of Lethbridge, Canada) and George Labahn (University of Waterloo, Canada):

Output-sensitive Modular Algorithms for Row Reduction of Matrices of Ore Polynomials

- Marc Moreno Maza (University
of Western Ontario, Canada):

Some recipes for handling large expressions in polynomial system solving

- Jesus F. Palacian and Patricia Yanguas (Universidad Publica de Navarra, Spain):

Handling large expressions symbolically in transition state theory

- Rocio Gonzalez-Diaz and Pedro Real (Universidad de Sevilla, Spain):

Large Simplicial Expressions in Algebraic Topology

**Éric Schost**(École Polytechnique, France):

Evaluation Techniques and Symmetric Polynomials

- Hitoshi Yanami (Fujitsu Laboratories, Japan):

Growth of Formulas During Quantifier Elimination by Virtual Substitution

- Wenqin Zhou and David
Jeffrey (University of Western Ontario, Canada):

Hierarchical Representations in Large Expression Generations

Organizers: David Jeffrey and Wenqin Zhou

Dr. David Jeffrey ( djeffrey@uwo.ca )

Professor

Department of Applied Mathematics

University of Western Ontario

London, Ontario, Canada N6A 5B7

Tel: 1 519 661 8782 ; FAX: 1 519 661 3523

Wenqin Zhou (wzhou7@uwo.ca )

PhD student

Department of Applied Mathematics

University of Western Ontario

London, Ontario, Canada N6A 5B7

Tel: 1 519 661 3741

FAX: 1 519 661 3523