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