GroebnerBasis[{x^2-2,y^2-3,z*(x+y)-1}, {z,x,y}]