Logo

Mathematical Sciences Research Institute

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

Workshop

SIAM/MSRI workshop on Hybrid Methodologies for Symbolic-Numeric Computation November 17, 2010 - November 19, 2010
Registration Deadline: November 17, 2010 about 4 years ago
To apply for Funding you must register by: August 17, 2010 over 4 years ago
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)
Speaker(s)

Show List of Speakers

Description

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.

 

 

 

Funding & Logistics Show All Collapse

Show Lodging

MSRI has preferred rates at the Rose Garden Inn, depending on room availability. 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 the MSRI rate on all room types available.

MSRI has preferred rates 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 123MSRI. Our preferred rate is $139 per night for a Deluxe Queen/King, based on availability.

MSRI has preferred rates of $149 - $189 plus tax at the Hotel Shattuck Plaza, depending on room availability. Guests can either call the hotel's main line at 510-845-7300 and ask for the MSRI- Mathematical Science Research Inst. discount; or go to www.hotelshattuckplaza.com and click Book Now. Once on the reservation page, click “Promo/Corporate Code“ and input the code: msri.

MSRI has preferred rates of $110 - $140 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 “I am an individual traveler affiliated with MSRI”.

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

Show Directions to Venue

Show Visa/Immigration

Schedule
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