@inproceedings{kan-ois-02-aa-ode,
  author = {Yuchi Kanzawa and {Shin'ichi} Oishi},
  title = {A Numerical Method of Proving the Existence of Solutions for Nonlinear {ODEs} Using Affine Arithmetic},
  booktitle = {Proc. 10th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN'02)},
  year = 2002,
  month = sep,
  pages = {49--49},
}