Alexey Ovchinnikov : Introduction to differential elimination

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

At

Oct. 2, 2007, 4 p.m.

In

SEO 427

Abstract

Having a system of algebraic partial or ordinary differential equations one can answer the questions like whether the system is inconsistent or not or whether another equation is a consequence of the system. This can be done by means of differential elimination. In the talk we will look at the basic notions of differential algebra and at a differential elimination algorithm.