Proceedings of the 2004 international symposium on Symbolic and algebraic computation - Schicho, Josef (Association for Computing Machinery, 2004)