Algorithmic integro-differential algebra

Project: Funded research › FWF - Austrian Science Fund

Status	Finished
Effective start/end date	01.01.2019 → 31.07.2023

The fundamental theorem of calculus in differential rings
Raab, C. & Regensburger, G., Jun 2024, In: Advances in Mathematics. 447, 50 p., 109676.
Research output: Contribution to journal › Article › peer-review
Binomial determinants for tiling problems yield to the holonomic ansatz
Du, H., Koutschan, C., Thanatipanonda, T. & Wong, E., 2022, In: European Journal of Combinatorics. 99, 103437, 40 p., 103437.
Research output: Contribution to journal › Article › peer-review
Comments on Risch’s On the Integration of Elementary Functions which are Built Up Using Algebraic Operations
Raab, C., Jun 2022, Integration in Finite Terms: Fundamental Sources. C.G. Raab, M.F. Singer (ed.). Springer, p. 221-233 13 p.
Research output: Chapter in Book/Report/Conference proceeding › Chapter

Two Complete Reduction Systems for Integration
Raab, C. (Speaker) & Du, H. (Speaker)
27 Jul 2021
Activity: Talk or presentation › Contributed talk › science-to-science
An Additive Decomposition in Logarithmic Towers and Beyond
Du, H. (Speaker)
09 Jun 2021
Activity: Talk or presentation › Invited talk › science-to-science
Computer algebra tools for nested integrals
Raab, C. (Speaker)
08 Oct 2020
Activity: Talk or presentation › Invited talk › science-to-science

Project Details