Erivelton G. Nepomuceno, Samir A. M. Martins, Bruno C. Silva, Gleison F. V. Amaral, Matjaz Perc. Detecting unreliable computer simulations of recursive functions with interval extensions. Applied Mathematics and Computation, 329:408-419, 2018. [doi]
Abstract is missing.