Computation of the maximal degree of the inverse of a cubic automorphism of the affine plane with Jacobian 1 via Gröbner bases (Q1267077)

Let \(K\) be a field of characteristic 0, \(x\) and \(y\) variables. Let \(C_d\) be the smallest integer \(C\) such that if \(f\in\Aut_KK[x,y]\) and \(\det ({\partial f(x,y)\over\partial(x,y)})=1\) and \(\deg(f)\leq d\) then \(\deg(f^{-1}) \leq C\). Using Gröbner bases techniques \(C_3=9\) is computed.