ISSAC 97: proceedings of the 1997 internationall symposium on symbolic and algebraic computation : july 21-23, 1997, Maui, Hawaii, USA - Kuechlin, Wolfgang W. (ACM,Inc, 1997)