The Songling system has exactly four limit cycles

作者：

Highlights：

• Development of a set of interval arithmetic based tools for rigorous study of planar polynomial vector fields.

• A computer assisted proof that the Songling system has exactly four limit cycles,

• Precise bounds for the positions of these limit cycles.

摘要

•Development of a set of interval arithmetic based tools for rigorous study of planar polynomial vector fields.•A computer assisted proof that the Songling system has exactly four limit cycles,•Precise bounds for the positions of these limit cycles.

论文关键词：Hilbert 16th problem,Planar polynomial vector fields,Limit cycle,Interval arithmetic

论文评审过程：Received 6 May 2021, Revised 22 September 2021, Accepted 27 September 2021, Available online 14 October 2021, Version of Record 14 October 2021.

论文官网地址：https://doi.org/10.1016/j.amc.2021.126691