Conferences  >  Mathematics  >  Analysis  >  United States

ICERM

In spite of their omnipresence and importance, a number of questions about knots remain elusive. Addressing them solicits techniques from a range of mathematical disciplines at the interface of algebra, analysis, geometry, modeling, and low-dimensional topology. Some of the most exciting recent avenues of research include optimizing geometry, quantum knot invariants, and applications in material sciences, physics, and molecular biology. This workshop emphasizes bridging the gap between theoretical, computational, and experimental approaches in knot theory and its applications, including artificial intelligence.

Program Staff;     Phone: [1-401-863-5030];     Email: programstaff@icerm.brown.edu

Geometry and Topology,    Algebra

American Institute of Mathematics (AIM)

This workshop, sponsored by AIM and the NSF, will be devoted to solving open problems regarding the stability of nonlinear waves using computer assisted methods of proof. Some results using computer assisted methods of proof include Hilbert's 18th problem and Smale's 14th problem. Researchers have developed efficient methods for obtaining rigorous error bounds for numerical approximations of heteroclinic and homoclinic connections between fixed points in ODE systems. These rigorous computation methods establish the existence and uniqueness of the solution in addition to providing a tight, completely rigorous error bound. Thus, these rigorous computations can be used to prove Theorems. Similarly, researchers have developed efficient and robust numerical methods for computing quantities that relay information about the spectral stability of one-dimensional traveling wave solutions to PDEs, which in turn yields information regarding the nonlinear stability. This workshop will help researchers identify collaborative opportunities to use rigorous computation to prove theorems regarding open problems in nonlinear wave theory.

Computer assisted proofs for stability analysis of nonlinear waves. Stability of multi-dimensional non-planar traveling waves. Rigorous computation of center manifolds

Applied Mathematics (in general),    Automated Theorem Proving