Large Expression Management in Computer Algebra for Symbolic Modelling
Wenqin Zhou, Applied Mathematics, University of Western Ontario.
Abstract: 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.