Workshop SIAM/MSRI workshop on Hybrid Methodologies for Symbolic-Numeric Computation

Show All Collapse

Nov 19, 2010
Friday

11:10 AM - 12:00 PM		On Applications of Quantifier Elimination to LMI and the Stability Region of Numerical Schemes Mohab Safey El Din
Location MSRI: Simons Auditorium Video Abstract -- Supplements -- Show Detail

April 12, 2004 - April 16, 2004

Workshop Algorithmic, Combinatorial and Applicable Real Algebraic Geometry

Show All Collapse

Apr 12, 2004
Monday

02:00 PM - 02:45 PM

Some constrianed polynomial optimization problems in nonlinear computational geometry
Thorsten Theobald