@entry{kan-ois-22-aa,
  author = {Y Kanzawa and S Oishi},
  title = {Numerical Method of Proving Existence of Solution for Nonlinear ODE using Green's Function Expression},
  journal = {},
  volume = {},
  number = {},
  pages = {},
  year = 2022,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://www.ieice.org/~nolta/symposium/archive/2004/paper/5103.pdf}}},
  quotes = {... We have used Affine Arithmetic instead of Interval Arithmetic in order to avoid the explosion of interval as the result of calculation [4]. In this paper, we shall revise the form of Krawczyk...}
}