A cubic system with twelve small amplitude limit cycles

In this paper, the bifurcation of limit cycles for a cubic polynomial system is investigated. By the computation of the singular point values, we prove that the system has 12 small amplitude limit cycles. The process of the proof is algebraic and symbolic.