Project Details
| Status | Finished |
|---|---|
| Effective start/end date | 01.01.2019 → 31.07.2023 |
Fields of science
- 101001 Algebra
- 101 Mathematics
- 101005 Computer algebra
- 101013 Mathematical logic
- 102031 Theoretical computer science
JKU Focus areas
- Digital Transformation
-
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
Open Access -
Binomial determinants for tiling problems yield to the holonomic ansatz
Du, H., Koutschan, C., Thanatipanonda, T. & Wong, E., Jan 2022, In: European Journal of Combinatorics. 99, 103437, 40 p., 103437.Research output: Contribution to journal › Article › peer-review
Open Access -
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 2021Activity: Talk or presentation › Contributed talk › science-to-science
-
An Additive Decomposition in Logarithmic Towers and Beyond
Du, H. (Speaker)
09 Jun 2021Activity: Talk or presentation › Invited talk › science-to-science
-
Computer algebra tools for nested integrals
Raab, C. (Speaker)
08 Oct 2020Activity: Talk or presentation › Invited talk › science-to-science