Challenging the boundaries of symbolic computation : (Imperial college press, 2003)