[ACM Press the 1995 international symposium - Montreal, Quebec, Canada (1995.07.10-1995.07.12)] Proceedings of the 1995 international symposium on Symbolic and algebraic computation - ISSAC '95 - Comparison of various multivariate resultant formulations