The 2005 International Symposium on Nonlinear Theory and its Applications

number title/author
1-3-1-1On Verified Computation in Combinatorial Optimization
Christian Jansson,
1-3-1-2Some computer assisted proofs on the bifurcation structure of solutions for heat convection problems
M. T. Nakao, Y. Watanabe, N. Yamamoto, T. Nishida, M-N. Kim,
1-3-1-3A Computer-Assisted Existence and Multiplicity Proof for Travelling Waves in a Nonlinearly Supported Beam
B. Breuer, J. Horak, P. J. McKenna, M. Plum,
1-3-1-4Simulation of distributed-lumped networks by the CIP method
Masato OGATA, Akira AOYAGI, Tsuyoshi MATSUOKA, Tetsuo NISHI,
1-3-1-5Validated Computation of Bessel functions
Nobito Yamamoto, Nozomu Matsuda,