Alexey Ovchinnikov : Bounds in differential elimination

Posted by David E. Marker , part of the Logic Seminar.

At

Oct. 9, 2007, 4 p.m.

In

SEO 427

Abstract

Continuing the previous talk we shall look at properties of the differential elimination algorithm. In particular, in the ordinary case we shall bound orders of derivatives that occur in the algorithm and discuss effective differential Nullstellensatz.