A Gröbner basis criterion for birational equivalence of affine varieties Mathematics mechanization. Mechanical geometry theorem-proving, mechanical geometry problem-solving and polynomial equations-solving 