published in Proceedings of the 2004 international symposium on Symbolic and algebraic computation Journal