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 14 years ago
To apply for Funding you must register by: August 17, 2010 over 14 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)
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.      
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

For information about recommended hotels for visits of under 30 days, visit Short-Term Housing. Questions? Contact coord@slmath.org.

Show Directions to Venue

Show Visa/Immigration

Schedule, Notes/Handouts & Videos
Show Schedule, Notes/Handouts & Videos
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 (University of California, Berkeley; Max-Planck-Institut für Mathematik in den Naturwissenschaften)
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 (Oakland University; University of California, Irvine; University of Florida; Research Institute of Science and Technology)
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 (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
  Tea
03:45 PM - 04:45 PM
  Panel discussion
Ilse Ipsen