115 citations · 468 across the 26 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.SC2023
Nested Integrals and Rationalizing Transformations
Clemens G. Raab
A brief overview of some computer algebra methods for computations with nested integrals is given. The focus is on nested integrals over integrands involving square roots. Rewrite…
math.RA2023★ 2 cited
The fundamental theorem of calculus in differential rings
Clemens G. Raab, Georg Regensburger
In this paper, we study the consequences of the fundamental theorem of calculus from an algebraic point of view. For functions with singularities, this leads to a generalized notio…