3 papers
cs.SC2026
Computing a holonomic submodule of the partial Weyl closure
Hadrien Brochet
The Weyl closure is a basic operation in algebraic analysis: it converts a system of differential operators with rational coefficients into an equivalent system with polynomial coe…
cs.SC2025
Faster multivariate integration in D-modules
Hadrien Brochet, Frédéric Chyzak, Pierre Lairez
We present a new algorithm for solving the reduction problem in the context of holonomic integrals, which in turn provides an approach to integration with parameters. Our method ex…
cs.SC2023
Reduction-Based Creative Telescoping for Definite Summation of D-finite Functions
Hadrien Brochet, Bruno Salvy
Creative telescoping is an algorithmic method initiated by Zeilberger to compute definite sums by synthesizing summands that telescope, called certificates. We describe a creative…