Proceedings of the 1993 international symposium on Symbolic and algebraic computation - Bronstein, Manuel (Association for Computing Machinery, 1993)