摘要
摘要
1 Alefeld，G.，Herzberger，J.：区间计算简介。 纽约学术出版社（1983） 谷歌学者 
2 Chen，F.，Li，C.，Llibre，J.，Zhang，Z.：关于弱Hilbert第16问题的统一证明 n个 =2.J.差异。 埃克。 221 (2), 309–342 (2006) 谷歌学者 三。 Christopher，C.，Li，C.：微分方程的极限环。 数学高级课程。 CRM巴塞罗那。 Birkhäuser Verlag，巴塞尔（2007年） 谷歌学者 4 CXSC-C++科学计算扩展，2.0版。 可从以下位置获得 http://www.math.uni-wuppertal.de/org/WRST/xsc/cxsc.html 谷歌学者 5 Duff，G.F.D.：极限循环和旋转向量场。 安。数学。 （2） 57 , 15–31 (2006) 谷歌学者 6 Dumortier，F.，Li，C.：四阶椭圆哈密顿量的扰动。 I.鞍环和两个鞍环。 J.差异。 埃克。 176 (1), 114–157 (2001) 谷歌学者 7 Dumortier，F.，Li，C.：四阶椭圆哈密顿量的扰动。 二、。 Cuspidal环。 J.差异。 埃克。 175 (2), 209–243 (2001) 谷歌学者 8 Dumortier，F.，Li，C.：四阶椭圆哈密顿量的扰动。 三、 全球中心。 J.差异。 埃克。 188 （2） ，473–511（2003年） 谷歌学者 9 Dumortier，F.，Li，C.：四阶椭圆哈密顿量的扰动。 四、 图八：。 J.差异。 埃克。 188 (2), 512–554 (2003) 谷歌学者 10 Dumortier，F.，Roussarie，R.：阿贝尔积分和极限环。 J.差异。 埃克。 227 （1） ，116–165（2006年） 谷歌学者 11 埃卡莱，J.：《杜拉克猜想的可分析功能和构造性导论》。 【可分析函数介绍和Dulac猜想的构造性证明】。 现实数学。 [当前数学主题]。 赫尔曼，巴黎（1992） 谷歌学者 12 Gabai，D.，Meyerhoff，G.R.，Thurston，N.：同伦双曲3流形是双曲的。 安。数学。 （2） 157 (2), 335–431 (2006) 谷歌学者 13 古根海默，J.：平面向量场的相图：计算机证明。 实验数学。 4 (2), 153–165 (1995) 谷歌学者 交叉引用 
14 Guckenheimer，J.，Holmes，P.：非线性振动，动力系统，向量场的分岔。 应用数学科学，第42卷。 纽约州施普林格市（1983年） 谷歌学者 15 Guckenheimer，J.，Malo，S.：平面系统相图的计算机生成证明。 国际法学分会。 混沌应用。 科学。 工程师。 6 (5), 889–892 (1996) 谷歌学者 16 黑尔斯，T.C.：开普勒猜想的证明。 安。数学。 （2） 162 （3） ，1065-1185（2005年） 谷歌学者 交叉引用 17 Hammer，R.，Hocks，M.，Kulisch，U.，Ratz，D.：验证计算的C++工具箱。 施普林格，纽约（1995） 谷歌学者 18 Yu，Il'yashenko。 S.：极限环的有限性定理。 H.H.McFaden译自俄语。 数学专著的翻译，第94卷。 美国数学学会，普罗维登斯（1991） 谷歌学者 19 Yu，Il'yashenko。 美国：希尔伯特第16个问题的百年历史。 公牛。， 新序列号。， 美国数学。 Soc公司。 39 (3), 301–354 (2002) 谷歌学者 20 Rigorse，S.Malo：平面向量场结构的计算机验证。 康奈尔大学博士论文（1994年） 谷歌学者 21 Moore，R.E.：区间分析。 普伦蒂斯·霍尔，恩格尔伍德悬崖（1966） 谷歌学者 22 Moore，R.E.：区间分析的方法和应用。 SIAM应用数学研究。 费城SIAM（1979年） 谷歌学者 23 Neumaier，A.：方程组的区间方法。 数学及其应用百科全书，第37卷。 剑桥大学出版社，剑桥（1990） 谷歌学者 24 Petković，M.S.，Petkoviá，L.D.：复区间算术及其应用。 《数学研究》，第105卷。 威利-VCH，柏林（1998） 谷歌学者 25 Petrov，G.S.：椭圆积分的非振动性。 Funkc公司。 分析。 普里洛日。 24 （3） ，45-50（1990），96（俄语）。 功能翻译。 分析。 申请。 24 (3), 205–210 (1991) 谷歌学者 26 Roussarie，R.：平面向量场的分岔与希尔伯特第十六问题。 《数学进展》，第164卷。 Birkhäuser Verlag，巴塞尔（1998年） 谷歌学者 27 Tucker，W.：严格的常微分方程求解器和Smale的第14个问题。 已找到。 计算。 数学。 2 (1), 53–117 (2002) 谷歌学者 数字图书馆 
28 Zhou，H.，Xu，W.，Li，S.，Zhang，Y.：关于三次多项式哈密顿系统在五次扰动下的极限环数。 申请。 数学。 计算。 190 （1） ，490-499（2007）（英文摘要） 谷歌学者
建议
阿贝尔变种的高效广义配对计算 本文提出了一种在（超）椭圆曲线上构造双线性对的新方法，我们称之为 R（右） -ate配对。此配对是ate和ate的泛化 我 配对，计算效率更高。 使用 R（右） -吃。。。
