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 almost 10 years ago
To apply for Funding you must register by: August 17, 2010 about 10 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. Accommodations: 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 wfc@uclink.berkeley.edu 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. Single:$113/night 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.      
Keywords and Mathematics Subject Classification (MSC)
Primary Mathematics Subject Classification No Primary AMS MSC
Secondary Mathematics Subject Classification No Secondary AMS MSC
Funding & Logistics Show All Collapse

Show Lodging

MSRI does not hire an outside company to make hotel reservations for our workshop participants, or share the names and email addresses of our participants with an outside party. If you are contacted by a business that claims to represent MSRI and offers to book a hotel room for you, it is likely a scam. Please do not accept their services.

MSRI has preferred rates at the Hotel Shattuck Plaza, depending on room availability. Guests can call the hotel's main line at 510-845-7300 and ask for the MSRI- Mathematical Science Research Institute discount. To book online visit this page (the MSRI rate will automatically be applied).

MSRI has preferred rates at the Graduate Berkeley, depending on room availability. Reservations may be made by calling 510-845-8981. When making reservations, guests must request the MSRI preferred rate. Enter in the Promo Code MSRI123 (this code is not case sensitive).

MSRI has preferred rates at the Berkeley Lab Guest House, depending on room availability. Reservations may be made by calling 510-495-8000 or directly on their website. Select "Affiliated with the Space Sciences Lab, Lawrence Hall of Science or MSRI." When prompted for your UC Contact/Host, please list Chris Marshall (coord@msri.org).

MSRI has a preferred rates at Easton Hall and Gibbs Hall, depending on room availability. Guests can call the Reservations line at 510-204-0732 and ask for the MSRI- Mathematical Science Research Inst. rate. To book online visit this page, select "Request a Reservation" choose the dates you would like to stay and enter the code MSRI (this code is not case sensitive).

Additional lodging options may be found on our short term housing page.

Show Directions to Venue

Show Visa/Immigration

Show MSRI Collegiality Statement

Schedule, Notes/Handouts & Videos
Show Schedule, Notes/Handouts & Videos
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; Max-Planck-Institut für Mathematik in den Naturwissenschaften)
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 Institute of Technology)
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