Third Workshop on Hybrid Methodologies for Symbolic-Numeric Computation

Date: August 10
Time: 13:30--15:30
Room: Room 1

Zhi, Lihong (Acad. of mathematics & Sys. Sci.)
Safey El Din, Mohab (Univ. Pierre & Marie Curie)
Kaltofen, Erich (North Carolina State Univ.)
Giesbrecht, Mark (Univ. of Waterloo)

Abstract: 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 deeper understanding and wider
approach will foster future progress. The problems we are
interested are driven by applications in computational
physics (quadrature of singular integrals), dynamics
(symplectic integrators), robotics (global solutions of direct
and inverse problems near singular manifolds), control
theory (stability of models), and the engineering of
large-scale continuous and hybrid discrete-continuous
dynamical systems. Emphasis will be given to validated
and certified outputs via algebraic and exact techniques,
error estimation, interval techniques and optimization

Our workshop will follow up on the seminal SIAM-MSRI
Workshop on Hybrid Methodologies for Symbolic-Numeric
Computation held in November 2010 and the Fields Institute
Workshop on Hybrid Methodologies for Symbolic-Numeric
Computation, November 16-19, 2011 at the University of
Waterloo, Canada. We will provide a forum for researchers on
all sides of hybrid symbolic-numeric computation.

Hybrid symbolic-numeric computation: a marriage made in heaven
Kaltofen, Erich (North Carolina State Univ.)

Applying symbolic sparse interpolation techniques to numeric data
Roche, Daniel (U.S. Naval Acad.)

Reliable Computing using floating-point
Rump, Siegfried M. (Hamburg Technical Univ. & Waseda Univ., Tokyo)


Code: Type-Date-Time-Room No.
Type : IL=Invited Lecture, SL=Special Lectures, MS=Minisymposia, IM=Industrial Minisymposia, CP=Contributed Papers, PP=Posters
Date: Mo=Monday, Tu=Tuesday, We=Wednesday, Th=Thursday, Fr=Friday
Time : A=8:30-9:30, B=10:00-11:00, C=11:10-12:10, BC=10:00-12:10, D=13:30-15:30, E=16:00-18:00, F=19:00-20:00, G=12:10-13:30, H=15:30-16:00
Room No.: TBA