@entry{alt-gre-kod-18-aa-taycor,
  author = {M Althoff and D Grebenyuk...},
  title = {Implementation of Taylor models in CORA 2018},
  journal = {Proc. of the 5th ...,},
  volume = {},
  number = {},
  pages = {},
  year = 2018,
  month = ,
  doi = {},
  comment = {},
  abstract = {},
  url = {{\url{https://mediatum.ub.tum.de/doc/1454477/file.pdf}}},
  quotes = {... affine arithmetic are conceptually identical [17, Sec. 5], we will only consider affine arithmetic ... is a zeroth-order Taylor model and affine arithmetic is a first-order Taylor model when the ...}
}