Hybrid Methodologies for Symbolic-Numeric Computation
November 17, 2010 to November 19, 2010
Mathematical Sciences Research Institute (MSRI) Berkeley, California
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.
Speakers
Click on titles to see abstracts.- Hirokazu Anai, Fujitsu Laboratories Ltd. / Kyushu University, Japan
- Paola Boito, XLIM, University of Limoges, France
- Jürgen Gerhard, Maplesoft, Canada
- Roger Germundsson, Wolfram Research, USA
- Jonathan Hauenstein, Texas A&M University, USA
- Ilse Ipsen, North Carolina State University, USA
- Kaori Nagatou, Kyushu University, Japan
- Michael Plum, Univeristät Karlsruhe, Germany
- Greg Reid, University of Western Ontario, Canada
- Mohab Safey El Din, Université Pierre et Marie Curie (Paris 6), France
- Tanush Shaska, Oakland University, USA / University of Vlora, Albania
- Mark Sofroniou, Wolfram Research, USA
- Bernd Sturmfels, University of California, Berkeley, USA
- Jan Verschelde, University of Ilinois at Chicago, USA
- Charles Wampler, General Motors, USA
Early Career Speakers
Click on titles to see abstracts.- Dan Bates, Colorado State University, USA
- Sharon Hutton, North Carolina State University, USA
- Wen-shin Lee, University of Antwerp, Belgium
- Anton Leykin, Georgia Institute of Technology, USA
- John May, Maplesoft, Canada
- Andrew Novocin, ENS Lyon, France
- Philipp Rostalski, University of California, Berkeley, USA
- Damien Stehlé, École Normale Supérieure, Lyon, France
- Zhengfeng Yang, East China Normal University, China
Please register through the MSRI Workshop web page. Registration is free, and would be appreciated prior to November 17, 2010.
View a List of Registered Participants
Organizers
- Erich Kaltofen (Organizing Chair), North Carolina State University, USA
- Mark Giesbrecht, University of Waterloo, Canada
- Daniel Lichtblau, Wolfram Research, USA
- Seth Sullivant, North Carolina State University, USA
- Lihong Zhi, Chinese Academy of Sciences, China
For more information, please email