I have three non-homogeneous trivariate polynomials in $\mathbb Z[x,y,z]$ and I want to eliminate the variables $y$ and $z$ to get a polynomial in $x$. The monomials of the polynomials are $\{1,x^4,x^2,x^2y,x^2z\}$ and I want to reduce to univariate polynomial over $\mathbb Z[x]$.

Is there an automatic algorithm for these purposes?

Is there any useful python library package available?

If not what is the best software for these tasks?