A Gröbner basis criterion for birational equivalence of affine varieties Symbolic computation: Solving equations in algebra, geometry, and engineering. Proceedings of an AMS-IMS-SIAM joint summer research conference, Mount Holyoke College, South Hadley, MA, USA, June 11--15, 2000 