{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,28]],"date-time":"2026-01-28T06:22:01Z","timestamp":1769581321664,"version":"3.49.0"},"reference-count":20,"publisher":"EDP Sciences","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["RAIRO-Theor. Inf. Appl."],"published-print":{"date-parts":[[2007,1]]},"DOI":"10.1051\/ita:2007002","type":"journal-article","created":{"date-parts":[[2007,4,23]],"date-time":"2007-04-23T14:56:28Z","timestamp":1177340188000},"page":"71-83","source":"Crossref","is-referenced-by-count":3,"title":["Correct rounding of algebraic functions"],"prefix":"10.1051","volume":"41","author":[{"given":"Nicolas","family":"Brisebarre","sequence":"first","affiliation":[]},{"given":"Jean-Michel","family":"Muller","sequence":"additional","affiliation":[]}],"member":"250","published-online":{"date-parts":[[2007,4,24]]},"reference":[{"key":"R1","unstructured":"American National Standards Institute and Institute of Electrical and Electronic Engineers.IEEE standard for binary floating-point arithmetic.ANSI\/IEEE Standard, Std 754-1985, New York (1985)."},{"key":"R2","unstructured":"N.P. Brousentsov, S.P. Maslov, J. Ramil Alvarez and E.A. Zhogolev,Development of ternary computers at Moscow State University. Technical report, Dept. VMK MGU (2000). Available at http:\/\/www.computer-museum.ru\/english\/setun.htm."},{"key":"R3","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1145\/1057935.1057939","volume":"20","author":"Cody","year":"1985","journal-title":"ACM SIGNUM Newsletter"},{"key":"R4","doi-asserted-by":"crossref","first-page":"86","DOI":"10.1109\/MM.1984.291224","volume":"4","author":"Cody","year":"1984","journal-title":"IEEE MICRO"},{"key":"R5","doi-asserted-by":"crossref","first-page":"405","DOI":"10.1016\/j.tcs.2004.01.013","volume":"315","author":"Croot","year":"2004","journal-title":"Theor. Comput. Sci."},{"key":"R6","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1145\/122272.122276","volume":"25","author":"Dunham","year":"1990","journal-title":"SIGNUM Newsletter"},{"key":"R7","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1145\/103147.103151","volume":"17","author":"Gal","year":"1991","journal-title":"ACM Trans. Math. Software"},{"key":"R8","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1007\/BF01206656","volume":"46","author":"Hurwitz","year":"1891","journal-title":"Math. Ann."},{"key":"R9","unstructured":"American National Standards Institute, Institute of Electrical, and Electronic Engineers.IEEE standard for radix independent floating-point arithmetic.ANSI\/IEEE Standard, Std 854-1987, New York (1987)."},{"key":"R10","doi-asserted-by":"crossref","unstructured":"C. Iordache and D.W. Matula, On infinitely precise rounding for division, square root, reciprocal and square root reciprocal, inProceedings of the 14th IEEE Symposium on Computer Arithmetic (Adelaide, Australia), edited by Koren and Kornerup, IEEE Computer Society Press, Los Alamitos, CA (1999) 233\u2013240.","DOI":"10.1109\/ARITH.1999.762849"},{"key":"R11","unstructured":"A.Ya. Khintchine,Continued fractions. Translated by Peter Wynn. P. Noordhoff Ltd., Groningen (1963)."},{"key":"R12","unstructured":"T. Lang and J.-M. Muller, Bound on runs of zeros and ones for algebraic functions, inProc. of the 15th IEEE Symposium on Computer Arithmetic (Arith-15), edited by Burgess and Ciminiera, IEEE Computer Society Press (2001)."},{"key":"R13","unstructured":"V. Lef\u00e8vre,Moyens arithm\u00e9tiques pour un calcul fiable. Th\u00e8se, \u00c9cole normale sup\u00e9rieure de Lyon, Lyon, France (2000)."},{"key":"R14","unstructured":"V. Lef\u00e8vre and J.-M. Muller, Worst cases for correct rounding of the elementary functions in double precision, inProc. of the 15th IEEE Symposium on Computer Arithmetic (Arith-15), edited by Burgess and Ciminiera, IEEE Computer Society Press (2001)."},{"key":"R15","doi-asserted-by":"crossref","unstructured":"A.-M. Legendre,Essai sur la th\u00e9orie des nombres. Duprat, Paris, An VI (1798).","DOI":"10.5962\/bhl.title.18546"},{"key":"R16","unstructured":"J. Liouville, Nouvelle d\u00e9monstration d'un th\u00e9or\u00e8me sur les irrationnelles alg\u00e9briques ins\u00e9r\u00e9 dans le compte rendu de la derni\u00e8re s\u00e9ance.C.R. Acad. Sci. Paris, S\u00e9r. A18(1844) 910\u2013911."},{"key":"R17","unstructured":"J. Liouville, Sur des classes tr\u00e8s \u00e9tendues de quantit\u00e9s dont la valeur n'est ni alg\u00e9brique, ni m\u00eame r\u00e9ductible \u00e0 des irrationnelles alg\u00e9briques.C.R. Acad. Sci. Paris, S\u00e9r. A18(1844) 883\u2013885."},{"key":"R18","first-page":"133","volume":"16","author":"Liouville","year":"1851","journal-title":"J. Math. Pures Appl."},{"key":"R19","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1112\/S0025579300000644","volume":"2","author":"Roth","year":"1955","journal-title":"Mathematika"},{"key":"R20","doi-asserted-by":"crossref","first-page":"340","DOI":"10.1109\/TC.2005.55","volume":"54","author":"Stehl\u00e9","year":"2005","journal-title":"IEEE Trans. Comput."}],"container-title":["RAIRO - Theoretical Informatics and Applications"],"original-title":[],"link":[{"URL":"http:\/\/www.rairo-ita.org\/10.1051\/ita:2007002\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,15]],"date-time":"2025-01-15T21:47:36Z","timestamp":1736977656000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.rairo-ita.org\/10.1051\/ita:2007002"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,1]]},"references-count":20,"journal-issue":{"issue":"1"},"alternative-id":["ita06004"],"URL":"https:\/\/doi.org\/10.1051\/ita:2007002","relation":{},"ISSN":["0988-3754","1290-385X"],"issn-type":[{"value":"0988-3754","type":"print"},{"value":"1290-385X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,1]]}}}