Talk page

Title:
On Applications of Quantifier Elimination to LMI and the Stability Region of Numerical Schemes

Speaker:
Mohab Safey El Din

Link:
https://www.msri.org/workshops/575/schedules/11580

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