number | title/author |
---|---|
1-3-1-1 | On Verified Computation in Combinatorial Optimization Christian Jansson, |
1-3-1-2 | Some 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-3 | A 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-4 | Simulation of distributed-lumped networks by the CIP method Masato OGATA, Akira AOYAGI, Tsuyoshi MATSUOKA, Tetsuo NISHI, |
1-3-1-5 | Validated Computation of Bessel functions Nobito Yamamoto, Nozomu Matsuda, |