Sum-of-squares proofs

Add to your list(s) Download to your calendar using vCal

• Dr Hamza Fawzi (DAMTP)
• Monday 18 February 2019, 20:30-21:30
• Winstanley Lecture Theatre, Trinity College.

If you have a question about this talk, please contact .

A polynomial that is a sum of squares of other polynomials can only take nonnegative values. This trivial observation is surprisingly powerful: many inequalities in mathematics have simple sum-of-squares proofs. I will discuss algorithms that can automatically search for sum-of-squares proofs for polynomial inequalities, and the extent to which they can be considered as “automatic proof machines”.

This talk is part of the Trinity Mathematical Society series.

This talk is included in these lists:

• Guy Emerson's list
• Trinity Mathematical Society
• Winstanley Lecture Theatre, Trinity College
• bld31

Note that ex-directory lists are not shown.