摘要
. 1988 . 代数曲线计算 .英寸 符号和代数计算国际研讨会论文集（ISSAC'88）（计算机科学讲义） , （编辑），卷。 358 . 施普林格 , 274 – 284 . 内政部： 谷歌学者 
交叉引用 
. 2012 . 平面五体中心构型的有限性 . 安。数学。 (2) 176 , 1 ( 2012 ), 535 – 588 . 内政部： 谷歌学者 交叉引用 . 1977 . 共振附近自导振荡的稳定性损失和等变向量场的普遍变形 . Funkcional公司。 分析。 i Priloíen。 11 , 2 ( 1977 ), 1995年1月10日 . 英语翻译 功能。 分析。 申请。 11, 2 (1977), 85–92. 谷歌学者 . 1990 . 十大问题 （高级苏维埃数学。 ，卷。 1) . 阿默尔。 数学。 佛罗里达州普罗维登斯Soc .1–8页。 谷歌学者 交叉引用 . 1997 . 实代数曲线的分段有理逼近 . J.计算。 数学。 15 , 1 ( 1997 ), 55 – 71 . 谷歌学者 . 2013 . 鲁棒认证的数值仿射跟踪 . 已找到。 计算。 数学。 13 , 2 ( 2013 ), 253 – 295 . 内政部： 谷歌学者 数字图书馆 
. 2013 . 交互式定理证明和程序开发：Coq'Art:归纳构造的微积分 . 施普林格科技与商业媒体 . 谷歌学者 . 2017 . 朱莉娅：数值计算的新方法 . SIAM版本。 59 , 1 ( 2017 ), 65 – 98 . 内政部： 谷歌学者 数字图书馆 . 2010 . 关于阿贝尔积分的零点数 . 发明。 数学。 181 , 2 ( 2010 ), 227 – 289 . 内政部： 谷歌学者 交叉引用 . 1988 . Moyenne arithmético géométrique et périodes des courbes de genre 1 et 2（类型1和类型2的课程） . 加兹。 数学。 38 ( 1988 ), 36 – 64 . 谷歌学者 . 2010 . 基于切比雪夫插值多项式的严格计算工具 .英寸 符号和代数计算国际研讨会论文集 . ACM，纽约 , 147 – 154 . 内政部： 谷歌学者 数字图书馆 . 2020 . Cooley-Tukey快速傅里叶变换中某些运算的误差分析 . ACM事务处理。 数学。 柔和。 46 , 2 ，文章 11 ( 五月 2020 )，共27页。 内政部： 谷歌学者 数字图书馆 . 2019 . 函数空间中的认证数值：多项式逼近与计算机代数和形式证明 . 博士论文 . 里昂里昂大学教育学院 。检索自 https://tel.archives-ouvertes.fr/tel-02337901 谷歌学者 . 1995 . 一个或多个复变量解析函数的基本理论 . 多佛出版公司，纽约 .228页。 谷歌学者 . 2006 . 关于弱Hilbert 16问题的统一证明 \（n=2） . J.不同。 Equat公司。 221 , 2 ( 2006 ), 309 – 342 . 内政部： 谷歌学者 交叉引用 . 2007 . 微分方程的极限环 . Birkhäuser Verlag，巴塞尔 .viii+171页。 谷歌学者 . 2014 . dPDE时间前向严格积分的高效通用算法：第一部分 . 科学杂志。 计算。 59 , 1 ( 2014 ), 28 – 52 . 内政部： 谷歌学者 数字图书馆 . 2003 . 四阶椭圆哈密顿量的扰动。 四、 图八-顶部 . J.不同。 Equat公司。 188 , 2 ( 2003 ), 512 – 554 . 内政部： 谷歌学者 交叉引用 . 1966 . 插值运算符 . 数学。 安。 164 ( 1966 ), 105 – 112 . 内政部： 谷歌学者 交叉引用 . 1982年 . 超算术。 一、功能数据类型 . 数学。 计算。 模拟。 24 , 1 ( 1982 ), 1 – 18 . 内政部： 谷歌学者 交叉引用 . 1982亿 . 超算术。 二、。 多项式的区间 . 数学。 计算。 模拟。 24 , 1 ( 1982 ), 19 – 29 . 内政部： 谷歌学者 交叉引用 . 2017 . Kuramoto-Sivashinsky方程周期轨道的数值计算和计算机辅助证明 . SIAM J.应用。 动态。 系统。 16 , 2 ( 2017 ), 834 – 852 . 谷歌学者 交叉引用 . 2004 . 实代数曲线的有理二次逼近 . 计算- 辅助Geom。 设计。 21 , 8 ( 2004 ), 805 – 828 . 内政部： 谷歌学者 交叉引用 . 2021 . 时间上的整数乘法 \（O（n\mathrm{log}\，n）\） . 安。数学。 193 , 2 ( 2021 ), 563 – 617 . 内政部： 谷歌学者 交叉引用 . 1900 . 数学问题。 1900年，巴黎国际数学委员会，沃特拉格。 纳赫。 格式。 威斯。 哥廷根，数学- 物理学。 克利尼亚。 1900 ( 1900 ), 253 – 297 . 谷歌学者 . 1998 . 三角曲线算法（简化、隐式化、参数化） . J.符号。 计算。 26 , 三 ( 1998 ), 279 – 300 . 内政部： 谷歌学者 数字图书馆 . 2016 . 微分方程解析解的严格数值方法：半径多项式方法 . 数学。 计算。 85 , 299 ( 2016 ), 1427 – 1459 . 谷歌学者 交叉引用 . 2017 . Arb：高效的任意决策中点半径区间算法 . IEEE传输。 计算。 66 , 8 ( 2017 ), 1281 – 1292 . 内政部： 谷歌学者 数字图书馆 . 2018 . 任意精度球算法中的数值积分 .英寸 国际数学软件会议记录（ICMS’18） . 斯普林格计算机科学讲稿 , 255 – 263 . 内政部： 谷歌学者 交叉引用 . 2011 . 具有二十六个极限环的四次系统 . 实验数学。 20 , 三 ( 2011 ), 323 – 328 . 谷歌学者 交叉引用 . 2010 . 五次扰动下五次哈密顿平面向量场分岔极限环数的改进下界 . 国际J.Bifur。 混沌应用。 科学。 工程师。 20 , 1 ( 2010 ), 63 – 70 . 内政部： 谷歌学者 交叉引用 . 2011 . 阿贝尔积分的计算机辅助计算方法 . 位数字。 数学。 51 , 三 ( 2011 ), 653 – 667 . 内政部： 谷歌学者 数字图书馆 . 2020 . CAPD:：DynSys：一个灵活的C++工具箱，用于动力系统的严格数值分析 . Commun公司。 农林。 科学。 数字。 模拟。 101（10月。 2020 ), 105578 . 谷歌学者 . 2021 . 庞加莱映射严格计算的最新进展 . ( 2021 ). 阿西夫：数学。 北美/2104.08046 谷歌学者 . 2019 . 计算紧半代数集的体积 .英寸 符号和代数计算国际研讨会论文集 . ACM公司 , 纽约州纽约市 , 259 – 266 . 内政部： 谷歌学者 数字图书馆 . 1982 . 费根鲍姆猜想的计算机辅助证明 . 牛市。 阿默尔。 数学。 社会（N.S.） 6 , 三 ( 1982 ), 427 – 434 . 内政部： 谷歌学者 交叉引用 . 2013 . 平滑流形简介 （第二版） （数学研究生课文 ，卷。 218) . 纽约州施普林格 .xvi+708页。 谷歌学者 . 2018 . 通过Banach代数和FFT计算具有验证精度的离散卷积 . 申请。 数学。 63 , 三 ( 2018 ), 219 – 235 . 内政部： 谷歌学者 交叉引用 . 2009 . 具有13个极限环的三次系统 . J.不同。 Equat公司。 246 , 9 ( 2009 ), 3609 – 3619 . 内政部： 谷歌学者 交叉引用 . 2010 . 区间和模糊不确定性下的快速卷积和快速傅里叶变换 . J.计算。 系统。 科学。 76 , 1 ( 2010 ), 63 – 76 . 内政部： 谷歌学者 数字图书馆 . 2003年a . 泰勒模型和其他经验证的函数包含方法 . 《国际纯粹应用杂志》。 数学。 4 , 4 ( 2003 ), 379 – 456 . 谷歌学者 . 2003年3月 . 泰勒模型和其他经验证的函数包含方法 . 《国际纯粹应用杂志》。 数学。 6 , 三 ( 2003 ), 239 – 316 . 谷歌学者 . 2013 . 单流形的认证平行四边形延拓 . SIAM J.数字。 分析。 51 , 6 ( 2013 ), 3373 – 3401 . 内政部： 谷歌学者 数字图书馆 . 1966 . 区间分析 第卷。 4 . 普伦蒂斯·霍尔·恩格伍德悬崖 . 谷歌学者 . 2003 . Taylor表单-使用和限制 . Reliab公司。 计算。 9 , 1 ( 2003 ), 43 – 79 . 谷歌学者 交叉引用 . 2017 . 关于具有正精度的扩展Chebyshev系统 . 数学杂志。 分析。 申请。 448 , 1 ( 2017 ), 171 – 186 . 内政部： 谷歌学者 交叉引用 . 1981 . 近似理论与方法 . 剑桥大学出版社 . 谷歌学者 交叉引用 . 2019 . 使用可逆中心的hilbert数的新下界 . 非线性 32 , 1 ( 2019 ), 331 – 355 . 内政部： 谷歌学者 交叉引用 . 2011 . 仅满足第一列简化假设的5（4）阶Runge-Kutta对 . 计算。 数学。 申请。 62 , 2 ( 2011 ), 770 – 775 . 内政部： 谷歌学者 数字图书馆 . 2011 . 验证数值：严格计算简介 . 普林斯顿大学出版社 . 谷歌学者 . 2003 . Kuramoto-Sivashinsky方程中的混沌——计算机辅助证明 . J.不同。 Equat公司。 194 , 2 ( 2003 ), 433 – 459 . 内政部： 谷歌学者 交叉引用 . 2015 . Chebfun对周期函数的推广 . SIAM J.科学。 计算。 37 , 5 ( 2015 ), C554–C573 . 内政部： 谷歌学者 数字图书馆 . 2018 . 同伦延拓路径的一种证明方法：单变量情形 .英寸 ACM符号与代数计算国际研讨会论文集（ISSAC'18） . 计算机协会 , 纽约州纽约市 , 399 – 406 . 谷歌学者 数字图书馆 . 1998 . 用Banach不动点定理证明局部唯一边值问题解的数值方法 . SIAM J.数字。 分析。 35 , 5 ( 1998 ), 2004 – 2013 . 谷歌学者 数字图书馆 . 2010 . 基于进化的多项式参数样条曲线隐式定义曲线近似参数化方法 . 数学。 计算。 科学。 4 , 4 ( 2010 ), 463 – 479 . 谷歌学者 交叉引用 . 2002 . 三角级数。 卷。 一、 二 （第三版） . 剑桥大学出版社 .xii； 第一卷：xiv+383页。； 第二卷：viii+364页。 谷歌学者
建议
一类四次哈密顿量阿贝尔积分零点数的估计 本文给出了阿贝尔积分部分零点数的上下界 I（h） = ∫ δ( 小时 ) P（x，y）dx + Q（x，y）dy，小时 ∈∑，其中δ( 小时 )是包含在水平集中的椭圆形{ 高（x，y） = 年 2 + x个 4 - x个 2 = 小时 }, P（x，y），Q（x，y） 是的实多项式 x个 ... 具有三点积分和伪阿贝尔积分的Darboux可积系统 摘要 研究了具有三重点的Darboux可积系统的多项式扰动伪阿贝尔积分。 在一些假设下，我们证明了它们的零点数的局部有界性。 假设这是唯一的非。。。 超奇异积分和积分方程的紧致数值求积公式 在本文的第一部分中，我们导出了有限域积分的紧凑数值求积公式 $I[f]=\int^ {b}_ {a} （f） （x） \，dx$ ，其中 （f） ( x个 )= 克 ( x个 )| x个 t吨 | β , β 真实。 取决于 β ，这些积分在正则。。。
