P
Initializing...
Degree bound $(d_1+d_2)^2$ on the coefficient resultant · Prove2Me