{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,8]],"date-time":"2026-06-08T16:27:03Z","timestamp":1780936023745,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":7,"publisher":"ACM","license":[{"start":{"date-parts":[[2006,4,23]],"date-time":"2006-04-23T00:00:00Z","timestamp":1145750400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2006,4,23]]},"DOI":"10.1145\/1141277.1141584","type":"proceedings-article","created":{"date-parts":[[2006,7,24]],"date-time":"2006-07-24T16:53:01Z","timestamp":1153759981000},"page":"1318-1322","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":48,"title":["Assisted verification of elementary functions using Gappa"],"prefix":"10.1145","author":[{"given":"Florent","family":"de Dinechin","sequence":"first","affiliation":[{"name":"LIP, projet Ar\u00e9naire, \u00c9NS-Lyon all\u00e9e d'Italie, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Christoph Quirin","family":"Lauter","sequence":"additional","affiliation":[{"name":"LIP, projet Ar\u00e9naire, \u00c9NS-Lyon all\u00e9e d'Italie, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Guillaume","family":"Melquiond","sequence":"additional","affiliation":[{"name":"LIP, projet Ar\u00e9naire, \u00c9NS-Lyon, all\u00e9e d'Italie, France"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2006,4,23]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"55","volume-title":"6th Conference on Real Numbers and Computers","author":"Daumas M.","year":"2004","unstructured":"M. Daumas and G. Melquiond . Generating formally certified bounds on values and round-off errors . In 6th Conference on Real Numbers and Computers , pages 55 -- 70 , 2004 . M. Daumas and G. Melquiond. Generating formally certified bounds on values and round-off errors. In 6th Conference on Real Numbers and Computers, pages 55--70, 2004."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/ARITH.2005.46"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01397083"},{"key":"e_1_3_2_1_8_1","volume-title":"The Art of Computer Programming","author":"Knuth D.","year":"1973","unstructured":"D. Knuth . The Art of Computer Programming , volume 2 . Addison Wesley , 1973 . D. Knuth. The Art of Computer Programming, volume 2. Addison Wesley, 1973."},{"key":"e_1_3_2_1_10_1","volume-title":"Proceedings of the 15th IMACS World Congress on Computational and Applied Mathematics","author":"Melquiond G.","year":"2005","unstructured":"G. Melquiond and S. Pion . Formal certification of arithmetic filters for geometric predicates . In Proceedings of the 15th IMACS World Congress on Computational and Applied Mathematics , 2005 . G. Melquiond and S. Pion. Formal certification of arithmetic filters for geometric predicates. In Proceedings of the 15th IMACS World Congress on Computational and Applied Mathematics, 2005."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-2646-6","volume-title":"Elementary Functions, Algorithms and Implementation","author":"Muller J.-M.","year":"1997","unstructured":"J.-M. Muller . Elementary Functions, Algorithms and Implementation . Birkhauser , Boston , 1997 . J.-M. Muller. Elementary Functions, Algorithms and Implementation. Birkhauser, Boston, 1997."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/114697.116813"}],"event":{"name":"SAC06: The 2006 ACM Symposium on Applied Computing","location":"Dijon France","acronym":"SAC06","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"]},"container-title":["Proceedings of the 2006 ACM symposium on Applied computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1141277.1141584","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1141277.1141584","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T15:06:26Z","timestamp":1750259186000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1141277.1141584"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,4,23]]},"references-count":7,"alternative-id":["10.1145\/1141277.1141584","10.1145\/1141277"],"URL":"https:\/\/doi.org\/10.1145\/1141277.1141584","relation":{},"subject":[],"published":{"date-parts":[[2006,4,23]]},"assertion":[{"value":"2006-04-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}