I have three trivariate polynomials in $\mathbb Z[x,y,z]$ and I want to eliminate the variables $y$ and $z$ to get a polynomial in $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?