***********************************
                * Princeton Discrete Math Seminar *
                ***********************************


Date: Thursday 14th March, 4:30 in Fine Hall 224.
 
Speaker: Tom Hales, U. Pittsburg.

Title: Informal and formal verification of nonlinear inequalities with
applications to discrete geometry

Abstract: This talk will describe some tools for the automated
verification of nonlinear inequalities involving a small number
of real independent variables.  Various problems in discrete geometry can
be reduced to finite collections of nonlinear inequalities.  
In this way computer-assisted proofs of various conjectures in 
discrete geometry can be obtained.

                       -----------

Next week: spring recess. Week after: Tony Huynh.

Anyone wishing to be added to or removed from this mailing list should
contact Paul Seymour (pds@math.princeton.edu)