Skip to main content
SpringerLink
Log in

Constructing reductions for creative telescoping

The general differentially finite case

  • Original Paper
  • Published:
Applicable Algebra in Engineering, Communication and Computing Aims and scope

Abstract

The class of reduction-based algorithms was introduced recently as a new approach towards creative telescoping. Starting with Hermite reduction of rational functions, various reductions have been introduced for increasingly large classes of holonomic functions. In this paper we show how to construct reductions for general holonomic functions, in the purely differential setting.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Abramov, S.A.: EG-eliminations. J. Differ. Equ. Appl. 5(4–5), 393–433 (1999)

    Article  MathSciNet  Google Scholar 

  2. Bostan, A., Chen, S., Chyzak, F., Li, Z.: Complexity of creative telescoping for bivariate rational functions. In: Proceedings of the ISSAC’10, pp. 203–210. ACM, New York (2010)

  3. Bostan, A., Chen, S., Chyzak, F., Li, Z., Xin, G.: Hermite reduction and creative telescoping for hyperexponential functions. In: Proceedings of the ISSAC’13, pp. 77–84. ACM (2013)

  4. Bostan, A., Chyzak, F., Lairez, P., Salvy, B.: Generalized Hermite reduction, creative telescoping and definite integration of differentially finite functions. In: Proceedings of the ISSAC ’18, pp. 95–102. ACM, New York (2018)

  5. Bostan, A., Dumont, L., Salvy, B.: Efficient algorithms for mixed creative telescoping. In: Proceedings of the ISSAC’16, pp. 127–134. ACM (2016)

  6. Bostan, A., Lairez, P., Salvy, B.: Creative telescoping for rational functions using the Griffiths–Dwork method. In: Proceedings of the ISSAC’13, pp. 93–100. ACM (2013)

  7. Chen, S.: Some applications of differential-difference algebra to creative telescoping. Ph.D. thesis, École Polytechnique (2011)

  8. Chen, S., van Hoeij, M., Kauers, M., Koutschan, C.: Reduction-based creative telescoping for Fuchsian D-finite functions. JSC 85, 108–127 (2018)

    MathSciNet  MATH  Google Scholar 

  9. Chen, S., Huang, H., Kauers, M., Li, Z.: A modified Abramov–Petkovšek reduction and creative telescoping for hypergeometric terms. In: Proceedings of the ISSAC’15, pp. 117–124. ACM (2015)

  10. Chen, S., Kauers, M.: Some open problems related to creative telescoping. J. Syst. Sci. Complex. 30(1), 154–172 (2017)

    Article  MathSciNet  Google Scholar 

  11. Chen, S., Kauers, M., Koutschan, C.: Reduction-based creative telescoping for algebraic functions. In: Proceedings of the ISSAC’16, pp. 175–182. ACM, New York (2016)

  12. Chyzak, F.: The ABC of Creative Telescoping—Algorithms, Bounds, Complexity. École polytechnique, Habilitation (2014)

    Google Scholar 

  13. Della Dora, J., Dicrescenzo, C., Duval, D.: A new method for computing in algebraic number fields. In: Goos, G., Hartmanis, J. (eds.) Eurocal’85 (2). Lecture Notes in Computer Science, vol. 174, pp. 321–326. Springer, New York (1985)

    Google Scholar 

  14. Dumont, L.: Efficient algorithms for the symbolic computation of some contour integrals depending on one parameter. Ph.D. thesis, École Polytechnique (2016)

  15. Geddes, K., Le, H., Li, Z.: Differential rational normal forms and a reduction algorithm for hyperexponential functions. In: Proceedings of the ISSAC’04, pp. 183–190. ACM (2004)

  16. Hermite, C.: Sur l’intégration des fractions rationnelles. Ann. Sci. École Norm. Sup. Série 2(1), 215–218 (1972)

    MATH  Google Scholar 

  17. Huang, H.: New bounds for hypergeometric creative telescoping. In: Proceedings of the ISSAC’16, pp. 279–286. ACM (2016)

  18. Monsky, P.: Finiteness of de Rham cohomology. Am. J. Math. 94(1), 237–245 (1972)

    Article  MathSciNet  Google Scholar 

  19. Ostrogradsky, M.: De l’integration des fractions rationelles. Bull de la Classe Physico- Mathématique de l’Académie Imperiale des Sciences de Saint-Petersburg VI, 147–168 (1845)

    Google Scholar 

  20. van der Hoeven, J. et al.: GNU TeXmacs. http://www.texmacs.org (1998)

  21. van der Hoeven, J.: Constructing reductions for creative telescoping. Technical Report, HAL (2017). http://hal.archives-ouvertes.fr/hal-01435877

  22. van der Hoeven, J.: Creative telescoping using reductions. Technical Report, HAL (2018). http://hal.archives-ouvertes.fr/hal-01773137

  23. Zeilberger, D.: The method of creative telescoping. JSC 11(3), 195–204 (1991)

    MathSciNet  MATH  Google Scholar 

Download references

Acknowledgements

We would like to thank Pierre Lairez for a helpful remark. We also thank the second referee for pointing us to [18] and for further helpful remarks and suggestions.

Author information

Authors and Affiliations

  1. Laboratoire d’informatique, UMR 7161 CNRS, Campus de l’École polytechnique, 1, rue Honoré d’Estienne d’Orves, Bâtiment Alan Turing, CS35003, 91120, Palaiseau, France

    Joris van der Hoeven

Authors
  1. Joris van der Hoeven
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Joris van der Hoeven.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

The original version of this document has written using GNU \(\hbox{\TeX}_\mathrm{MACS}\) [20].

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

van der Hoeven, J. Constructing reductions for creative telescoping. AAECC 32, 575–602 (2021). https://doi.org/10.1007/s00200-020-00413-3

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00200-020-00413-3

Keywords

Mathematics Subject Classification

Search

Navigation