Logic Seminar
Alexey Ovchinnikov
UIC
Bounds in differential elimination
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.
Tuesday October 9, 2007 at 4:00 PM in SEO 427