@entry{ogi-oza-rum-15-aa,
  author = {T Ogita and K Ozaki and SM Rump},
  title = {Special section on recent progress in verified numerical computations},
  journal = {Nonlinear Theory and Its Applications ...,},
  volume = {},
  number = {},
  pages = {},
  year = 2015,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://www.jstage.jst.go.jp/article/nolta/6/3/6_340/_article/-char/ja/}}},
  quotes = {... Rump and Masahide Kashiwagi is concerned with affine arithmetic, which can reduce the wrapping effect of naive interval arithmetic. On the regular papers, the following variety of ...}
}