Symbolic Computation Techniques for Large Expressions from Math. and Engineering door Wenqin Zhou