{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:17:43Z","timestamp":1750306663012,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,6,24]],"date-time":"2015-06-24T00:00:00Z","timestamp":1435104000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001665","name":"Agence Nationale de la Recherche","doi-asserted-by":"publisher","award":["ANR-14-CE25-0018-01"],"award-info":[{"award-number":["ANR-14-CE25-0018-01"]}],"id":[{"id":"10.13039\/501100001665","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,6,24]]},"DOI":"10.1145\/2755996.2756660","type":"proceedings-article","created":{"date-parts":[[2015,6,25]],"date-time":"2015-06-25T14:43:22Z","timestamp":1435243402000},"page":"275-282","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Formulas for Continued Fractions"],"prefix":"10.1145","author":[{"given":"S\u00e9bastien","family":"Maulat","sequence":"first","affiliation":[{"name":"LIP (U. Lyon, CNRS, ENS Lyon, UCBL, Inria), Lyon, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bruno","family":"Salvy","sequence":"additional","affiliation":[{"name":"LIP (U. Lyon, CNRS, ENS Lyon, UCBL, Inria), Lyon, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2015,6,24]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Handbook of mathematical functions with formulas, graphs, and mathematical tables","author":"Abramowitz M.","year":"1992","unstructured":"M. Abramowitz and I. A. Stegun, editors. Handbook of mathematical functions with formulas, graphs, and mathematical tables. Dover Publications Inc., New York, 1992."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511530074"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1137\/S0895479892230031"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0377-0427(96)00120-3"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","unstructured":"A. Benoit F. Chyzak A. Darrasse S. Gerhold M. Mezzarobba and B. Salvy. The dynamic dictionary of mathematical functions (DDMF). In K. Fukuda J. van der Hoeven M. Joswig and N. Takayama editors ICMS 2010 volume 6327 of LNCS pages 35--41 2010.","DOI":"10.5555\/1888390.1888399"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/322092.322099"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2465506.2465510"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-4158-2_2"},{"key":"e_1_3_2_1_9_1","first-page":"139","volume-title":"Proceedings of the U.S.-Western Europe Regional Conference on Pad\u00e9 Approximants and Related Topics","volume":"21","author":"Cooper K. D.","year":"1988","unstructured":"K. D. Cooper, S. C. Cooper, and W. B. Jones. More on C-fraction solutions to Riccati equations. In Proceedings of the U.S.-Western Europe Regional Conference on Pad\u00e9 Approximants and Related Topics (Boulder, CO, 1988), volume 21, pages 139--158, 1991."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/1386301"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/2512973"},{"key":"e_1_3_2_1_12_1","series-title":"Encyclopedia of Mathematics and its Applications","volume-title":"Continued fractions","author":"Jones W. B.","year":"1980","unstructured":"W. B. Jones and W. J. Thron. Continued fractions, volume 11 of Encyclopedia of Mathematics and its Applications. Addison-Wesley Publishing Co., Reading, Mass., 1980."},{"key":"e_1_3_2_1_13_1","volume-title":"Noordhoff N. V.","author":"Khovanskii A. N.","year":"1963","unstructured":"A. N. Khovanskii. The application of continued fractions and their generalizations to problems in approximation theory. P. Noordhoff N. V., 1963."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511721403"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/1830479"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/178365.178368"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511609589"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/236869.237079"}],"event":{"name":"ISSAC'15: International Symposium on Symbolic and Algebraic Computation","sponsor":["SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"],"location":"Bath United Kingdom","acronym":"ISSAC'15"},"container-title":["Proceedings of the 2015 ACM International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2755996.2756660","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2755996.2756660","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:00:31Z","timestamp":1750230031000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2755996.2756660"}},"subtitle":["An Automated Guess and Prove Approach"],"short-title":[],"issued":{"date-parts":[[2015,6,24]]},"references-count":18,"alternative-id":["10.1145\/2755996.2756660","10.1145\/2755996"],"URL":"https:\/\/doi.org\/10.1145\/2755996.2756660","relation":{},"subject":[],"published":{"date-parts":[[2015,6,24]]},"assertion":[{"value":"2015-06-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}