A Success-Guided Selection of Expanded Systems for Result-Verifying Nonlinear Solvers. - Elke Just; Bruno Lang (Reliab. Comput., 2012)

Subdivision Strategies for Boxes in Branch-and-Bound Nonlinear Solvers and Verification. - Elke Just (Math. Comput. Sci., 2014)