Site Search
SIAM/MSRI workshop on Hybrid Methodologies for Symbolic-Numeric Computation
Nov 17, 2010 to Nov 19, 2010

Organizer(s)

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)

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.


 



 


 
Schedule
Wednesday, November 17, 2010
9:00AM - 9:25AM Opening
9:25AM - 10:15AM Bernd Sturmfels Introduction to Convex Algebraic Geometry [Video available]
10:15AM - 10:45AM Tea
10:45AM - 11:10AM Philipp Rostalski Bermeja - Software for Convex Algebraic Geometry [Video available]
11:10AM - 12:00PM Jonathan Hauenstein Deflation and most singular set [Video available]
12:00PM - 1:30PM Lunch
1:30PM - 2:20PM Paola Boito Decay properties of matrix functions: an application to electronic structure computation [Video available]
2:20PM - 3:10PM Gregory Reid Geometric symbolic-numeric methods for differential and algebraic equation [Video available]
3:10PM - 3:45PM Tea
3:45PM - 4:10PM John May Applying Approximate Decomposition to Polynomial Root Finding [Video available]
4:10PM - 5:00PM Roger Germundsson Talk [Video available]
5:00PM - 6:30PM Reception
Thursday, November 18, 2010
9:00AM - 9:50AM Michael Plum Computer-assisted existence and multiplicity proofs for elliptic boundary value problems [Video available]
9:50AM - 10:15AM Kaori Nagatou Orbital stability investigations for travelling waves in a nonlinearly supported beam [Video available]
10:15AM - 10:45AM Tea
10:45AM - 11:10AM Wen-shin Lee Searching for Sparsity [Video available]
11:10AM - 12:00PM Charles Wampler Finding Exceptional Sets via Regenerative Fiber Products [Video available]
12:00PM - 1:30PM Lunch
1:30PM - 1:55PM Damien Stehle A numerically stable LLL reduction [Video available]
1:55PM - 2:20PM Andy Novocin Towards L1, a quasi-linear LLL [Video available]
2:20PM - 3:10PM Tanush Shaska Numerical Methods in Algebraic Geometry [Video available]
3:10PM - 3:45PM Tea
3:45PM - 4:10PM Zhengfeng Yang Blind Image Deconvolution via Fast Approximate GCD [Video available]
4:10PM - 5:00PM Jürgen Gerhard Symbolic and symbolic-numeric techniques for dynamical modeling and simulation [Video available]
Friday, November 19, 2010
9:00AM - 9:50AM MARK SOFRONIOU Hybrid methods for Composition and Splitting [Video available]
9:50AM - 10:15AM Hirokazu Anai A symbolic-numeric approach to nonlinear dynamical system analysis [Video available]
10:15AM - 10:45AM Tea
10:45AM - 11:10AM Daniel Bates Numerical consequences of symbolic choices in Gale Duality [Video available]
11:10AM - 12:00PM Mohab Safey El Din On Applications of Quantifier Elimination to LMI and the Stability Region of Numerical Schemes [Video available]
12:00PM - 1:30PM Lunch
1:30PM - 1:55PM Anton Leykin Certified numerical homotopy tracking [Video available]
1:55PM - 2:20PM Sharon Hutton Computing the radius of positive semidefiniteness of a multivariate real polynomial via a dual of Seidenberg's method [Video available]
2:20PM - 3:10PM Jan Verschelde Quality Up in Polynomial Homotopy Continuation [Video available]
3:10PM - 3:45PM Tea
3:45PM - 4:45PM Ilse Ipsen Panel discussion [Video available]


Questions about this workshop should be sent either by email to
or by regular mail to:
SIAM/MSRI workshop on Hybrid Methodologies for Symbolic-Numeric Computation
Mathematical Sciences Research Institute
17 Gauss Way, Berkeley, CA
94720-5070.
USA

The Institute is committed to the principles of Equal Opportunity and Affirmative Action.



|