Factorisation algorithm for polynomials in several variables over $\mathbb{Z}$.

43 Views Asked by At

What algorithm is used by a CAS to decide how to factor a polynomial in several variables over $\mathbb Z$?