@inproceedings{kan-ois-05-aa-exodesol,
  booktitle = {Proc. International Symposium on Nonlinear Theory and its Applications},
  author = {Yuchi Kanzawa and {Shin'ichi} Oishi},
  title = {Numerical Method of Proving Existence of Periodic Solution for Nonlinear {ODE} using Affine Arithmetic and Green's Function Expression},
  year = 2005,
  pages = {753-756},
  month = oct,
  issn = {2188-5079},
  doi = {10.34385/proc.40.2-1-4-6},
  comment = {Using AA to prove existence of solution?},
  abstract = {In this paper, a method is proposed to prove the existence of solutions for nonlinear ordinary equations on an essentially bounded functional space. For that, Affine Arithmetic extended to the functional space. Green's Function Expression is also used to prevent from overestimating integral arithmetic with Affine Arithmetic.}
}