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