Logo

Mathematical Sciences Research Institute

Home » Workshop » Schedule

Schedule

SIAM/MSRI workshop on Hybrid Methodologies for Symbolic-Numeric Computation November 17, 2010 - November 19, 2010

Show All Collapse
Nov 17, 2010
Wednesday
09:00 AM - 09:25 AM
  Opening
09:25 AM - 10:15 AM
  Introduction to Convex Algebraic Geometry
Bernd Sturmfels (UC Berkeley Math Faculty)
10:15 AM - 10:45 AM
  Tea
10:45 AM - 11:10 AM
  Bermeja - Software for Convex Algebraic Geometry
Philipp Rostalski
11:10 AM - 12:00 PM
  Deflation and most singular set
Jonathan Hauenstein
12:00 PM - 01:30 PM
  Lunch
01:30 PM - 02:20 PM
  Decay properties of matrix functions: an application to electronic structure computation
Paola Boito
02:20 PM - 03:10 PM
  Geometric symbolic-numeric methods for differential and algebraic equation
Gregory Reid
03:10 PM - 03:45 PM
  Tea
03:45 PM - 04:10 PM
  Applying Approximate Decomposition to Polynomial Root Finding
John May
04:10 PM - 05:00 PM
  Talk
Roger Germundsson
05:00 PM - 06:30 PM
  Reception
Nov 18, 2010
Thursday
09:00 AM - 09:50 AM
  Computer-assisted existence and multiplicity proofs for elliptic boundary value problems
Michael Plum
09:50 AM - 10:15 AM
  Orbital stability investigations for travelling waves in a nonlinearly supported beam
Kaori Nagatou
10:15 AM - 10:45 AM
  Tea
10:45 AM - 11:10 AM
  Searching for Sparsity
Wen-shin Lee
11:10 AM - 12:00 PM
  Finding Exceptional Sets via Regenerative Fiber Products
Charles Wampler
12:00 PM - 01:30 PM
  Lunch
01:30 PM - 01:55 PM
  A numerically stable LLL reduction
Damien Stehle
01:55 PM - 02:20 PM
  Towards L1, a quasi-linear LLL
Andy Novocin
02:20 PM - 03:10 PM
  Numerical Methods in Algebraic Geometry
Tanush Shaska
03:10 PM - 03:45 PM
  Tea
03:45 PM - 04:10 PM
  Blind Image Deconvolution via Fast Approximate GCD
Zhengfeng Yang
04:10 PM - 05:00 PM
  Symbolic and symbolic-numeric techniques for dynamical modeling and simulation
J├╝rgen Gerhard
Nov 19, 2010
Friday
09:00 AM - 09:50 AM
  Hybrid methods for Composition and Splitting
MARK SOFRONIOU
09:50 AM - 10:15 AM
  A symbolic-numeric approach to nonlinear dynamical system analysis
Hirokazu Anai
10:15 AM - 10:45 AM
  Tea
10:45 AM - 11:10 AM
  Numerical consequences of symbolic choices in Gale Duality
Daniel Bates
11:10 AM - 12:00 PM
  On Applications of Quantifier Elimination to LMI and the Stability Region of Numerical Schemes
Mohab Safey El Din
12:00 PM - 01:30 PM
  Lunch
01:30 PM - 01:55 PM
  Certified numerical homotopy tracking
Anton Leykin
01:55 PM - 02:20 PM
  Computing the radius of positive semidefiniteness of a multivariate real polynomial via a dual of Seidenberg's method
Sharon Hutton
02:20 PM - 03:10 PM
  Quality Up in Polynomial Homotopy Continuation
Jan Verschelde
03:10 PM - 03:45 PM
  Tea
03:45 PM - 04:45 PM
  Panel discussion
Ilse Ipsen