Special Session 162 Computer-Assisted Proofs in Dynamical Systems
Organizer(s): Akitoshi , Jonathan 		Room 618
   Taisei Asai (Yamagata University, Japan)
 Rigorous global search of all solution orbits for nonlinear boundary value problems