{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,3,13]]，“日期时间”：“2024-03-13T17:51:38Z”，“时间戳”：1710352298627}，“引用计数”：18，“发布者”：“IEEE”，“内容域”:{“域”：[]，“交叉标记限制”：false}，”短容器时间“：[]”，“发布发布者”：{“日期部分”：[[2013,9]]}，“DOI”：“10.1109\/synasc.2013.33”，“type”：“procesdings-article”，“created”：{“date-parts”：[[2014,5,30]]，“date-time”：“2014-05-30T14:58:46Z”，“timestamp”：1401461926000}，“source”：”Crossref“，“is-referenced-by-count”：8，“title”：[“COQ中的Certified，Efficient and Sharp Univariate Taylor Models”]，“前缀”：“101109”，“author”：[{“给定”：“Erik”，“家庭”：“Martin-Dorel”，“sequence”：“first”，“affiliation”：[]}family“：”Pasca“，”sequence“：”additional“，“affiliation”：[]}]，“member”：“263”，“reference”：[{“key”：“17”，“首页”：“102”，“article-title”：“通过平方和验证非线性实数公式”，“volume”：”2007“，“author”：“harrison”，“year”：“0”，“journal-tittle”：：“bernstein多项式的形式化及其在全局优化中的应用”，“作者”：“mun？oz”，“年份”：“2012”，“期刊标题”：“journal of Automated Reasoning”}，{“key”：“15”，“doi断言者”：“publisher”，“doi”：“10.1007\/s1786-011-0102-5”}，{“key”：“16”，“doi断言者”：“publisher”，“doi”：“10.1007\/978-3-642-38088-42_26”}，{“key”：“13”，“首页”：“408”，“article-title”：“taylor模型的正式全局优化”，“volume”：“4130”，“author”：“zumkeller”，“year”：“2006”，“journal-title“：”IJCAR Ser LNCS U Furbach and N Shankar Eds“}，{“key”：”14“，”author“：”cha？ves“，”year“2007”，“journal-ttitle”：”Utilisation et Certification de L'arithme？tique D'intervalles dans un Assistant de Preuves“}”，{“：”11“，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3642-25379-9_26”}，{“key”：“12”，“doi-asserted-by”：”crossref“，”first page“：”28“，”doi“：”10.1007\/778-3642-15582-6_5“，”article-title“：”Sollya:数字代码开发环境“，”volume“：“6327”，“author”：“chevillard”，“year”：“2010”，“journal-title”：“数学软件-ICMS 2010 Ser LNCS”}，{“key”：“3”，“author”：“makino”，“year”：“1998”，“journal-title”：“粒子加速器非线性运动的严格分析”}：“国际纯粹与应用数学杂志”}，{“key”：“1”，“author”：“joldes？”，“year”：“2011”，“Journal-title”：“严格多项式逼近与应用”}：“Coq系统的小规模反射扩展”}，{“key”：“6”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/j.ic.2011.09.005”}\/978-3-642-28891-3_9“}，{“key”：“9”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/j.tcs.2010.11.052”}，{”key“：“8”，“author”：“martin-dorel”，“year”：“2012”，“journal-title”：“对算术算法形式验证的贡献”}]，“event”：{“name”：“2013年第十五届科学计算符号和数值算法国际研讨会（SYNASC）”，“location”：“罗马尼亚蒂米索拉”，“start”：{“date-parts”：[[2013,9,23]]}，“end”：{-“date-parts”：[[2013,9,26]]}]，“container-title”：[“2013年第十五届科学计算符号和数字算法国际研讨会”]，“original-title“：[]，“link”：[{“URL”：“http://explorestaging.ieee.org\/ielx7\/6820820\/682113\/0682110.pdf？arnumber=68211 50“，”内容类型“：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[[2017,6,22]]，“date-time”：“2017-06-22T10:07:41Z”，“timestamp”：1498126061000}，“score”：1，“resource”：{“primary”：{URL：“http://ieeexplore.iee.org\/document\/6821150\/”}}，标题“：[]，”已发布“：{“日期部分”：[[2013,9]]}，“references-count”：18，“URL”：“http://\/dx.doi.org\/10.109\/synasc.2013.33”，“relation”：{}，“subject”：[]，“published”：{“date-parts”：[[2013,9]]}}}