{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T05:05:25Z","timestamp":1750309525401,"version":"3.41.0"},"reference-count":7,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2024,6,1]],"date-time":"2024-06-01T00:00:00Z","timestamp":1717200000000},"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":[[2024,6]]},"abstract":"<jats:p>\n            Take a multiplicative monoid of sequences in which the multiplication is given by Hadamard product. The set of linear combinations of interleaving monoid elements then yields a ring. For hypergeometric sequences, the resulting ring is a subring of the ring of holonomic sequences. We present two algorithms in this setting: one for computing holonomic recurrence equations from hypergeometric-type normal forms and the other for finding products of hypergeometric-type terms. These are newly implemented commands in our Maple package\n            <jats:bold>HyperTypeSeq<\/jats:bold>\n            , available at https:\/\/github.com\/T3gu1a\/HyperTypeSeq, which we also describe.\n          <\/jats:p>","DOI":"10.1145\/3712023.3712025","type":"journal-article","created":{"date-parts":[[2025,1,10]],"date-time":"2025-01-10T16:56:37Z","timestamp":1736528197000},"page":"23-26","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Computing with Hypergeometric-Type Terms"],"prefix":"10.1145","volume":"58","author":[{"given":"Bertrand Teguia","family":"Tabuguia","sequence":"first","affiliation":[{"name":"Department of Computer Science, University of Oxford, UK"}]}],"member":"320","published-online":{"date-parts":[[2025,1,10]]},"reference":[{"key":"e_1_2_1_1_1","first-page":"1","volume":"21","author":"Abramov S.A.","unstructured":"Abramov, S.A.: m-Sparse solutions of linear ordinary differential equations with polynomial coefficients. Discrete Mathematics 217(1--3), 3--15 (2000)","journal-title":"Discrete Mathematics"},{"key":"e_1_2_1_2_1","volume-title":"Labahn","author":"Geddes K.O.","year":"1992","unstructured":"Geddes, K.O., Czapor, S.R., Labahn, G.: Algorithms for Computer Algebra. Springer Science & Business Media (1992)"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-34652-1"},{"volume-title":"Teguia Tabuguia","author":"Koepf W.","key":"e_1_2_1_4_1","unstructured":"Koepf, W., Teguia Tabuguia, B.: FPS: A Maple package for symbolic computations with power series and linear PDEs. Available at http:\/\/www.mathematik.uni-kassel.de\/~bteguia\/FPS_webpage\/FPS.htm (2022)"},{"key":"e_1_2_1_5_1","volume-title":"Zimmermann","author":"Salvy B.","year":"1994","unstructured":"Salvy, B., Zimmermann, P.: GFUN: a Maple package for the manipulation of generating and holonomic functions in one variable. ACM Transactions on Mathematical Software (TOMS) 20(2), 163--177 (1994)"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2024.102328"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1134\/S0361768822020104"}],"container-title":["ACM Communications in Computer Algebra"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3712023.3712025","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3712023.3712025","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T01:18:10Z","timestamp":1750295890000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3712023.3712025"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,6]]},"references-count":7,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2024,6]]}},"alternative-id":["10.1145\/3712023.3712025"],"URL":"https:\/\/doi.org\/10.1145\/3712023.3712025","relation":{},"ISSN":["1932-2232","1932-2240"],"issn-type":[{"type":"print","value":"1932-2232"},{"type":"electronic","value":"1932-2240"}],"subject":[],"published":{"date-parts":[[2024,6]]},"assertion":[{"value":"2025-01-10","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}