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