77 citations · 337 across the 28 of their papers we have counts for
4 papers · 1 filter
The integro-differential closure of a commutative differential ring
Clemens G. Raab, Georg Regensburger
An integro-differential ring is a differential ring that is closed under an integration operation satisfying the fundamental theorem of calculus. Via the Newton--Leibniz formula, a…
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…
Formal proofs of operator identities by a single formal computation
Clemens G. Raab, Georg Regensburger, Jamal Hossein Poor
A formal computation proving a new operator identity from known ones is, in principle, restricted by domains and codomains of linear operators involved, since not any two operators…
On Integro-Differential Algebras
Li Guo, Georg Regensburger, Markus Rosenkranz
The concept of integro-differential algebra has been introduced recently in the study of boundary problems of differential equations. We generalize this concept to that of integro-…