{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,20]],"date-time":"2026-04-20T14:11:00Z","timestamp":1776694260896,"version":"3.51.2"},"reference-count":23,"publisher":"Informa UK Limited","issue":"1","content-domain":{"domain":["www.tandfonline.com"],"crossmark-restriction":true},"short-container-title":["Experimental Mathematics"],"published-print":{"date-parts":[[2016,1,2]]},"DOI":"10.1080\/10586458.2015.1029599","type":"journal-article","created":{"date-parts":[[2015,10,10]],"date-time":"2015-10-10T06:09:18Z","timestamp":1444457358000},"page":"66-78","update-policy":"https:\/\/doi.org\/10.1080\/tandf_crossmark_01","source":"Crossref","is-referenced-by-count":19,"title":["Verified Computations for Hyperbolic 3-Manifolds"],"prefix":"10.1080","volume":"25","author":[{"given":"Neil","family":"Hoffman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kazuhiro","family":"Ichihara","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Masahide","family":"Kashiwagi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hidetoshi","family":"Masai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shin\u2019ichi","family":"Oishi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Akitoshi","family":"Takayasu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"301","published-online":{"date-parts":[[2015,10,9]]},"reference":[{"key":"cit0001","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-58158-8"},{"key":"cit0003","doi-asserted-by":"publisher","DOI":"10.1090\/S0025-5718-99-01036-4"},{"key":"cit0004","doi-asserted-by":"publisher","DOI":"10.1080\/10586458.2000.10504641"},{"key":"cit0006","doi-asserted-by":"publisher","DOI":"10.4007\/annals.2003.157.335"},{"key":"cit0008","doi-asserted-by":"publisher","DOI":"10.1080\/10586458.1994.10504296"},{"key":"cit0011","author":"754 [IEEE 754 08] IEEE","year":"2008","journal-title":"ANSI\/IEEE 754-2008: IEEE Standard for Floating-Point Arithmetic"},{"key":"cit0012","author":"Kantorovich [Kantorovich and Akilov 64] L. V.","year":"1964","journal-title":"Functional Analysis in Normed Spaces"},{"key":"cit0013","doi-asserted-by":"publisher","DOI":"10.1007\/BF02234767"},{"key":"cit0014","doi-asserted-by":"publisher","DOI":"10.1007\/BF02235463"},{"key":"cit0015","doi-asserted-by":"publisher","DOI":"10.1007\/978-94-017-1247-7_14"},{"key":"cit0016","doi-asserted-by":"publisher","DOI":"10.4310\/CAG.2014.v22.n4.a4"},{"key":"cit0017","first-page":"16","volume":"1","author":"Matsuoka [Matsuoka et\u00a0al. 10] S.","year":"2010","journal-title":"TSUBAME E-Sci. J."},{"key":"cit0018","author":"Moore [Moore 66] R. E.","year":"1966","journal-title":"Interval Analysis"},{"key":"cit0019","doi-asserted-by":"publisher","DOI":"10.2140\/agt.2009.9.103"},{"key":"cit0020","doi-asserted-by":"publisher","DOI":"10.1016\/0040-9383(85)90004-7"},{"key":"cit0021","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-10861-0"},{"key":"cit0022","doi-asserted-by":"publisher","DOI":"10.1137\/080743627"},{"key":"cit0023","doi-asserted-by":"publisher","DOI":"10.1017\/S096249291000005X"},{"key":"cit0025","first-page":"29","volume":"2","author":"Sunaga [Sunaga 58] T.","year":"1958","journal-title":"RAAG Memoirs"},{"key":"cit0026","author":"Thurston [Thurston 78] W. P.","year":"1978","journal-title":"The Geometry and Topology of 3-Manifolds"},{"key":"cit0027","doi-asserted-by":"publisher","DOI":"10.1090\/S0273-0979-1982-15003-0"},{"key":"cit0028","author":"[Tokyo Institute of Technology] Tokyo Institute of Technology","journal-title":"The Global Scientific Information and Computing Center"},{"key":"cit0029","doi-asserted-by":"publisher","DOI":"10.1016\/B978-044451452-3\/50011-3"}],"container-title":["Experimental Mathematics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/10586458.2015.1029599","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2016,12,13]],"date-time":"2016-12-13T15:46:09Z","timestamp":1481643969000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/full\/10.1080\/10586458.2015.1029599"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10,9]]},"references-count":23,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2015,10,12]]},"published-print":{"date-parts":[[2016,1,2]]}},"alternative-id":["10.1080\/10586458.2015.1029599"],"URL":"https:\/\/doi.org\/10.1080\/10586458.2015.1029599","relation":{},"ISSN":["1058-6458","1944-950X"],"issn-type":[{"value":"1058-6458","type":"print"},{"value":"1944-950X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,10,9]]},"assertion":[{"value":"The publishing and review policy for this title is described in its Aims & Scope.","order":1,"name":"peerreview_statement","label":"Peer Review Statement"},{"value":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=uexm20","URL":"http:\/\/www.tandfonline.com\/action\/journalInformation?show=aimsScope&journalCode=uexm20","order":2,"name":"aims_and_scope_url","label":"Aim & Scope"}]}}