{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T12:09:50Z","timestamp":1775045390972,"version":"3.50.1"},"reference-count":59,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2026,11,1]],"date-time":"2026-11-01T00:00:00Z","timestamp":1793491200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2026,11,1]],"date-time":"2026-11-01T00:00:00Z","timestamp":1793491200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2026,11,1]],"date-time":"2026-11-01T00:00:00Z","timestamp":1793491200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-017"},{"start":{"date-parts":[[2026,11,1]],"date-time":"2026-11-01T00:00:00Z","timestamp":1793491200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"},{"start":{"date-parts":[[2026,11,1]],"date-time":"2026-11-01T00:00:00Z","timestamp":1793491200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-012"},{"start":{"date-parts":[[2026,11,1]],"date-time":"2026-11-01T00:00:00Z","timestamp":1793491200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,11,1]],"date-time":"2026-11-01T00:00:00Z","timestamp":1793491200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-004"}],"funder":[{"DOI":"10.13039\/501100000781","name":"European Research Council","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100000781","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Journal of Symbolic Computation"],"published-print":{"date-parts":[[2026,11]]},"DOI":"10.1016\/j.jsc.2026.102569","type":"journal-article","created":{"date-parts":[[2026,3,16]],"date-time":"2026-03-16T15:57:51Z","timestamp":1773676671000},"page":"102569","update-policy":"https:\/\/doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":0,"special_numbering":"C","title":["Faster multivariate integration in D-modules"],"prefix":"10.1016","volume":"137","author":[{"ORCID":"https:\/\/orcid.org\/0009-0004-9726-2863","authenticated-orcid":false,"given":"Hadrien","family":"Brochet","sequence":"first","affiliation":[]},{"given":"Fr\u00e9d\u00e9ric","family":"Chyzak","sequence":"additional","affiliation":[]},{"given":"Pierre","family":"Lairez","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.jsc.2026.102569_br0010","series-title":"An Introduction to Gr\u00f6bner Bases","author":"Adams","year":"1994"},{"key":"10.1016\/j.jsc.2026.102569_br0020","series-title":"Two Algebraic Byways from Differential Equations: Gr\u00f6bner Bases and Quivers","first-page":"75","article-title":"Gr\u00f6bner bases in D-modules: application to Bernstein-Sato polynomials","volume":"vol. 28","author":"Bahloul","year":"2020"},{"key":"10.1016\/j.jsc.2026.102569_br0030","series-title":"Gr\u00f6bner Bases","author":"Becker","year":"1993"},{"issue":"2","key":"10.1016\/j.jsc.2026.102569_br0040","doi-asserted-by":"crossref","DOI":"10.1007\/BF01076413","article-title":"Modules over a ring of differential operators: an investigation of the fundamental solutions of equations with constant coefficients","volume":"5","author":"Bernshtein","year":"1971","journal-title":"Funct. Anal. Appl."},{"key":"10.1016\/j.jsc.2026.102569_br0050","series-title":"Proc. of Diophantine Approximations and Transcendental Numbers","first-page":"47","article-title":"Irrationality of \u03c02, periods of an elliptic curve and \u03931(5)","volume":"vol. 31","author":"Beukers","year":"1983"},{"issue":"1","key":"10.1016\/j.jsc.2026.102569_br0060","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1137\/141000671","article-title":"Julia: a fresh approach to numerical computing","volume":"59","author":"Bezanson","year":"2017","journal-title":"SIAM Rev."},{"key":"10.1016\/j.jsc.2026.102569_br0070","article-title":"Rings of Differential Operators","volume":"vol. 21","author":"Bj\u00f6rk","year":"1979"},{"key":"10.1016\/j.jsc.2026.102569_br0080","article-title":"Algebraic D-Modules","volume":"vol. 2","author":"Borel","year":"1987"},{"key":"10.1016\/j.jsc.2026.102569_br0090","series-title":"Proc. 35th ISSAC","first-page":"203","article-title":"Complexity of creative telescoping for bivariate rational functions","author":"Bostan","year":"2010"},{"key":"10.1016\/j.jsc.2026.102569_br0100","series-title":"Proc. 38th ISSAC","first-page":"77","article-title":"Hermite reduction and creative telescoping for hyperexponential functions","author":"Bostan","year":"2013"},{"key":"10.1016\/j.jsc.2026.102569_br0110","series-title":"ISSAC'18","first-page":"95","article-title":"Generalized Hermite reduction, creative telescoping and definite integration of D-finite functions","author":"Bostan","year":"2018"},{"key":"10.1016\/j.jsc.2026.102569_br0120","series-title":"Proc. ISSAC '13","first-page":"93","article-title":"Creative telescoping for rational functions using the Griffiths\u2013Dwork method","author":"Bostan","year":"2013"},{"key":"10.1016\/j.jsc.2026.102569_br0130","series-title":"G\u00e9om\u00e9trie Alg\u00e9brique et Applications. III G\u00e9om\u00e9trie R\u00e9elle. Syst\u00e8mes Diff\u00e9rentiels et Th\u00e9orie de Hodge, Proc. of Deuxi\u00e8me Conf\u00e9rence Internationale de la R\u00e1bida","first-page":"1","article-title":"Calculs effectifs pour les id\u00e9aux d'op\u00e9rateurs diff\u00e9rentiels","volume":"vol. 24","author":"Castro","year":"1987"},{"key":"10.1016\/j.jsc.2026.102569_br0140","series-title":"Th\u00e9or\u00e8me de division pour les op\u00e9rateurs diff\u00e9rentiels et calcul des multiplicit\u00e9s","author":"Castro","year":"1984"},{"key":"10.1016\/j.jsc.2026.102569_br0150","series-title":"Proc. ISSAC '23","first-page":"155","article-title":"Hermite reduction for D-finite functions via integral bases","author":"Chen","year":"2023"},{"key":"10.1016\/j.jsc.2026.102569_br0160","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1016\/j.jsc.2017.07.005","article-title":"Reduction-based creative telescoping for Fuchsian D-finite functions","volume":"85","author":"Chen","year":"2018","journal-title":"J. Symb. Comput."},{"key":"10.1016\/j.jsc.2026.102569_br0170","series-title":"Proc. 40th ISSAC","article-title":"A modified Abramov-Petkov\u0161ek reduction and creative telescoping for hypergeometric terms","author":"Chen","year":"2015"},{"key":"10.1016\/j.jsc.2026.102569_br0180","series-title":"Proc. ISSAC '16","first-page":"175","article-title":"Reduction-based creative telescoping for algebraic functions","author":"Chen","year":"2016"},{"issue":"2","key":"10.1016\/j.jsc.2026.102569_br0190","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1006\/jsco.1998.0207","article-title":"Non-commutative elimination in Ore algebras proves multivariate identities","volume":"26","author":"Chyzak","year":"1998","journal-title":"J. Symb. Comput."},{"issue":"1\u20133","key":"10.1016\/j.jsc.2026.102569_br0200","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/S0012-365X(99)00259-9","article-title":"An extension of Zeilberger's fast algorithm to general holonomic functions","volume":"217","author":"Chyzak","year":"2000","journal-title":"Discrete Math."},{"key":"10.1016\/j.jsc.2026.102569_br0210","unstructured":"Chyzak, F., 2014. The ABC of creative telescoping: algorithms, bounds, complexity. Memoir of accreditation to supervise research (HDR). Universit\u00e9 d'Orsay. 64 pages."},{"key":"10.1016\/j.jsc.2026.102569_br0220","article-title":"Differential equations satisfied by generating functions of 5-, 6-, and 7-regular labelled graphs: a reduction-based approach","author":"Chyzak","year":"2025","journal-title":"Comb. Theory"},{"issue":"1","key":"10.1016\/j.jsc.2026.102569_br0230","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.jcta.2005.01.001","article-title":"Effective scalar products of D-finite symmetric functions","volume":"112","author":"Chyzak","year":"2005","journal-title":"J. Comb. Theory, Ser. A"},{"key":"10.1016\/j.jsc.2026.102569_br0240","series-title":"A Primer of Algebraic D-Modules","author":"Coutinho","year":"1995"},{"key":"10.1016\/j.jsc.2026.102569_br0250","article-title":"Using Algebraic Geometry","volume":"vol. 185","author":"Cox","year":"1998"},{"issue":"1\u20132","key":"10.1016\/j.jsc.2026.102569_br0260","first-page":"19","article-title":"On the Milnor fibrations of weighted homogeneous polynomials","volume":"76","author":"Dimca","year":"1990","journal-title":"Compos. Math."},{"key":"10.1016\/j.jsc.2026.102569_br0270","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/BF02684275","article-title":"On the zeta function of a hypersurface","volume":"12","author":"Dwork","year":"1962","journal-title":"Publ. Math. Inst. Hautes \u00c9tudes Sci."},{"issue":"2","key":"10.1016\/j.jsc.2026.102569_br0280","doi-asserted-by":"crossref","first-page":"227","DOI":"10.2307\/1970392","article-title":"On the zeta function of a hypersurface: II","volume":"80","author":"Dwork","year":"1964","journal-title":"Ann. Math."},{"issue":"1","key":"10.1016\/j.jsc.2026.102569_br0290","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/S0022-4049(99)00005-5","article-title":"A new efficient algorithm for computing Gr\u00f6bner bases (F4)","volume":"139","author":"Faug\u00e8re","year":"1999","journal-title":"J. Pure Appl. Algebra"},{"key":"10.1016\/j.jsc.2026.102569_br0300","series-title":"Eurocal'85, vol. 2","first-page":"413","article-title":"Some algorithmic questions on ideals of differential operators","volume":"vol. 204","author":"Galligo","year":"1985"},{"key":"10.1016\/j.jsc.2026.102569_br0310","series-title":"Modern Computer Algebra","author":"von zur Gathen","year":"1999"},{"issue":"2","key":"10.1016\/j.jsc.2026.102569_br0320","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1016\/0097-3165(90)90060-A","article-title":"Symmetric functions and P-recursiveness","volume":"53","author":"Gessel","year":"1990","journal-title":"J. Comb. Theory, Ser. A"},{"issue":"3","key":"10.1016\/j.jsc.2026.102569_br0330","doi-asserted-by":"crossref","first-page":"460","DOI":"10.2307\/1970746","article-title":"On the periods of certain rational integrals: I","volume":"90","author":"Griffiths","year":"1969","journal-title":"Ann. Math."},{"issue":"5","key":"10.1016\/j.jsc.2026.102569_br0340","doi-asserted-by":"crossref","first-page":"575","DOI":"10.1007\/s00200-020-00413-3","article-title":"Constructing reductions for creative telescoping","volume":"32","author":"van der Hoeven","year":"2021","journal-title":"Appl. Algebra Eng. Commun. Comput."},{"issue":"1","key":"10.1016\/j.jsc.2026.102569_br0350","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1145\/42267.45069","article-title":"Greatest common divisors of polynomials given by straight-line programs","volume":"35","author":"Kaltofen","year":"1988","journal-title":"J. Assoc. Comput. Mach."},{"issue":"3","key":"10.1016\/j.jsc.2026.102569_br0360","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1016\/S0747-7171(08)80015-6","article-title":"Computing with polynomials given by black boxes for their evaluations: greatest common divisors, factorization, separation of numerators and denominators","volume":"9","author":"Kaltofen","year":"1990","journal-title":"J. Symb. Comput."},{"issue":"1","key":"10.1016\/j.jsc.2026.102569_br0370","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0747-7171(08)80003-X","article-title":"Noncommutative Gr\u00f6bner bases in algebras of solvable type","volume":"9","author":"Kandri-Rody","year":"1990","journal-title":"J. Symb. Comput."},{"key":"10.1016\/j.jsc.2026.102569_br0380","series-title":"Computer Algebra and Polynomials: Applications of Algebra and Number Theory","first-page":"105","article-title":"Ore polynomials in Sage","author":"Kauers","year":"2015"},{"issue":"2\u20133","key":"10.1016\/j.jsc.2026.102569_br0390","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1007\/s11786-010-0055-0","article-title":"A fast approach to creative telescoping","volume":"4","author":"Koutschan","year":"2010","journal-title":"Math. Comput. Sci."},{"key":"10.1016\/j.jsc.2026.102569_br0400","series-title":"HolonomicFunctions user's guide","author":"Koutschan","year":"2010"},{"issue":"300","key":"10.1016\/j.jsc.2026.102569_br0410","doi-asserted-by":"crossref","first-page":"1719","DOI":"10.1090\/mcom\/3054","article-title":"Computing periods of rational integrals","volume":"85","author":"Lairez","year":"2016","journal-title":"Math. Comput."},{"key":"10.1016\/j.jsc.2026.102569_br0420","doi-asserted-by":"crossref","DOI":"10.1016\/j.jsc.2023.102275","article-title":"Axioms for a theory of signature bases","volume":"123","author":"Lairez","year":"2024","journal-title":"J. Symb. Comput."},{"issue":"32","key":"10.1016\/j.jsc.2026.102569_br0430","doi-asserted-by":"crossref","first-page":"5087","DOI":"10.1142\/S0217751X00002159","article-title":"High-precision calculation of multiloop Feynman integrals by difference equations","volume":"15","author":"Laporta","year":"2000","journal-title":"Int. J. Mod. Phys. A"},{"key":"10.1016\/j.jsc.2026.102569_br0440","series-title":"Proc. ISSAC '03","article-title":"Plural: a computer algebra system for noncommutative polynomial algebras","author":"Levandovskyy","year":"2003"},{"key":"10.1016\/j.jsc.2026.102569_br0450","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.jsc.2012.05.004","article-title":"Algorithms for integrals of holonomic functions over domains defined by polynomial inequalities","volume":"50","author":"Oaku","year":"2013","journal-title":"J. Symb. Comput."},{"issue":"2","key":"10.1016\/j.jsc.2026.102569_br0460","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1016\/S0022-4049(00)00004-9","article-title":"Algorithms for D-modules: restriction, tensor product, localization, and local cohomology groups","volume":"156","author":"Oaku","year":"2001","journal-title":"J. Pure Appl. Algebra"},{"issue":"4\u20135","key":"10.1016\/j.jsc.2026.102569_br0470","doi-asserted-by":"crossref","first-page":"721","DOI":"10.1006\/jsco.1999.0398","article-title":"A localization algorithm for D-modules","volume":"29","author":"Oaku","year":"2000","journal-title":"J. Symb. Comput."},{"key":"10.1016\/j.jsc.2026.102569_br0480","series-title":"Integrals and Series 3: More Special Functions","author":"Prudnikov","year":"1986"},{"key":"10.1016\/j.jsc.2026.102569_br0490","article-title":"Gr\u00f6bner Deformations of Hypergeometric Differential Equations","volume":"vol. 6","author":"Saito","year":"2000"},{"issue":"3","key":"10.1016\/j.jsc.2026.102569_br0500","doi-asserted-by":"crossref","first-page":"429","DOI":"10.1112\/jlms\/s2-18.3.429","article-title":"Module structure of Weyl algebras","volume":"s2\u201318","author":"Stafford","year":"1978","journal-title":"J. Lond. Math. Soc."},{"key":"10.1016\/j.jsc.2026.102569_br0510","first-page":"184","article-title":"Vermeidung von Divisionen","volume":"264","author":"Strassen","year":"1973","journal-title":"J. Reine Angew. Math."},{"key":"10.1016\/j.jsc.2026.102569_br0520","series-title":"Proc. 37th ISSAC","first-page":"351","article-title":"A signature-based algorithm for computing Gr\u00f6bner bases in solvable polynomial algebras","author":"Sun","year":"2012"},{"issue":"1","key":"10.1016\/j.jsc.2026.102569_br0530","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1007\/BF03167920","article-title":"Gr\u00f6bner basis and the problem of contiguous relations","volume":"6","author":"Takayama","year":"1989","journal-title":"Jpn. J. Appl. Math."},{"key":"10.1016\/j.jsc.2026.102569_br0540","series-title":"Proc. ISSAC '90","first-page":"206","article-title":"An algorithm of constructing the integral of a module: an infinite dimensional analog of Gr\u00f6bner basis","author":"Takayama","year":"1990"},{"key":"10.1016\/j.jsc.2026.102569_br0550","series-title":"Proc. ISSAC '90","first-page":"152","article-title":"Gr\u00f6bner basis, integration and transcendental functions","author":"Takayama","year":"1990"},{"key":"10.1016\/j.jsc.2026.102569_br0560","series-title":"Symbolic and Algebraic Computation","first-page":"125","article-title":"Gr\u00f6bner trace algorithms","author":"Traverso","year":"1989"},{"issue":"3","key":"10.1016\/j.jsc.2026.102569_br0570","doi-asserted-by":"crossref","first-page":"575","DOI":"10.1007\/BF02100618","article-title":"An algorithmic proof theory for hypergeometric (ordinary and \u201cq\u201d) multisum\/integral identities","volume":"108","author":"Wilf","year":"1992","journal-title":"Invent. Math."},{"issue":"2","key":"10.1016\/j.jsc.2026.102569_br0580","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1016\/0012-365X(90)90120-7","article-title":"A fast algorithm for proving terminating hypergeometric identities","volume":"80","author":"Zeilberger","year":"1990","journal-title":"Discrete Math."},{"key":"10.1016\/j.jsc.2026.102569_br0590","series-title":"Symbolic and Algebraic Computation","first-page":"216","article-title":"Probabilistic algorithms for sparse polynomials","author":"Zippel","year":"1979"}],"container-title":["Journal of Symbolic Computation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0747717126000179?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0747717126000179?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T11:11:04Z","timestamp":1775041864000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0747717126000179"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,11]]},"references-count":59,"alternative-id":["S0747717126000179"],"URL":"https:\/\/doi.org\/10.1016\/j.jsc.2026.102569","relation":{},"ISSN":["0747-7171"],"issn-type":[{"value":"0747-7171","type":"print"}],"subject":[],"published":{"date-parts":[[2026,11]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Faster multivariate integration in D-modules","name":"articletitle","label":"Article Title"},{"value":"Journal of Symbolic Computation","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.jsc.2026.102569","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2026 Published by Elsevier Ltd.","name":"copyright","label":"Copyright"}],"article-number":"102569"}}