| January 21: |
Bernd Sturmfels
(UCB)
Symmetric Matrices with Double Eigenvalues
(Solving Systems of Polynomial Equations) |
| January 28: |
Thorsten Theobald
(MSRI and Munich)
GloptiPoly: Constrained optimization | Slides | Examples: e1 e2 e3. |
| February 4: |
Jiawang Nie
(UCB)
SOSTOOLS: Sums of Squares and Semidefinite
programming | Slides |
| February 11: |
Josephine Yu (UCB)
QEPCAD: Quantifier Elimination by Partial
Cylindrical Algebraic Decomposition | Slides |
| February 18: |
Timur Sadykov (MSRI
and Western Ontario)
Mathematica:
Commercial Symbolic Algebra Program | Demo notebook |
| February 25: |
No Seminar. |
| March 3: |
Laureano Gonzalez-Vega
(MSRI and Santander, Spain)
Cylindrical
Algebraic Decomposition. |
| March
10: |
Vicki Powers (Emory
University)
Optimization on semialgebraic sets. We discuss a
method for finding the minimum of a polynomial on a basic closed semialgebraic set using
representation theorems from Real Algebraic Geometry. This method, orginally due to Lasserre,
yields in the compact case a series of semidefinite programming problems whose solutions
converge to the minimum. We will also discuss the on-compact case and give some open
problems related to this. |
| March
17: |
Dima Pasechnik (MSRI
and Frankfurt)
Applications of quadratic optimization to topological graph theory:
Improved bounds for the crossing numbers of $K_{m,n}$ and $K_n$. Abstract: pdf | ps. |
