GroebnerBasis[{x2 + y2 + z2 − 4, x2 + 2y2 − 5, xz − 1}, {x, y, z}]