Challenging the boundaries of symbolic computation. (Imperial Collecge Press, 2003)