{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,1,23]]，“日期时间”：“2024-01-23T00:27:06Z”，“时间戳”：1705969626941}，“发布者位置”：“Cham”，“引用计数”：15，“发布商”：“Springer International Publishing”，“isbn-type”：[{“值”：“97833194216”，“类型”：”打印“}，{“值”：“9783319424323”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2016,1,1]]，“date-time”：“2016-01-01T00:00:00Z”，“timestamp”：1451606400000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“http://www.springer.com\/tdm”}]，“content-domain”：[]，“published-print”：{“date-parts”：[2016年]]}，“DOI”：“10.1007\/978-3-319-42432-3_29”，“type”：“book-chapter”，“created”：{“date-parts”：[[2016,7,5]]，“date-time”：“2016-07-05T15:12:09Z”，“timestamp”：1467731529000}，“page”：”232-240“，”source“：”Crossref“，”is-referenced-by-count“：22，”title“：[”CAMPARY:Cuda Multiple Precision Arithmetic Library and Applications“]，”前缀“10.1007”，“author”：[{“给定”：“Mioara”，“family”：“Joldes”，“sequence”：“first”，“affiliation”：[]}，{“given”：“Jean-Michel”，“家族”：“Muller”，“序列”：“additional”，“从属关系”：[]}，}“giving”：“Valentina”]，“成员”：“297”，“在线发布”：{“date-parts”：[[2016,7,6]]}，“reference”：[{“key”：“29_CR1”，“unstructured”：“NVIDIA，NVIDIA-CUDA Programming Guide 5.5（2013）”}，{“密钥”：“29 _CR2”，“非结构化”：“IEEE Computer Society，IEEE Standard for Floating Point Arithmetic，IEEE标准754-2008，2008年8月。http:\/\/ieexplore.ieee.org/servlet\/opac？punumber=4610933“}，{”issue“：”4“，”key“：”29_CR3“，”doi-asserted-by“：”crossref“，”first page“：“63”，“doi”：“10.1145\/2693714.2693726”，“volume”：“42”，“author”：“M Joldes”，“year”：“2014”，“unstructured”：“Joldes，M.，Popescu，V.，Tucker，W.：使用多精度GPU算术库搜索Hnon映射的汇。SIGARCH Compute.Archit。新闻42（4），63\u201368（2014）“，“新闻标题”：“SIGARCH Compute。阿基特。新闻“}，{“问题”：“7248”，“关键”：“29_CR4”，“doi-asserted-by”：“crossref”，“首页”：“817”，“doi”：“10.1038\/nature08096”，“卷”：“459”，“作者”：“J Laskar”，“年份”：“2009”，“非结构化”：“Laskar，J.，Gastineau，M.：水星、火星和金星与地球碰撞轨迹的存在。Nature 459（7248），817\u2013819（2009）”，“日志标题”：“Nature“}，{“key”：“29_CR5”，“first-page”：“132”，“volume-title”：“第十届IEEE计算机算术研讨会论文集（算术-10）”，“author”：“DH Priest”，“year”：“1991”，“unstructured”：“Priest，D.H.：任意精度浮点算法。In:Kornerup，P.，Matula，D.W.（eds.）第十届IEEE计算机算术研讨会论文集（算术-10），第132\u2013144页。IEEE Computer Society Press，Los Alamitos（1991）“}，{“key”：“29_CR6”，“unstructured”：“Fousse，L.，Hanrot，G.，Lef\u00e8vre，V.，P\u00e 9lissier，P.，Zimmermann，P.：MPFR:具有正确舍入的多精度二进制浮点库。ACM Trans.Math.Softw.33（2）（2007）。第13条，第115条”}非结构化“：”Hida，Y.，Li，X.S.，Bailey，D.H.：四双精度浮点算法。In:Burgess，N.，Ciminiera，L.（eds.）《第十五届IEEE计算机算术研讨会论文集》（ARITH-16），科罗拉多州维尔市，第155\u2013162页，2001年6月“，“DOI”：“10.1109\/ARITH.2001.930115”}，{“issue”：“2”，“key”：“29_CR8”，“DOI-asserted-by”：“crossref”，“first page”：HD Mittelmann“，”年份“：”2010年，“非结构化”：“Mittelmann，H.D.，Vallenton，F.：亲吻数字的高精度半定编程界限。实验数学。19（2），175\u2013179（2010）”，“期刊标题”：“实验数学。“}，{”key“：”29_CR9“，”series-title“：”运筹学与管理科学国际丛书“，”doi-asserted-by“：”crossref“，”first page“：“687”，”doi“：”10.1007\/978-1-4614-0769-0_24“，”volume-title“：“半定、圆锥和多项式优化手册”，”author“：”M Yamashita“，”year“：”2012“，”unstructured“：”Yamashita，M.、Fujisawa，K.、Fukuda，M.，Kobayashi，K..、Nakata，K.:SDPA家族解决大规模SDP的最新发展。收录：Anjos，M.F.，Lasserre，J.B.（编辑）《半定、二次曲线和多项式优化手册》。《运筹学与管理科学国际丛书》，第166卷，第687\u2013713页。Springer，US（2012）“}，{”key“：”29_CR10“，”unstructured“：”Muller，J.-M.，Brisebarre，N.，de Dinechin，F.，Jeannerod，C.-P.，Lef\u00e8vre，V.，Melquiond，G.，Revol，N.、Stehl\u00e_9，D.，Torres，S.：浮点运算手册，Birkh\u00e用户Boston，2010，ACM G.1.0；G.1.2；G.4；B.2.0；B.2.4；F.2.1。ISBN 978-0-8176-4704-9“}，{”issue“：”1“，”key“：”29_CR11“，“doi-asserted-by”：“crossref”，“first page”：“189”，”doi“：”10.1137\/050645671“，”volume“：“31”，”author“：”SM Rump“，”year“：”2008“，”unstructured“：”Rump，S.M.，Ogita，T.，Oishi，S.：精确浮点求和第一部分：忠实舍入。SIAM J.Sci.Compute.31（1），189 \u2013224（2008）“，”期刊标题“：”SIAM J.Sci。计算。“}，{”issue“：”4“，”key“：”29_CR12“，”doi-asserted-by“：”crossref“，”first-page“：”1197“，”doi“：”10.1109\/TC.2015.2441714“，“volume”：”65“，”author“：”M Joldes“，”year“：”2016“，”unstructured“：”Joldes，M.，Marty，O.，Muller，J.-M.，Popescu，V.：使用浮点展开的扩展精度的算术算法。IEEE Trans.Compute.65（4），1197\u20131210（2016）“，“期刊标题”：“IEEE Trans。计算。“}，{”key“：”29_CR13“，”doi-asserted-by“：”crossref“，”unstructured“：”Muller，J.-M.，Popescu，V.，Tak，P.，Tang，P.：一种使用浮点展开实现扩展精度的新乘法算法。In:第23届计算机算术研讨会（ARITH-23）会议记录，2016年7月，即将发表“，”doi“：”10.1109\/ARITH.2016.18“}”，{“key”：“29_CR14”，“doi-asserted-by“：”crossref“，”unstructured“：”Nakata，M.：半定规划求解器的高精度多精度算术版本的数值评估：SDPA-GMP、-QD和-DD。In:2010 IEEE计算机辅助控制系统设计国际研讨会（CACSD）。IEEE（2010）“，”DOI“：”10.1109\/CACSD.2010.5612693“}，{“key”：“29_CR15”，“unstructured”：“Coq Development team.The Coq proof assistant referencemanual，Inria，Version 8.0（2004）。http://\/Coq.Inria.fr“}]，”container-title“：[”Mathematical Software\u2013 ICMS 2016“，”Telection Notes in Computer Science“]，”original title“：[]，”link“：[{“URL”：“http:\/\/link.springer.com/content\/pdf\/10.1007\/978-3-319-42432-3_29“，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[[2017,6,24]]，“date-time”：”2017-06-24T17:51:37Z“，“timestamp”：1498326697000}，“score”：1，“resource”:{“primary”：{“URL”：“http:\/\/link.springer.com/10.1007\/978-3-319-42432-3_29“}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[2016年]]}，“ISBN”：[“9783319424316”，”9783318424323“]，”引用计数“：15，”URL“http://\/dx.doi.org\/10007\/978-319-4232-3_29”，“关系”：{}，：[“0302-9743”，“1611-3349”]，“ISSN-type”：[{“value”：“0302-7743”value“：“1611-3349”，“type”：“electronic”}]，“subject”：[]，“published”：{“date-parts”：[[2016]]}}