When a computer tells that a polynomial of degree six has more than 20 real roots and that 17! is a negative number, how much can one rely on its aid when attempting to prove rigorous mathematical results? In this talk I will survey basic ideas from interval analysis and present several applications to computer aided proofs in partial differential equations.
Penn Undergraduate Mathematics Colloquium
Wednesday, November 5, 2008 - 4:30pm
Irina Mitrea
University of Virginia