Computer mathematics 8th Asian symposium, ASCM 2007, Singapore, December 15-17, 2007 : revised and invited papers / - Kapur, Deepak. (Springer,)