A Generalization of Rosenfeld's Lemma
Date: July 17th (Wednesday)
Time: 09:50-10:20
Abstract
In this paper we explore connections between Mansfield's work on differential
Gröbner bases and Boulier's work on differential radical ideals. In particular, we obtain a
generalization of the result in differential algebra known as Rosenfeld's Lemma. This
generalization replaces Rosenfeld's `auto-reduced' hypothesis (very effectively used by
Boulier in his computation of radical differential ideals) with Mansfield's weaker `almost
complete' hypothesis, and thus permits some of Boulier's techniques to be adapted to the
more general case.
