BibTeX
@ARTICLE{
         Rump2018Mrg,
       crossref = "Christianson2018Sio",
       author = "Siegfried M. Rump",
       title = "Mathematically rigorous global optimization in floating-point arithmetic",
       journal = "Optimization Methods \& Software",
       volume = "33",
       number = "4--6",
       pages = "771--798",
       year = "2018",
       publisher = "Taylor \& Francis",
       doi = "10.1080/10556788.2018.1435649",
       url = "https://doi.org/10.1080/10556788.2018.1435649",
       eprint = "https://doi.org/10.1080/10556788.2018.1435649",
       booktitle = "Special issue of Optimization Methods \& Software: Advances in
         Algorithmic Differentiation",
       editor = "Bruce Christianson and Shaun A. Forth and Andreas Griewank"
}