{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:28:21Z","timestamp":1750220901998,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":14,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,7,20]],"date-time":"2020-07-20T00:00:00Z","timestamp":1595203200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/100011199","name":"European Research Council","doi-asserted-by":"publisher","award":["AVS-ISS (648701)"],"award-info":[{"award-number":["AVS-ISS (648701)"]}],"id":[{"id":"10.13039\/100011199","id-type":"DOI","asserted-by":"publisher"}]},{"name":"EPSRC","award":["Fellowship EP\/N008197\/1"],"award-info":[{"award-number":["Fellowship EP\/N008197\/1"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,7,20]]},"DOI":"10.1145\/3373207.3404036","type":"proceedings-article","created":{"date-parts":[[2020,7,27]],"date-time":"2020-07-27T14:07:23Z","timestamp":1595858843000},"page":"289-296","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["On the skolem problem and prime powers"],"prefix":"10.1145","author":[{"given":"George","family":"Kenison","sequence":"first","affiliation":[{"name":"University of Oxford, Oxford, UK"}]},{"given":"Richard","family":"Lipton","sequence":"additional","affiliation":[{"name":"Georgia Institute of Technology"}]},{"given":"Jo\u00ebl","family":"Ouaknine","sequence":"additional","affiliation":[{"name":"Max Planck Institute for Software Systems, Saarbr\u00fccken, Germany"}]},{"given":"James","family":"Worrell","sequence":"additional","affiliation":[{"name":"University of Oxford, Oxford, UK"}]}],"member":"320","published-online":{"date-parts":[[2020,7,27]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.MFCS.2017.78"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.24033\/bsmf.1823"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0024-3795(01)00466-9"},{"volume-title":"A course in computational algebraic number theory. Graduate Texts in Mathematics","author":"Cohen Henri","key":"e_1_3_2_1_4_1","unstructured":"Henri Cohen . 1993. A course in computational algebraic number theory. Graduate Texts in Mathematics , Vol. 138 . Springer-Verlag , Berlin . xii+534 pages. Henri Cohen. 1993. A course in computational algebraic number theory. Graduate Texts in Mathematics, Vol. 138. Springer-Verlag, Berlin. xii+534 pages."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00222-006-0031-0"},{"volume-title":"Recurrence sequences. Mathematical Surveys and Monographs","author":"Everest Graham","key":"e_1_3_2_1_6_1","unstructured":"Graham Everest , Alf van der Poorten , Igor Shparlinski , and Thomas Ward . 2003. Recurrence sequences. Mathematical Surveys and Monographs , Vol. 104 . Amer. Math. Soc., Providence, RI. xiv+318 pages. Graham Everest, Alf van der Poorten, Igor Shparlinski, and Thomas Ward. 2003. Recurrence sequences. Mathematical Surveys and Monographs, Vol. 104. Amer. Math. Soc., Providence, RI. xiv+318 pages."},{"key":"e_1_3_2_1_8_1","volume-title":"A note on recurring series. Arkiv f\u00f6r Matematik 2","author":"Lech Christer","year":"1953","unstructured":"Christer Lech . 1953. A note on recurring series. Arkiv f\u00f6r Matematik 2 ( 1953 ), 417--421. Christer Lech. 1953. A note on recurring series. Arkiv f\u00f6r Matematik 2 (1953), 417--421."},{"key":"e_1_3_2_1_9_1","first-page":"50","article-title":"Eine arithmetische Eigenschaft der Taylor-koeffizienten rationaler Funktionen","volume":"38","author":"Mahler K.","year":"1935","unstructured":"K. Mahler . 1935 . Eine arithmetische Eigenschaft der Taylor-koeffizienten rationaler Funktionen . Proc. Akad. Wet. Amst. 38 (1935), 50 -- 69 . K. Mahler. 1935. Eine arithmetische Eigenschaft der Taylor-koeffizienten rationaler Funktionen. Proc. Akad. Wet. Amst. 38 (1935), 50--69.","journal-title":"Proc. Akad. Wet. Amst."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0305004100030966"},{"key":"e_1_3_2_1_11_1","volume-title":"The distance between terms of an algebraic recurrence sequence. Journal f\u00fcr die Reine und Angewandte Mathematik","author":"Mignotte Maurice","year":"1984","unstructured":"Maurice Mignotte , Tarlok Shorey , and Robert Tijdeman . 1984. The distance between terms of an algebraic recurrence sequence. Journal f\u00fcr die Reine und Angewandte Mathematik ( 1984 ), 63--76. Maurice Mignotte, Tarlok Shorey, and Robert Tijdeman. 1984. The distance between terms of an algebraic recurrence sequence. Journal f\u00fcr die Reine und Angewandte Mathematik (1984), 63--76."},{"key":"e_1_3_2_1_12_1","series-title":"Lecture Notes in Computer Science","volume-title":"Reachability problems","author":"Ouaknine Jo\u00ebl","unstructured":"Jo\u00ebl Ouaknine and James Worrell . 2012. Decision problems for linear recurrence sequences . In Reachability problems . Lecture Notes in Computer Science , Vol. 7550 . Springer , Heidelberg , 21--28. Jo\u00ebl Ouaknine and James Worrell. 2012. Decision problems for linear recurrence sequences. In Reachability problems. Lecture Notes in Computer Science, Vol. 7550. Springer, Heidelberg, 21--28."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2766189.2766191"},{"key":"e_1_3_2_1_14_1","volume-title":"Stockholm (1934)","author":"Skolem Thoralf","year":"1934","unstructured":"Thoralf Skolem . 1934. Ein Verfahren zur Behandlung gewisser exponentialer Gleichungen und diophantischer Gleichungen. 8de Skand. Mat. Kongress , Stockholm (1934) ( 1934 ), 163--188. Thoralf Skolem. 1934. Ein Verfahren zur Behandlung gewisser exponentialer Gleichungen und diophantischer Gleichungen. 8de Skand. Mat. Kongress, Stockholm (1934) (1934), 163--188."},{"key":"e_1_3_2_1_15_1","volume-title":"Occurrence of zero in a linear recursive sequence. Mathematical notes of the Academy of Sciences of the USSR 38, 2 (01","author":"Vereshchagin Nikolai","year":"1985","unstructured":"Nikolai Vereshchagin . 1985. Occurrence of zero in a linear recursive sequence. Mathematical notes of the Academy of Sciences of the USSR 38, 2 (01 Aug 1985 ), 609--615. Nikolai Vereshchagin. 1985. Occurrence of zero in a linear recursive sequence. Mathematical notes of the Academy of Sciences of the USSR 38, 2 (01 Aug 1985), 609--615."}],"event":{"name":"ISSAC '20: International Symposium on Symbolic and Algebraic Computation","sponsor":["SIGSAM ACM Special Interest Group on Symbolic and Algebraic Manipulation"],"location":"Kalamata Greece","acronym":"ISSAC '20"},"container-title":["Proceedings of the 45th International Symposium on Symbolic and Algebraic Computation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3373207.3404036","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3373207.3404036","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:44:46Z","timestamp":1750203886000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3373207.3404036"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,7,20]]},"references-count":14,"alternative-id":["10.1145\/3373207.3404036","10.1145\/3373207"],"URL":"https:\/\/doi.org\/10.1145\/3373207.3404036","relation":{},"subject":[],"published":{"date-parts":[[2020,7,20]]},"assertion":[{"value":"2020-07-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}