MITACS Seminar Series on Mathematics of Computer Algebra and Analysis

Large Expression Management in Computer Algebra for Symbolic Modelling

Wenqin Zhou, Department of Applied Mathematics, University of Western Ontario

Thursday July 6th, 2006 at 10:30am in K9509.


First I will introduce our large expression problem from symbolic modeling.
Then I will describe a method for managing large expressions in symbolic
computations which combines a hierarchical representation with signature
calculations. As a case study, the problem of factoring matrices with
non-polynomial entries is studied. Gaussian Elimination is used.
Results on the complexity of the approach together with benchmark
calculations are given.

Reference: Wenqin Zhou, J. Carette, D.J. Jeffrey, M.B.  Monagan.
Hierarchical representations with signatures for large expression management.
Proceedings of Artificial Intelligence and Symbolic Computation 2006.