Semidefinite Programming: Introduction; Motivation; Duality
part of the series of seminars on the
survey paper by Laslo Lovasz.
ps file of the talks by Henry is available.
This file will be updated/modified during the time that Henry is speaking.
It currently contains only the Tues. June 12 and 19 parts.
For more references on SDP see the
bibliography survey. This is a pdf file best viewed using acrobat
reader (it has hyperlinks). Any comments/additions are welcome.
URA seminar on: Proving and Generating Theorems using Lagrange
preliminary research report (hyperlink pdf file)
on the URA seminar on Proving and Generating Theorems using Lagrange