Large Expression Management in Computer Algebra for Symbolic Modelling

Wenqin Zhou, 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.