Hybrid Methodologies for Symbolic-Numeric Computation
November 17, 2010 to November 19, 2010
Mathematical Sciences Research Institute (MSRI) Berkeley, California
Schedule of Talks
| Wednesday, November 17, 2010 | ||
| Session Chair: Erich Kaltofen | ||
| 9:00AM - 9:25AM | Opening | |
| 9:25AM - 10:15AM | Bernd Sturmfels | Introduction to Convex Algebraic Geometry |
| 10:15AM - 10:45AM | Tea | |
| Session Chair: Daniel Lichtblau | ||
| 10:45AM - 11:10AM | Philipp Rostalski | Bermeja - Software for Convex Algebraic Geometry |
| 11:10AM - 12:00PM | Jonathan Hauenstein | Deflation and most singular set |
| 12:00PM - 1:30PM | Lunch | |
| Session Chair: Lihong Zhi | ||
1:30PM - 2:20PM |
Paola Boito | Decay properties of matrix functions: an application to electronic structure computation |
2:20PM - 3:10PM |
Gregory Reid | Geometric symbolic-numeric methods for differential and algebraic equation |
| 3:10PM - 3:45PM | Tea | |
| Session Chair: Gabriel Dos Reis | ||
| 3:45PM - 4:10PM | John May | Applying Approximate Decomposition to Polynomial Root Finding |
| 4:10PM - 5:00PM | Roger Germundsson | TBA |
| Thursday, November 18, 2010 | ||
| Session Chair: Lutz Lehmann | ||
| 9:00AM - 9:50AM | Michael Plum | Computer-assisted existence and multiplicity proofs for elliptic boundary value problems |
| 9:50AM - 10:15AM | Kaori Nagatou | Orbital stability investigations for travelling waves in a nonlinearly supported beam |
| 10:15AM - 10:45AM | Tea | |
| Session Chair: Lubjana Beshaj | ||
| 10:45AM - 11:10AM | Wen-shin Lee | Searching for Sparsity |
11:10AM - 12:00PM |
Charles Wampler | Finding Exceptional Sets via Regenerative Fiber Products |
| 12:00PM - 1:30PM | Lunch | |
| Session Chair: Mark Giesbrecht | ||
1:30PM - 1:55PM |
Damien Stehle | A numerically stable LLL reduction |
| 1:55PM - 2:20PM | Andy Novocin | Towards L1, a quasi-linear LLL |
| 2:20PM - 3:10PM | Tanush Shaska | Numerical Methods in Algebraic Geometry |
3:10PM - 3:45PM |
Tea | |
| Session Chair: George Labahn | ||
| 3:45PM - 4:10PM | Zhengfeng Yang | Blind Image Deconvolution via Fast Approximate GCD |
4:10PM - 5:00PM |
Jürgen Gerhard | Symbolic and symbolic-numeric techniques for dynamical modeling and simulation |
| Friday, November 19, 2010 | ||
| Session Chair: Guy Baruch | ||
9:00AM - 9:50AM |
Mark Sofroniou | Hybrid methods for Composition and Splitting |
9:50AM - 10:15AM |
Hirokazu Anai | A symbolic-numeric approach to nonlinear dynamical system analysis |
| 10:15AM - 10:45AM | Tea | |
| Session Chair: Pierre-Jean Spaenlehauer | ||
10:45AM - 11:10AM |
Daniel Bates | Numerical consequences of symbolic choices in Gale Duality |
| 11:10AM - 12:00PM | Mohab Safey El Din | On Applications of Quantifier Elimination to LMI and the Stability Region of Numerical Schemes |
12:00PM - 1:30PM |
Lunch | |
| Session Chair: Ashish Tiwari | ||
| 1:30PM - 1:55PM | Anton Leykin | Certified numerical homotopy tracking |
1:55PM - 2:20PM |
Sharon Hutton | Computing the radius of positive semidefiniteness of a multivariate real polynomial via a dual of Seidenberg's method |
| 2:20PM - 3:10PM | Jan Verschelde | Quality Up in Polynomial Homotopy Continuation |
| 3:10PM - 3:45PM | Tea | |
3:45PM - 4:45PM |
Ilse Ipsen | Panel discussion |
Please register through the MSRI Workshop web page. Registration is free, and would be appreciated prior to November 17, 2010.
View a List of Registered Participants
Organizers
- Erich Kaltofen (Organizing Chair), North Carolina State University, USA
- Mark Giesbrecht, University of Waterloo, Canada
- Daniel Lichtblau, Wolfram Research, USA
- Seth Sullivant, North Carolina State University, USA
- Lihong Zhi, Chinese Academy of Sciences, China
For more information, please email