BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:Sum-of-squares proofs - Dr Hamza Fawzi (DAMTP)
DTSTART:20190218T203000Z
DTEND:20190218T213000Z
UID:TALK118264@talks.cam.ac.uk
CONTACT:73969
DESCRIPTION:A polynomial that is a sum of squares of other polynomials can
  only take nonnegative values. This trivial observation is surprisingly po
 werful: many inequalities in mathematics have simple sum-of-squares proofs
 .  I will discuss algorithms that can automatically search for sum-of-squa
 res proofs for polynomial inequalities\, and the extent to which they can 
 be considered as “automatic proof machines”.
LOCATION:Winstanley Lecture Theatre\, Trinity College
END:VEVENT
END:VCALENDAR