[CSDM] Discrete math seminar

[Paul Seymour]

                 ***********************************
                 * 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 at math.princeton.edu)