Mathematical Sciences Research Institute

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


SIAM/MSRI workshop on Hybrid Methodologies for Symbolic-Numeric Computation November 17, 2010 - November 19, 2010
Registration Deadline: November 17, 2010 over 6 years ago
To apply for Funding you must register by: August 17, 2010 almost 7 years ago
Parent Program: --
Organizers Mark Giesbrecht (University of Waterloo), Erich Kaltofen* (North Carolina State University), Daniel Lichtblau (Wolfram Research), Seth Sullivant (North Carolina State University), and Lihong Zhi (Chinese Academy of Sciences, Beijing)

Show List of Speakers


Hybrid symbolic-numeric computation methods, which first appeared some twenty years ago, have gained considerable prominence. Algorithms have been developed that improve numeric robustness (e.g. in quadrature or solving ODE systems) using symbolic techniques prior to, or during, a numerical solution. Likewise, traditionally symbolic algorithms have seen speed improvements from adaptation of numeric methods (e.g., lattice reduction methods). There is also an emerging approach of characterizing, locating, and solving ``interesting nearby problems'', wherein one seeks an important event (for example a nontrivial factorization or other useful singularities), that in some measure is close to a given problem (one that might have only imprecisely specified data). Many novel techniques have been developed in these complementary areas, but there is a general belief that a more overarching understanding and approach will foster future progress. Problems we are interested are driven by applications in computational physics (quadrature of singular integrals), dynamics (symplectic integrators), robotics (global solving of direct and inverse problems near singular manifolds), control theory (stability of models), and dynamic modeling of large-scale continuous and hybrid discrete-continuous dynamical systems. Emphasis will be given to validated (certified) outputs by 1. error estimation or 2. interval techniques or 3. global optimization strategies based on semidefinite programming and exact sums-of-squares.

This workshop will provide a forum for researchers on both sides (and the middle!) of hybrid symbolic-numeric computation. We
anticipate inviting as primary speakers some of the original contributors in the field, as well as younger researchers making
strong contributions on different aspects of the field.
Bibliography (PDF)

Please visit the SIAM workshop page for further details including the list of speakers with titles and abstracts.


We have reserved a block of rooms at The Faculty Club http://www.berkeleyfacultyclub.com/
Please call the front desk to make your reservation at: 510-643-9355. Identify yourself as coming to MSRI and please guarantee with a credit card. Cancellation notice is required by 11:00 a.m. the previous day or you will be charged. The cut off date for making reservations is OCTOBER 15th . Please check their website for further details.

Single: $102/night-shared bath
Double: $112/night-shared bath

Single: $118/night-private bath
Double: $128/night-private bath

Suites (2): $120-$270/night
Scholar's Retreat (1): $75/night

All prices include tax and continental breakfast.


The Women's Faculty Club http://www.womensfacultyclub.com/
University of California, Berkeley, CA 94720
Tel: (510) 642-4175 Fax: (510) 204-9661

Please call the front desk and identify yourself as coming to MSRI, give the name of Robert Bryant as faculty sponsor, the deptartment phone # 642-0143 and a credit card # to guarantee. If it is impossible, say MSRI will guarantee the reservation, but this often involves verification and more than 1 phone call. Cancellation notice is required by 2:00 p.m. the previous day.

Double/queen bed: $126
Double/twin beds: $127


A block of rooms has been reserved at the Rose Garden Inn. Reservations may be made by calling 1-800-992-9005 OR directly on their website. Click on Corporate at the bottom of the screen and when prompted enter code MATH (this code is not case sensitive). By using this code a new calendar will appear and will show MSRI rate on all room types available.
The cut-off date for reservations is November 3, 2010.


New, completely renovated Hotel Shattuck Plaza has rooms available for you!
MSRI’s preferred rate is $131. Guests can either call the hotel’s main line, 510-845-7300, and ask for the MSRI rate or go to http://www.hotelshattuckplaza.com click on "Corporate Rates" in the reservation screen and type the code msri10.



Show Tags and Subject Classification
Primary Mathematics Subject Classification No Primary AMS MSC
Secondary Mathematics Subject Classification No Secondary AMS MSC
Funding & Logistics Show All Collapse

Show Lodging

A block of rooms has been reserved at the Hotel Durant. Reservations may be made by calling 1-800-238-7268. When making reservations, guests must request the MSRI preferred rate. If you are making your reservations on line, please go to this link and enter the promo/corporate code MSRI123. Our preferred rate is $129 per night for a Deluxe Queen/King, based on availability.

Additional lodging options (short term housing page - Short Term Housing

Show Directions to Venue

Show Visa/Immigration

Show Schedule
Show All Collapse
Nov 17, 2010
09:00 AM - 09:25 AM
09:25 AM - 10:15 AM
  Introduction to Convex Algebraic Geometry
Bernd Sturmfels (University of California, Berkeley)
10:15 AM - 10:45 AM
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
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
03:45 PM - 04:10 PM
  Applying Approximate Decomposition to Polynomial Root Finding
John May
04:10 PM - 05:00 PM
Roger Germundsson
05:00 PM - 06:30 PM
Nov 18, 2010
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
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
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
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
09:00 AM - 09:50 AM
  Hybrid methods for Composition and Splitting
09:50 AM - 10:15 AM
  A symbolic-numeric approach to nonlinear dynamical system analysis
Hirokazu Anai
10:15 AM - 10:45 AM
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
01:30 PM - 01:55 PM
  Certified numerical homotopy tracking
Anton Leykin (Georgia Tech)
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
03:45 PM - 04:45 PM
  Panel discussion
Ilse Ipsen