Equivalence of polynomials under automorphisms of \(\mathbb{C}^2\) Mathematics mechanization. Mechanical geometry theorem-proving, mechanical geometry problem-solving and polynomial equations-solving 