{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:24:12Z","timestamp":1750220652356,"version":"3.41.0"},"reference-count":22,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2020,6,1]],"date-time":"2020-06-01T00:00:00Z","timestamp":1590969600000},"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":["ACM Commun. Comput. Algebra"],"published-print":{"date-parts":[[2020,6]]},"abstract":"<jats:p>It is quite common that search algorithms for those solutions of difference and differential equations and systems that belong to a fixed class of functions are designed so that nonexistence of solutions of the desired type is detected only in the last stages of the algorithm. However, performing additional tests on the intermediate results makes it possible to stop the algorithm as soon as these tests imply that no solutions of the desired type exist. This gives an opportunity to save time and other computing resources. So, it makes sense to equip algorithms with checkpoints and some tests. We consider these questions in connection with the search for rational solutions of linear homogeneous difference and differential systems with polynomial coefficients, and propose a scheme equipped with such checkpoints and tests, and also report results of experiments with our implementation of the scheme in Maple.<\/jats:p>","DOI":"10.1145\/3427218.3427219","type":"journal-article","created":{"date-parts":[[2020,9,29]],"date-time":"2020-09-29T22:08:58Z","timestamp":1601417338000},"page":"18-29","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Checkpoints in searching for rational solutions of linear ordinary difference and differential systems"],"prefix":"10.1145","volume":"54","author":[{"given":"Sergei A.","family":"Abramov","sequence":"first","affiliation":[{"name":"Federal Research Center, Russia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Denis E.","family":"Khmelnov","sequence":"additional","affiliation":[{"name":"Federal Research Center, Russia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anna A.","family":"Ryabenko","sequence":"additional","affiliation":[{"name":"Federal Research Center, Russia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,9,29]]},"reference":[{"key":"e_1_2_1_1_1","first-page":"273","article-title":"Rational solutions of linear difference and q-difference equations with polynomial coefficients","volume":"6","author":"Abramov S.A.","year":"1995","journal-title":"Programming and Computer Software"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1080\/10236199908808199"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1134\/S0361768815020024"},{"volume-title":"Special Functions, and Computer Algebra --- in Honour of Peter Paule on his 60th Birthday\" (in print).","author":"Abramov S.A.","key":"e_1_2_1_4_1"},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/281508.281593"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/384101.384102"},{"volume-title":"March","year":"2002","author":"Abramov S.A.","key":"e_1_2_1_7_1"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15274-0_2"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1134\/S0361768812020028"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1134\/S0361768813020023"},{"volume-title":"IMAG-LMC","year":"1997","author":"Barkatou M.","key":"e_1_2_1_11_1"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/2947513.2947563"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/309831.309956"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-24021-3_6"},{"volume-title":"Universit\u00e9 de Strasbourg","year":"1984","author":"Duval A.","key":"e_1_2_1_15_1"},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1940475.1940525"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2733693.2733697"},{"volume-title":"Proc. ISSAC'98","year":"1998","author":"M.","key":"e_1_2_1_18_1"},{"volume-title":"The concrete tetrahedron. Symbolic sums, recurrence equations, generating functions, asymptotic estimates. Texts and Monographs in Symbolic Computation","year":"2011","author":"Kauers M.","key":"e_1_2_1_19_1"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1023\/B:PACS.0000021262.53665.1f"},{"key":"e_1_2_1_21_1","unstructured":"Maple online help: http:\/\/www.maplesoft.com\/support\/help\/  Maple online help: http:\/\/www.maplesoft.com\/support\/help\/"},{"key":"e_1_2_1_22_1","doi-asserted-by":"crossref","unstructured":"M. Petkov\u0161ek H.S. Wilf D. Zeilberger. A = B. Peters 1996.  M. Petkov\u0161ek H.S. Wilf D. Zeilberger. A = B. Peters 1996.","DOI":"10.1201\/9781439864500"}],"container-title":["ACM Communications in Computer Algebra"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3427218.3427219","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3427218.3427219","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:02:24Z","timestamp":1750197744000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3427218.3427219"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,6]]},"references-count":22,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2020,6]]}},"alternative-id":["10.1145\/3427218.3427219"],"URL":"https:\/\/doi.org\/10.1145\/3427218.3427219","relation":{},"ISSN":["1932-2240"],"issn-type":[{"type":"print","value":"1932-2240"}],"subject":[],"published":{"date-parts":[[2020,6]]},"assertion":[{"value":"2020-09-29","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}