{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,25]],"date-time":"2025-10-25T18:58:01Z","timestamp":1761418681115,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,7,25]],"date-time":"2010-07-25T00:00:00Z","timestamp":1280016000000},"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":[[2010,7,25]]},"DOI":"10.1145\/1837934.1837966","type":"proceedings-article","created":{"date-parts":[[2010,7,27]],"date-time":"2010-07-27T14:10:11Z","timestamp":1280239811000},"page":"147-154","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":15,"title":["Chebyshev interpolation polynomial-based tools for rigorous computing"],"prefix":"10.1145","author":[{"given":"Nicolas","family":"Brisebarre","sequence":"first","affiliation":[{"name":"LIP, Ar\u00e9naire, Lyon Cedex, France"}]},{"given":"Mioara","family":"Jolde\u015f","sequence":"additional","affiliation":[{"name":"LIP, Ar\u00e9naire, Lyon Cedex, France"}]}],"member":"320","published-online":{"date-parts":[[2010,7,25]]},"reference":[{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1576702.1576709"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1137\/S0036144502417715"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1026437523641"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1577190.1577198"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.nima.2005.11.035"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0793-1"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jco.2004.09.009"},{"key":"e_1_3_2_1_9_1","volume-title":"Chebyshev and Fourier spectral methods","author":"Boyd J. P.","year":"2001","unstructured":"J. P. Boyd . Chebyshev and Fourier spectral methods . Dover Publications Inc ., Mineola, NY, second edition, 2001 . J. P. Boyd. Chebyshev and Fourier spectral methods. Dover Publications Inc., Mineola, NY, second edition, 2001."},{"key":"e_1_3_2_1_10_1","volume-title":"Introduction to Approximation Theory","author":"Cheney E. W.","year":"1966","unstructured":"E. W. Cheney . Introduction to Approximation Theory . McGraw-Hill , 1966 . E. W. Cheney. Introduction to Approximation Theory. McGraw-Hill, 1966."},{"key":"e_1_3_2_1_11_1","volume-title":"RRLIP2010-2","author":"Chevillard S.","year":"2010","unstructured":"S. Chevillard , J. Harrison , M. Joldes , and C. Lauter . Efficient and accurate computation of upper bounds of approximation errors. 40 pages , RRLIP2010-2 , 2010 . S. Chevillard, J. Harrison, M. Joldes, and C. Lauter. Efficient and accurate computation of upper bounds of approximation errors. 40 pages, RRLIP2010-2, 2010."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/ARITH.2009.18"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/0021-9045(87)90065-7"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/0378-4754(82)90045-3"},{"key":"e_1_3_2_1_15_1","volume-title":"Hindustan Pub. Corp.","author":"Gel'fond A. O.","year":"1971","unstructured":"A. O. Gel'fond . Calculus of finite differences . Hindustan Pub. Corp. , Delhi , 1971 . Translated from the Russian, International Monographs on Advanced Mathematics and Physics. A. O. Gel'fond. Calculus of finite differences. Hindustan Pub. Corp., Delhi, 1971. Translated from the Russian, International Monographs on Advanced Mathematics and Physics."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/579525"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1093\/imanum\/24.4.547"},{"issue":"4","key":"e_1_3_2_1_19_1","first-page":"379","article-title":"Taylor models and other validated functional inclusion methods","volume":"4","author":"Makino K.","year":"2003","unstructured":"K. Makino and M. Berz . Taylor models and other validated functional inclusion methods . International Journal of Pure and Applied Mathematics , 4 ( 4 ): 379 -- 456 , 2003 . K. Makino and M. Berz. Taylor models and other validated functional inclusion methods. International Journal of Pure and Applied Mathematics, 4(4):379--456, 2003.","journal-title":"International Journal of Pure and Applied Mathematics"},{"key":"e_1_3_2_1_20_1","volume-title":"Chebyshev polynomials","author":"Mason J. C.","year":"2003","unstructured":"J. C. Mason and D. C. Handscomb . Chebyshev polynomials . Chapman & amp; Hall\/CRC, Boca Raton, FL, 2003 . J. C. Mason and D. C. Handscomb. Chebyshev polynomials. Chapman & Hall\/CRC, Boca Raton, FL, 2003."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/1098639"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1023\/B:REOM.0000003995.08805.2a"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1137\/050638448"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/9.4.404"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1080\/0025570X.1986.11977261"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1023\/B:NUMA.0000005354.92791.41"},{"key":"e_1_3_2_1_29_1","volume-title":"From approximation theory to algebra. Pure and Applied Mathematics","author":"Rivlin T. J.","year":"1990","unstructured":"T. J. Rivlin . Chebyshev polynomials. From approximation theory to algebra. Pure and Applied Mathematics . John Wiley & amp; Sons, New York, 2 nd edition, 1990 . T. J. Rivlin. Chebyshev polynomials. From approximation theory to algebra. Pure and Applied Mathematics. John Wiley & Sons, New York, 2nd edition, 1990.","edition":"2"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cam.2003.08.015"},{"key":"e_1_3_2_1_31_1","volume-title":"A Mathematical Introduction","author":"Schatzman M.","year":"2002","unstructured":"M. Schatzman . Numerical Analysis , A Mathematical Introduction . Oxford University Press , 2002 . M. Schatzman. Numerical Analysis, A Mathematical Introduction. Oxford University Press, 2002."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11786-007-0001-y"}],"event":{"name":"ISSAC '10: International Symposium on Symbolic and Algebraic Computation","sponsor":["Gesellschaft fur Informtatik","SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"],"location":"Munich Germany","acronym":"ISSAC '10"},"container-title":["Proceedings of the 2010 International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1837934.1837966","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1837934.1837966","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:08:28Z","timestamp":1750248508000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1837934.1837966"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,7,25]]},"references-count":28,"alternative-id":["10.1145\/1837934.1837966","10.1145\/1837934"],"URL":"https:\/\/doi.org\/10.1145\/1837934.1837966","relation":{},"subject":[],"published":{"date-parts":[[2010,7,25]]},"assertion":[{"value":"2010-07-25","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}