{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T18:50:32Z","timestamp":1760122232545},"publisher-location":"Dordrecht","reference-count":6,"publisher":"Springer Netherlands","isbn-type":[{"type":"print","value":"9789048153503"},{"type":"electronic","value":"9789401712477"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/978-94-017-1247-7_16","type":"book-chapter","created":{"date-parts":[[2013,3,11]],"date-time":"2013-03-11T04:02:28Z","timestamp":1362974548000},"page":"203-212","source":"Crossref","is-referenced-by-count":6,"title":["An Algorithm that Computes a Lower Bound on the Distance Between a Segment and \u21242"],"prefix":"10.1007","author":[{"given":"Vincent","family":"Lef\u00e8vre","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","volume-title":"Three distance theorems and combinatorics on words. Research report, Institut de Math\u00e9matiques de Luminy","author":"R Alessandri","year":"1997","unstructured":"R Alessandri and V. Berth\u00e9. Three distance theorems and combinatorics on words. Research report, Institut de Math\u00e9matiques de Luminy, Marseille, France, 1997."},{"key":"16_CR2","volume-title":"Research report","author":"V Lef\u00e8vre","year":"1997","unstructured":"V. Lef\u00e8vre. An algorithm that computes a lower bound on the distance between a segment and \u21242. Research report 97\u201318, Laboratoire de l\u2019Informatique du Parall\u00e9lisme, Lyon, France, 1997."},{"key":"16_CR3","unstructured":"V. Lef\u00e8vre, J.-M. Muller, and A. Tisserand. Towards correctly rounded transcendentals. In Proceedings of the 13th IEEE Symposium on Computer Arithmetic,Asilomar, USA, 1997. IEEE Computer Society Press, Los Alamitos, CA."},{"key":"16_CR4","first-page":"127","volume":"1","author":"VT S\u00f3s","year":"1958","unstructured":"V. T. S\u00f3s. On the distribution mod 1 of the sequence na. Ann. Univ. Sci. Budapest, E\u00f6tv\u00f6s Sect. Math., 1: 127\u2013134, 1958.","journal-title":"E\u00f6tv\u00f6s Sect. Math"},{"key":"16_CR5","first-page":"107","volume":"1","author":"J Surnnyi","year":"1958","unstructured":"J. Surnnyi. \u00dcber die Anordnung der Vielfachen einer reellen Zahl mod 1. Ann. Univ. Sci. Budapest, E\u00f6tv\u00f6s Sect. Math., 1: 107\u2013111, 1958.","journal-title":"E\u00f6tv\u00f6s Sect. Math"},{"key":"16_CR6","doi-asserted-by":"crossref","first-page":"187","DOI":"10.4064\/fm-46-2-187-189","volume":"46","author":"S Swierczkowski","year":"1958","unstructured":"S. Swierczkowski. On successive settings of an arc on the circumference of a circle. Fundamenta Math., 46: 187\u2013189, 1958.","journal-title":"Fundamenta Math"}],"container-title":["Developments in Reliable Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-94-017-1247-7_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,11]],"date-time":"2019-05-11T17:11:11Z","timestamp":1557594671000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-94-017-1247-7_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9789048153503","9789401712477"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/978-94-017-1247-7_16","relation":{},"subject":[],"published":{"date-parts":[[1999]]}}}