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

Conference on Applications of Computer Algebra
July 31 - August 3, 2005
Nara Women's University, Nara, JAPAN

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.

Schedule of Talks

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