The Third Workshop on Hybrid Methodologies for Symbolic-Numeric Computation
August 10-14, 2015, Beijing, China
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 strategies.
This workshop will follow up on the exciting SIAM/MSRI Workshop on Hybrid Methodologies for Symbolic-Numeric Computation, held in November 2010, USA and Fields Institute Workshop on Hybrid Methodologies for Symbolic-Numeric Computation, held in November 2011, Canada. It will provide a forum for researchers on all sides of hybrid symbolic-numeric computation.
SponsorsThis workshop is sponsored by:
- Academy of Mathematics and Systems Science, Beijing, China
- National Basic Research Program of China
- National Natural Science Foundation of China
- National Science Foundation, USA
- Mark Giesbrecht, University of Waterloo, Canada
- Erich Kaltofen, North Carolina State University, USA
- Mohab Safey El Din, P. & M. Curie University, Paris and Insitut Universitaire de France
- Lihong Zhi (Organizing Chair), Chinese Academy of Sciences, China
For more information, email email@example.com
Other Related Conferences
- SIAM/MSRI Workshop on Hybrid Methodologies for Symbolic-Numeric Computation, November 17-19, 2010
- Fields Institute Workshop on Hybrid Methodologies for Symbolic-Numeric Computation, November 16-19, 2011
- SNC 2014, July 28-31, 2014
- ISSAC 2015, July 7-10, 2015
- SIAM Conference on Applied Algebraic Geometry, August 3-7, 2015
- The 8th International Congress on Industrial and Applied Mathematics , August 10-14, 2015